3.Next

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 italic=no". It was the second proof (after Church's theorem) of the negation of Hilbert's [[Entscheidungsproblem]]; that is, the conjecture that some purely mathematical yes-no questions can never be

3.Next