Definition:Halting Problem/Historical Note
Jump to navigation
Jump to search
Historical Note on the Halting Problem
Alan Turing proved that no such Turing machine can exist.
Hence he demonstrated the existence of undecidable problems in mathematics.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): halting problem
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): halting problem