"Voyages au pays des maths - Le théorème de Gödel" de Denis van Waerebeke (2020)

Résumé

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...

Retrouvez les autres épisodes de la série en cliquant ici.