The Halting Problem

• Given source code $CODE and an input $INPUT

  • Will the function defined by $CODE halt when given input $INPUT?

• And we want a method that always produces the correct answer

• How do we solve this?