PokMovies votre gestionnaire de films et séries
Connectez-vous pour ajouter des films et séries à votre liste personnelle
Détails de l'épisode : L'Entscheidungsproblem ou la fin des mathématiques ?
L'Entscheidungsproblem ou la fin des mathématiques ?
Série : Voyages au pays des maths
Saison : Saison 2
Numéro de l'épisode : 10
Date de diffusion :
Durée : 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.
Distribution et invités
Denis van Waerebeke
Director