Sur les nombres calculables
temps: lundi 30 nov. 1936
Lieu: Angleterre
Détails: Turing a publié son article « On Computable Numbers, with an Application to the Entscheidungsproblem ». Il a été publié dans la revue Proceedings of the London Mathematical Society en deux parties, la première le 30 novembre et la seconde le 23 décembre. Dans cet article, Turing a reformulé les résultats de 1931 de Kurt Gödel sur les limites de la preuve et du calcul, remplaçant le langage formel universel basé sur l'arithmétique de Gödel par les dispositifs hypothétiques formels et simples qui sont devenus connus sous le nom de machines de Turing. L'Entscheidungsproblem (problème de décision) avait été initialement posé par le mathématicien allemand David Hilbert en 1928. Turing a prouvé que sa « machine à calculer universelle » serait capable d'effectuer tout calcul mathématique concevable s'il était représentable sous forme d'algorithme. Il a ensuite prouvé qu'il n'existait aucune solution au problème de décision en montrant d'abord que le problème de l'arrêt pour les machines de Turing est indécidable : il n'est pas possible de décider algorithmiquement si une machine de Turing s'arrêtera un jour.
Peut contenir des erreurs.
Classement approximatif. Certains événements peuvent apparaître dans le désordre car beaucoup ne sont connus qu'à l'année près, mais ils se situent généralement dans la même période.
Lié
Proche
























































































































































































Aujourd'hui - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































