King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
CONFIRMÉCertitude de la date: CONFIRMÉAnnoncé comme fermeAvec quelle fermeté la source formule la date : confirmée, programmée, estimée, reportée ou non vérifiée.Voir toutes les épingles CONFIRMÉCONFIANCE 88 %Confiance globale: 88%Dans quelle mesure la source et les références du pin étayent ses dates.Moyenne pondérée de la fermeté avec laquelle 3 références, source comprise, étayent les heures de début et de fin de l’épingle ; une référence compte moitié moins pour chaque tranche de 180 jours d’ancienneté par rapport à la plus récenteAfficher toutes les épingles à 75 % de confiance ou plus
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