S1E5 · Le Théorème de Gödel
Résumé
Les maths, on le sait, sont le domaine de la certitude : soit c’est démontrable, soit c’est faux. Sauf que c’est précisément l’inverse qu’a prouvé le théorème de Gödel : au sein de tout système formel suffisamment complexe pour englober l’arithmétique, il existe des propositions « indécidables », qu’on ne peut ni prouver ni réfuter !
Date
2021-09-23
Durée
10 min
Galerie
Distribution
Narrator (voice)