Kurt Gödel’s Proof of the Existence of God
Kurt Gödel toppled a tall tower of mathematical reasoning with publication of his work showing no formal system of math could be both complete and consistent. He also gave a mathematical proof of the existence of God. Is Gödel’s proof valid? Robert J. Marks and Dr. Selmer Bringsjord discuss mathematics, Kurt Gödel, and the ontological argument.
Show Notes
- 01:05 | Introducing Selmer Bringsjord, Professor — Rensselaer Polytechnic Institute (RPI)
- 01:44 | A book about Kurt Gödel
- 02:53 | Gödel’s “God Theorem”
- 05:03 | Was Gödel a deist?
- 07:31 | The history of Gödel’s proof
- 13:46 | The reasoning behind Anselm’s ontological proof
Gödel’s Ontological Proof

Additional Resources
- Selmer Bringsjord’s website
- “The Argument for God’s Existence from AI” by Selmer Bringsjord
- The Gödel solution at Wikipedia
- Gottfried Wilhelm Leibniz at Encyclopædia Britannica
- Saint Anselm of Canterbury at Stanford Encyclopedia of Philosophy
- Rene Descartes at Encyclopædia Britannica
- “On the Logic of the Ontological Argument” by Paul Oppenheimer and Edward Zalta
- Disjunctive syllogism at Wikipedia