Pourquoi la LOGIQUE ne peut PAS TOUT PROUVER (Le théorème d’Incomplétude)

Épisode de OmniScience - Le Podcast pour Comprendre les Sciences par Christophe Pauly · 13 mars 2026 · 25 min

Dans cette vidéo, à travers l’histoire de Kurt Gödel et de ses célèbres théorèmes d’incomplétude, on va découvrir pourquoi il existe des vérités mathématiques impossibles à démontrer, et en quoi cette idée a profondément changé notre manière de comprendre les mathématiques, la logique et les limites de la raison humaine.Chapitres :00:00 Pourquoi la science change notre vision du monde02:29 La question qui bouleverse tout03:56 Les maths peuvent-elles vraiment tout expliquer ?04:31 Quand les mathématiques entrent en crise05:09 Sur quoi reposent vraiment les mathématiques ?07:40 Le paradoxe de Russell : la faille dans le système09:24 Hilbert et le rêve des maths parfaites11:40 Vrai ne veut pas toujours dire démontrable15:13 Le paradoxe du menteur16:18 Kurt Gödel, le génie qui a tout bouleversé17:25 La démonstration la plus folle de l’histoire19:18 Le théorème qui prouve l’incomplétude19:42 Pourquoi un système ne peut pas se valider lui-même21:42 Ce que Gödel ne dit pas24:00 Les limites ultimes de la raison

Autres épisodes de « OmniScience - Le Podcast pour Comprendre les Sciences »

À propos du podcast

Bienvenue sur Omniscience, votre source incontournable pour explorer le vaste univers de la science ! 🌌🔬 Ici, nous abordons tout, des mystères de la physique aux complexités de l'économie, en passant par les intrigues de la science sociale et les merveilles de la nature. Notre mission ? Rendre…

OmniScience - Le Podcast pour Comprendre les Sciences

Épisodes similaires

Tous les épisodes de OmniScience - Le Podcast pour Comprendre les Sciences · Plus de podcasts Science