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.