Kurt Gödel

Kurt Gödel (1906-1978) était un mathématicien et logicien austro-américain dont les travaux ont profondément marqué la philosophie de la religion et la théologie. Principalement connu pour ses théorèmes d'incomplétude, qui ont démontré les limitations inhérentes aux systèmes mathématiques formels, les résultats de Gödel ont soulevé des questions fondamentales sur la nature de la vérité, de la connaissance et de l'omniscience divine. Sa preuve ontologique de l'existence de Dieu, non publiée et découverte à titre posthume, a formalisé l'argument d'Anselme en utilisant la logique modale et des axiomes concernant les propriétés positives. Théiste philosophique influencé par Leibniz, Gödel croyait en un Dieu rationnel et personnel ainsi qu'en une vie après la mort, considérant les mathématiques comme une preuve de l'existence d'un esprit divin. Ses théorèmes d'incomplétude ont remis en question le positivisme logique et suggéré que la raison humaine seule ne peut appréhender toutes les vérités, ouvrant ainsi un espace pour la connaissance religieuse. Son œuvre continue d'influencer les débats sur la relation entre la logique, les mathématiques et la théologie, particulièrement en ce qui concerne les attributs divins et les limites de la compréhension humaine.