Turing Submits On Computable Numbers
King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
確定確度 88%Wikipedia's[2][3] article on Turing's proof dates the submission without hedging: "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'." The pin is the submission, which is the dated act; the Proceedings of the London Mathematical Society issue carrying it is dated 1937.
Alan Turing submits "On Computable Numbers, with an Application to the Entscheidungsproblem" to the London Mathematical Society. It defines the abstract machine that became the model for every computer built since, and proves the Entscheidungsproblem undecidable.
1.00