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]- Début
- 12 nov. 1936CONFIANCE 90 %source
Turing soumet « On Computable Numbers »
Traduit automatiquement de l’original
Titre original: Turing Submits On Computable Numbers
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.
- Turing soumet « On Computable Numbers, with an Application to the Entscheidungsproblem » le 12 novembre 1936 ; l'article est publié pour la première fois en 1937[2]
- C'est la seconde démonstration, après le théorème de Church, que l'Entscheidungsproblem de Hilbert n'a pas de solution - que certaines questions purement mathématiques, de type oui ou non, ne pourront jamais être tranchées par le calcul[2]
- Turing publie « A Correction » en 1938[2]
- La machine abstraite que l'article définit pour construire cette démonstration est le modèle de calcul auquel chaque ordinateur à programme enregistré a depuis été comparé[1][3]