Mind Matters Natural and Artificial Intelligence News and Analysis
e-mc2-written-on-chalkboard-stockpack-unsplash.jpg
E-mc2 written on chalkboard
Photo by JESHOOTS.COM on Unsplash

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

Gödel's ontological proof of the existence of God
Gödel’s ontological proof of the existence of God. From Wikipedia

Additional Resources


Kurt Gödel’s Proof of the Existence of God