Halting Problem
v Imagine someone claims to have a program that tells
whether another program halts or not
testHalt(programCode As String, data As String, answer As String)
v You write a program as follows
Text of your
test program
There can be no reply … “yes” implies “no”, “no” implies “yes”!