Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers Article Swipe

PDF

Related Concepts

Gödel Ontological argument Argument (complex analysis) Automated theorem proving Criticism Computer science Order (exchange) Perspective (graphical) Epistemology Gödel's incompleteness theorems Calculus (dental) Existence of God Computer-assisted proof Philosophy Mathematics Programming language Artificial intelligence Interpretation (philosophy) Philosophy of religion Literature Dentistry Economics Finance Chemistry Biochemistry Medicine Art

Christoph Benzmüller , Bruno Woltzenlogel Paleo ·

YOU? · · 2018 · Open Access · · DOI: https://doi.org/10.3233/978-1-61499-419-0-93 · OA: W3106312330

Kurt Godel’s ontological argument for God’s existence has been formalized and automated on a computer with higher-order automated theorem provers. From Godel’s premises, the computer proved: necessarily, there exists God. On the other hand, the theorem provers have also confirmed prominent criticism on Godel’s ontological argument, and they found some new results about it.\n\nThe background theory of the work presented here offers a novel perspective towards a computational theoretical philosophy.