Skip navigation
Skip navigation

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

Benzmuller, Christoph; Woltzenlogel Paleo, Bruno


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]

CollectionsANU Research Publications
Date published: 2014
Type: Conference paper
Source: ECAI 2014
DOI: 10.3233/978-1-61499-419-0-93
Access Rights: Open Access


File Description SizeFormat Image
01_Benzmuller_Automating_Godel%27s_Ontological_2014.pdf192.16 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator