King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
CONFIRMEDDate confidence: CONFIRMEDStated as firmHow firmly the source words the date: confirmed, scheduled, estimated, delayed or unverified.Show all CONFIRMED pins88% CONFIDENCEOverall confidence: 88%How well the pin's source and references back up its dates.Weighted average of how firmly 3 references, the source included, support the pin's start and end times; a reference counts half as much for every 180 days older than the newestShow all pins at 75% confidence or better
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
Cavendish Laboratory