Project 4 Breakdown
Computability & Logic; Spring 97

Selmer Bringsjord

For Project 4, The M Group is taking on the formidable job of building the M machine. This group is the combined force of

• The Wombling Radishes
  

  

• Crash & Burn
  

  

• The Beavers of Business
  

  

Last class, Theorem 5 was covered in detail, which gave rise to careful consideration of the structure and processing of M.

The two groups

• The Group
  

  

• Bob
  

  

are going to combine forces in order to refine and expand the excellent web work they did for Project 2. The idea is to have to main pages, one devoted to the busy beaver problem, and one devoted to the Universal Turing Machine problem. The Group will be assisted by the two groups which made remarkable progress on the busy beaver problem:

• Touring Turings
  

  

• van Gogh
  

  

Indeed, this progress is to be displayed on the pages involved. Also, the Universal TM's created in Project 3 are to be used and displayed. Ace (Teera Fa-gon fagont@rpi.edu) will be independently working on an addition to the web material.

• About this document ...