Voyages au pays des mathsL' Entscheidungsproblem- La fin des mathématiques ?
11 min
Disponible jusqu'au 10/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
