Voyages au pays des maths - Le théorème de Gödel
Épisode 6/10
Description
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 !
Versions disponibles
Audio
Français, Allemand, Anglais
Sous-titre
Espagnol, Anglais, Italien, Polonais
Transcription
Aucun.e