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

En savoir plus

Voyages au pays des maths

L' Entscheidungsproblem- La fin des mathématiques ?

11 min

Verfügbar bis zum 09/10/2028

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

Vous pourriez aimer aussi

Les vidéos les plus vues sur ARTE

NotVisible