Turing soumet « 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
CONFIRMÉCONFIANCE 88 %L'article de Wikipédia sur la preuve de Turing date la soumission sans détour : « la preuve de Turing est une démonstration due à Alan Turing, soumise le 12 novembre 1936 et publiée pour la première fois en 1937 sous le titre 'On Computable Numbers, with an Application to the Entscheidungsproblem' ». Le pin correspond à la soumission, qui est l'acte daté ; le numéro des Proceedings of the London Mathematical Society qui la publie porte la date de 1937.[1]
Alan Turing soumet « On Computable Numbers, with an Application to the Entscheidungsproblem » à la London Mathematical Society. Il y définit la machine abstraite devenue le modèle de tous les ordinateurs construits depuis, et démontre l'indécidabilité de l'Entscheidungsproblem.
1.00
Cavendish Laboratory
