Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
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. The background theory of the work presented here offers a novel perspective towards a computational theoretical...[Show more]
|Collections||ANU Research Publications|
|Access Rights:||Open Access|
|01_Benzmuller_Automating_Godel%27s_Ontological_2014.pdf||192.16 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.