Vérifier les événements les plus mémorables 30 November 1936 apr. J.-C..
En 1936, 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.
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.
En 1936, 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.
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.
