Mind Matters Natural and Artificial Intelligence News and Analysis


Statue of Saint Anselm and the towers of the Cathedral of Aosta, the Cattedrale di Aosta de Corso Pere-Laurent in Aosta. Aosta Valley. Italy. Europe

Gödel Says God Exists and Proves It

Here is a line-by-line explanation of his proof

Kurt Gödel, an intellectual giant of the 20th century, offered a mathematical proof that God exists. Those who suffer from math anxiety admire what the theorem (shown below) claims to do, but have absolutely no idea what it means. Our goal is to explain, in English, what Gödel’s existence of God proof says. Gödel’s proof shows the existence of God is a necessary truth. The idea behind the truth is not new and dates back to Saint Anselm of Canterbury (1033-1109). Great scientists and philosophers, including Descartes and Leibniz, have reconsidered and refined Anselm’s argument. Gödel appears to be the first, however, to present the argument using mathematical logic. Lexicography In any development of a mathematical theory, there are foundational axioms…