Reference : Experiments in Computational Metaphysics: Gödel's Proof of God's Existence
Scientific journals : Article
Engineering, computing & technology : Computer science
Arts & humanities : Philosophy & ethics
Arts & humanities : Religion & theology
Computational Sciences
http://hdl.handle.net/10993/33621
Experiments in Computational Metaphysics: Gödel's Proof of God's Existence
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Woltzenlogel Paleo, Bruno []
Feb-2017
Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute
Bhaktivedanta Institute
9
43-57
Yes
International
0972-6586
Kolkata
India
[en] own ; Automated Reasoning ; Intensional Higher-Order Modal Logic ; Higher Order Logic
[en] “Computer scientists prove the existence of God” --- variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in communicating to the wider public what had actually been achieved and what not. This article outlines the main findings of the authors’ joint work in computational metaphysics. More precisely, the article focuses on their computer-supported analysis of variants and recent emendations of Kurt Gödel’s modern ontological argument for the existence of God. In the conducted experiments, automated theorem provers discovered some interesting and relevant facts.
Researchers ; Professionals ; Students ; General public
http://hdl.handle.net/10993/33621
https://sites.google.com/binstitute.org/journal/article-3-page-43

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
02-BenzmuellerWoltzenlogelPaleo-AISSQ2015.pdfAuthor preprint997.21 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.