CS 5315 Homework #8

Date Assigned: Thursday, February 10, 2005

Due Date: Tuesday, February 15, 2005

Extra credit assignment: describe, in detail, the proof that the halting problem is not algorithmically decidable.