Il semblerait que vous ayiez été déconnecté. Se reconnecter :

Identifiant ou mot de passe invalide

Je me connecte

Voyages au pays des maths - Le théorème de Gödel

Épisode 6/10

Un film de Denis van Waerebeke

Quel est 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 : voici le premier résultat limitant de l'histoire des mathématiques...


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 !

 

 

La série : 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 !



Pour aller plus loin

Filtres

croix de fermeture

Matières

Critères vidéos

Sources