Gödel et dieu : une preuve mathématique choc

Kurt Gödel, le génie autrichiano-estadounidense dont les théorèmes d’incomplétude ont révolutionné la logique, a laissé un héritage bien plus surprenant : une tentative de prouver l’existence de Dieu à l’aide de mathématiques.

Une logique modal et la nécessité absolue

Loin d’une formule simple, cette « preuve ontologique » de Gödel repose sur la logique modale, explorant le concept de nécessité. Il s’agit de démontrer que l’existence de Dieu est une nécessité logique, une propriété intrinsèque à son concept.

Le point de départ est la notion de propriétés positives – omniscients, omnipotentes, bonnes – qui, selon Gödel, ne peuvent pas aboutir à une contradiction. En logique modale, l’existence nécessaire est définie comme une propriété positive. Il existe deux états : la contingence (l’existence n’est pas garantie) et la nécessité (l’existence est inéluctable). La nécessité, argumente Gödel, est une condition préalable à l’existence de Dieu, un être dont la non-existence serait une contradiction.

Il s’agit d’une démarche intellectuelle audacieuse, une sorte d’expérience mentale, comme le soulignait Dana Scott, un autre logiste. Gödel ne cherchait pas à convaincre, mais à explorer la cohérence de son argument.

Bien que controversée, cette « preuve » a suscité l’intérêt de nombreux philosophes et scientifiques. Elle soulève des questions fondamentales sur la nature de l’existence, de la connaissance et de la relation entre la science et la religion. En réalité, Gödel considérait cette prouve comme un simple jeu intellectuel, une manière de tester les limites de la logique.

L'idée de départ, initialement formulée par Anselme de Canterbury au XIe siècle, a été réinterprétée par Gödel au XXe siècle. Si un univers est détruit, est-ce une propriété positive ou négative ? Si quelqu'un voyage dans le temps, est-ce une extension ou une limitation de la réalité ? Ces questions soulignent la complexité des concepts impliqués et la subjectivité potentielle de la définition des propriétés positives.

Loin d’être une réfutation ou une validation de la foi, cette « preuve » de Gödel est un rappel de la puissance de la logique et de la manière dont elle peut être utilisée pour explorer des questions philosophiques profondes. Il faut toutefois souligner que, malgré son intérêt théorique, elle n’est pas forcément acceptée par tous les milieux scientifiques et philosophiques.