Voyages au pays des mathsLe théorème de Gödel
10 min
Disponible jusqu'au 14/11/2026
Dans cet épisode, on se penche sur le rapport entre maths et vérité. Les maths sont censées être le domaine de la certitude : soit c’est démontrable, soit c’est faux. Eh bien ce n'est pas si simple. Car le théorème de Gödel a prouvé qu'il existe des propositions « indécidables », qu’on ne peut ni prouver ni réfuter. Premier résultat limitant de l'histoire des mathématiques...
Réalisation
Denis van Waerebeke
Pays
France
Année
2020