Le Théorème de Gödel
Voyages au pays des maths · Saison 1 · Épisode 5
0,0/10
23/09/2021
10 min
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 !
Vidéo de l’épisode
Lecteur réservé aux membres
Créez un compte gratuit ou connectez-vous pour accéder à la vidéo de l’épisode.