Voyages au pays des maths

Pour des raisons de droits, ce programme n’est pas disponible dans le pays dans lequel vous vous trouvez.

Voyages au pays des maths

L' Entscheidungsproblem- La fin des mathématiques ?

11 min

Available until 09/10/2028

Technologies et innovations

Imaginez un monde où une machine pourrait calculer 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, qui a fait tanguer les maths et, au passage, posé les bases de l'informatique.

Réalisation

Denis van Waerebeke

Pays

France

Année

2022

Découvrez l’offre VOD d’ARTE Boutique

Vous pourriez aimer aussi

Les vidéos les plus vues sur ARTE

NotVisible