The Halting Problem
The halting problem is an undecidable problem.
Construct the program ABSURD
that takes some input:
ABSURD(C):
if (HALT(C) == true) {}
Suppose Sum is the program :
The halting problem is an undecidable problem.
Construct the program ABSURD
that takes some input:
ABSURD(C):
if (HALT(C) == true) {}
Suppose Sum is the program :