La Preuve Ontologique de Dieu par Kurt Gödel

Épisode de Histoire de France - HDF par Romain Croisade · 1 octobre 2026 · 23 min

Rejoindre l'Académie Croisade : https://patreon.com/RomainCroisade 🏆

Merci à https://kalos-france.com/ ✨

Profitez de 10% offerts avec le code : CROISADE

Liste d'attente pour le livre : https://tally.so/r/rjg66L 📚

Kurt Gödel, le plus grand logicien du XXᵉ siècle, l'ami d'Einstein, l'homme qui avait ébranlé les fondements des mathématiques à vingt-cinq ans, a écrit en secret une preuve formelle de l'existence de Dieu. Une démonstration ligne à ligne, en langage mathématique, qu'il n'a jamais osé publier de son vivant, et dont la dernière ligne affirme : "Nécessairement, Dieu existe." Pour la comprendre, il faut remonter mille ans en arrière : à Anselme de Cantorbéry, qui voulait répondre à "l'insensé" du Psaume avec la seule raison, à l'île parfaite de Gaunilon, au refus de saint Thomas d'Aquin et à son être nécessaire, à Descartes et son triangle, puis à Leibniz, qui découvre la faille que personne n'avait vue et passera sa vie à essayer de la combler. Trois siècles plus tard, Gödel reprend le travail là où Leibniz s'était arrêté, avec un outil que Leibniz n'avait pas : la logique modale. Possible et nécessaire, les mondes possibles, les propriétés positives, l'essence, l'existence nécessaire : on suit la preuve pas à pas, axiome par axiome, avec des mots simples, jusqu'au basculement final où une seule étincelle dans un seul monde possible suffit à tout embraser. En 2013, des ordinateurs ont vérifié la preuve, et la presse du monde entier a annoncé que la science avait prouvé l'existence de Dieu. Mais qu'ont-ils vraiment vérifié ? Et que nous apprend cette preuve sur ce que veut dire raisonner, et sur ce que veut dire croire ?

0:00 Une formule qui prouve que Dieu existe

0:47 Introduction

1:30 Anselme et l'insensé

2:57 L'île parfaite de Gaunilon

3:23 Thomas d'Aquin et l'être nécessaire

4:28 Descartes, Pascal et Leibniz

5:20 La faille découverte par Leibniz

6:02 Kurt Gödel, l'ami d'Einstein

7:07 Possible, nécessaire et les mondes possibles

8:17 L'existence nécessaire

9:09 Les axiomes de la preuve

10:34 La définition de Dieu

11:23 L'essence et l'existence nécessaire

13:06 Le basculement : nécessairement, Dieu existe

14:33 Ce que les machines ont vraiment vérifié

15:18 Toutes les mathématiques reposent sur des axiomes

16:16 Pascal : les principes se sentent

16:48 Un axiome, c'est croire

17:47 Quand la raison se coupe du réel

18:23 Chesterton : qui est vraiment le fou ?

18:56 L'intelligence artificielle et les trombones

20:00 La raison seule devient folle

20:47 Les deux ailes : la foi et la raison

21:29 Les cinq questions

22:19 Dans le prochain épisode

https://www.instagram.com/romaincroisade/

Je lis vos commentaires 👑

Autres épisodes de « Histoire de France - HDF »

À propos du podcast

Bienvenue sur ce podcast dédié à l'histoire de France. Mon objectif est simple : rétablir la beauté de notre histoire et vous faire découvrir ou redécouvrir les auteurs, les penseurs et les idées que l'on n'enseigne plus. Je vous propose de replonger dans les sources, de lire les historiens…

Histoire de France - HDF

Épisodes similaires

Tous les épisodes de Histoire de France - HDF · Plus de podcasts Histoire