S2E10 · L'Entscheidungsproblem ou la fin des mathématiques ?
Résumé
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.
Date
2023-10-10
Durée
10 min
Galerie
Équipe clé
Réalisation
Équipe
Denis van Waerebeke
Director
