Halting Problem

• It is not always obvious that a computation (program) halts

• The Halting problem: Given a program and an input to the program, determine if the program will eventually stop with this input

• This problem is unsolvable