L'Entscheidungsproblem ou la fin des mathématiques ?
Voyages au pays des maths · Saison 2 · Épisode 10
0,0/10
10/10/2023
10 min
On entend souvent dire que les algorithmes contrôlent le monde. Mais qu'est-ce qu'un algorithme ? Pour les contemporains l'idée intuitive paraît à peu près clair : un algorithme, c'est ce qui peut "tourner sur un ordinateur". Mais c'est un renversement chronologique, puisque les ordinateurs concrets sont postérieurs, et viennent justement de travaux mathématique abstraits des années 1930. Nous les survolerons en compagnie de Alonzo Church, Jacques Herbrand, Kurt Gödel et Alan Turing.
Vidéo de l’épisode
Lecteur réservé aux membres
Créez un compte gratuit ou connectez-vous pour accéder à la vidéo de l’épisode.