Facts
Citation
URLhttps://en.wikipedia.org/wiki/Turing%27s_proof
Sources
Turing's proof - Wikipedia
Lead sectionQuote, Lead section
Turing's proof is a proof by Alan Turing submitted on 12 November 1936 and first published in 1937 with the title "On Computable Numbers, with an Application to the Entscheidungsproblem".
Claims Backed By This Source (9 claims)
This source backs 9 claims across the atlas. As facts: 4 well-attested. As cited relationships: 3 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Theorems, 8 claims: 3 well-attested, 3 holds, 2 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.