Ô Éternel mon Dieu, toi, tu as accompli tant d’œuvres merveilleuses, et combien de projets tu as formés pour nous?! Nul n’est semblable à toi.
Psaume 40.6
« Après quinze siècles de recherches menées par les plus grands penseurs, les mathématiques et l’informatique ont parlé : selon les règles de la logique, l’existence de Dieu est nécessaire ! » C’est par cet en-tête que la revue Science et Vie introduit fin décembre 2020 un article sur les travaux de Christoff Benzmüller de l’Université de Berlin. Ce spécialiste des outils de vérification des preuves mathématiques affirme : « Dieu, dans sa définition la plus répandue en métaphysique, existe nécessairement. On ne peut penser un monde dans lequel il n’existerait pas. »
Ayant défini Dieu comme celui qui possède toutes les perfections, le grand logicien et mathématicien Kurt Gödel, décédé en 1978, avait conclu après des années de travail que Dieu existait. Christoph Benzmüller a pu utiliser les outils informatiques ultra-puissants à sa disposition pour vérifier et valider toutes les étapes du raisonnement de Gödel. Et les supercalculateurs ont rendu leur verdict : « Dieu existe au sens logique et mathématique. » L’existence de Dieu n’est donc pas irrationnelle ! Certes, cette conclusion ne suffira pas à convaincre sceptiques et athées… Croire en un Dieu bon et qui se révèle à l’homme sera toujours une décision personnelle. Mais nous pouvons la prendre en toute logique !
Bernard Grebille
__________________
Lecture proposée :
Livre de Job 38, versets 1 à 7.