MiG

Automating Gödel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers

C. Benzmüller, Bruno Woltzenlogel Paleo— 2014

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

TitelAutomating Gödel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers
VerfasserC. Benzmüller, Bruno Woltzenlogel Paleo
VerlagT. Schaub et al. (Eds.)
Datum201408
Kennungdoi:10.3233/978-1-61499-419-0-93
Quelle/n
Erschienen inIOS Press, Frontiers in Artificial Intelligence and Applications, volume 263. Presented on the 21st European Conference on Artificial Intelligence, August 18-22, 2014.
Größe oder Längepp. 93-98