
Voyages au pays des mathsL' Entscheidungsproblem- La fin des mathématiques ?
|
Documentaires science
2022
10 min 37 s
Tous publics
Disponible jusqu'au 15/05/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 age, posé les bases de l'informatique.En savoir plus
Diffusé le 14/12/2024 à 00h00 - Disponible jusqu'au 15/05/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 age, posé les bases de l'informatique.
Maison de production :
LES FILMS D ICI
Réalisé par :
Denis van Waerebeke