Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

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

Simple item page
dc.contributor.authorBenzmuller, Christoph
dc.contributor.authorWoltzenlogel Paleo, Bruno
dc.coverage.spatialPrague, Czech Republic
dc.date.accessioned2018-11-30T01:19:32Z
dc.date.available2018-11-30T01:19:32Z
dc.date.createdAugust 18-22 2014
dc.date.issued2014
dc.date.updated2018-11-29T08:21:18Z
dc.description.abstractKurt 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 philosophy.
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.isbn9781614994183
dc.identifier.urihttp://hdl.handle.net/1885/154104
dc.publisherIOS Press
dc.relation.ispartofseries21st European Conference on Artificial Intelligence ECAI 2014
dc.sourceECAI 2014
dc.source.urihttp://ebooks.iospress.nl/volume/ecai-2014
dc.titleAutomating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
dc.typeConference paper
dcterms.accessRightsOpen Accessen_AU
local.bibliographicCitation.lastpage98
local.bibliographicCitation.startpage93
local.contributor.affiliationBenzmuller, Christoph, Freie Universitat Berlin
local.contributor.affiliationWoltzenlogel Paleo, Bruno, College of Engineering and Computer Science, ANU
local.contributor.authoruidWoltzenlogel Paleo, Bruno, u1002652
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080299 - Computation Theory and Mathematics not elsewhere classified
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu4334215xPUB1653
local.identifier.doi10.3233/978-1-61499-419-0-93
local.identifier.scopusID2-s2.0-84923196236
local.identifier.thomsonID000349444700017
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Benzmuller_Automating_Godel%27s_Ontological_2014.pdf
Size:
192.16 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS