Skip to search formSkip to main contentSkip to account menu

Turing's proof

Known as: Turing proof 
Turing's proof is a proof by Alan Turing, first published in January 1937 with the title On Computable Numbers, With an Application to the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Decision problemEntscheidungsproblemFormal systemTuring machine

Broader (1)

Theory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
On Turing's Proof of the Undecidability of the Halting Problem
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)