Who proved that the general Halting Problem is undecidable?
Options
-
A.
Charles Babbage
-
B.
Alan Turing
-
C.
John von Neumann
-
D.
More than one of the above
-
E.
None of the above
Correct Answer (Detailed Explanation is Below)
B.
Alan Turing
Detailed Explanation
- Alan Turing: Proved the undecidability of the Halting Problem in 1936.
- Publication: His famous paper was titled On Computable Numbers, with an Application to the Entscheidungsproblem.
- Important: Turing Machines are a mathematical model of computation.
OOps! You are currently offline.