playd.tv
Se connecterS'inscrire

Épisode 50

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

25:307 mars 2026

Comment était cet épisode ?

Ma note

Tags

Description de l'épisode

Merci à Syft d’avoir sponsorisé cette vidéo. Pour celles et ceux que ça intéresse, vous pouvez découvrir Syft via ce lien : https://syft.ing/0/weeoafg5yr8r

je vous mets aussi :

Site officiel : https://syft.ai/

iOS : https://apps.apple.com/fr/app/syft-agent-ia-dactualit%C3%A9s/id6739125289

Android : https://play.google.com/store/apps/details?hl=fr&id=ai.orionarm.syft.droid


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.


___________

🖋 Écriture : Christophe Pauly

🎞 Montage : Margaux Charrière

🤝 Collaboration commerciale : christophe.monytime@gmail.com


- Mes autres comptes -

➡ Facebook: https://www.facebook.com/christophepauly.tv

➡ Instagram: https://www.instagram.com/christophepauly.tv

___________


Chapitres :

00:00 Pourquoi la science change notre vision du monde

02:29 La question qui bouleverse tout

03:56 Les maths peuvent-elles vraiment tout expliquer ?

04:31 Quand les mathématiques entrent en crise

05:09 Sur quoi reposent vraiment les mathématiques ?

07:40 Le paradoxe de Russell : la faille dans le système

09:24 Hilbert et le rêve des maths parfaites

11:40 Vrai ne veut pas toujours dire démontrable

15:13 Le paradoxe du menteur

16:18 Kurt Gödel, le génie qui a tout bouleversé

17:25 La démonstration la plus folle de l’histoire

19:18 Le théorème qui prouve l’incomplétude

19:42 Pourquoi un système ne peut pas se valider lui-même

21:42 Ce que Gödel ne dit pas

24:00 Les limites ultimes de la raison