Due Date: Tuesday, February 15, 2005
Extra credit assignment: describe, in detail, the proof that the halting problem is not algorithmically decidable.