Voyages au pays des maths
Diffusé le
L’Entscheidungsproblem ou la fin des mathématiques ?
Imaginez un monde où une machine pourrait démêler le vrai et le faux... À défaut, Church, Herbrand, Gödel et Turing ont tenté chacun à leur manière de déterminer si un algorithme pouvait trancher qu’on peut démontrer ou pas une assertion mathématique. L’Entscheidungsproblem, le problème de la décision, a fait tanguer les maths et, au passage, a posé les bases de l’informatique.
Un épisode de la série « Voyage au pays des maths »
Réalisation : Denis van Waerebeke , Cédric Piktoroff
Production : Les Films d'Ici, Arte GEIE, Les Films du Poisson Rouge, en partenariat avec Universcience
Année de production : 2023
Durée : 10min34
