GoedelGod (Q43934)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry GoedelGod
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | GoedelGod |
AFP entry GoedelGod |
Statements
Christoph Benzmüller
0 references
Bruno Woltzenlogel Paleo
0 references
Dana Scott's version of Gödel's proof of God's existence is formalized in quantified modal logic KB (QML KB). QML KB is modeled as a fragment of classical higher-order logic (HOL); thus, the formalization is essentially a formalization in HOL.
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
12 November 2013
0 references
Gödel's God in Isabelle/HOL (English)
0 references
