Skip to search form
Skip to main content
Semantic Scholar's Logo
You are currently offline. Some features of the site may not work correctly.
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…
Theory of computation
Semantic Scholar uses AI to extract papers important to this topic.
Turing's unpublished algorithm for normal numbers
Theor. Comput. Sci.
Corpus ID: 6892208
In an unpublished manuscript, Alan Turing gave a computable construction to show that absolutely normal real numbers between 0…
On Turing's Proof of the Undecidability of the Halting Problem
Corpus ID: 11508461
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Terms of Service
ACCEPT & CONTINUE