"Voyages au pays des maths - Le théorème de Gödel" de Denis van Waerebeke (2020)
C'est un pays exotique et déroutant que celui des maths. On y parle une langue bizarre, pleine d’homéomorphismes, de variétés différentielles, de nombres transfinis… Mais on y trouve aussi des paysages épiques, des idées vertigineuses et même, parfois, des choses utiles ! Cette websérie animée propose à tous les curieux munis d'un cerveau en état de marche une visite inédite au pays des maths. Avec un guide, bien sûr !
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.