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”!