dc.contributor.author
Benzmüller, Christoph
dc.contributor.author
Scott, Dana
dc.date.accessioned
2026-01-05T13:58:08Z
dc.date.available
2026-01-05T13:58:08Z
dc.identifier.uri
https://refubium.fu-berlin.de/handle/fub188/49243
dc.identifier.uri
http://dx.doi.org/10.17169/refubium-48965
dc.description.abstract
Notes on Kurt Gödel’s modal ontological argument and Dana Scott’s variant of it are presented. These remarks, supported by experimental studies with a proof assistant system for classical higher-order logic, implicitly answer some questions the authors have received over the last decade(s). In addition, some new insights resulting from the conducted experiments are reported.
en
dc.format.extent
43 Seiten
dc.rights.uri
https://creativecommons.org/licenses/by/4.0/
dc.subject
Gödel’s ontological argument
en
dc.subject
Interactive and automated theorem proving
en
dc.subject
Higher-order modal logic
en
dc.subject.ddc
500 Naturwissenschaften und Mathematik::510 Mathematik::510 Mathematik
dc.title
Notes on Gödel’s and Scott’s variants of the ontological argument
dc.type
Wissenschaftlicher Artikel
dcterms.bibliographicCitation.doi
10.1007/s00605-025-02078-x
dcterms.bibliographicCitation.journaltitle
Monatshefte für Mathematik
dcterms.bibliographicCitation.number
4
dcterms.bibliographicCitation.pagestart
569
dcterms.bibliographicCitation.pageend
611
dcterms.bibliographicCitation.volume
208
dcterms.bibliographicCitation.url
https://doi.org/10.1007/s00605-025-02078-x
refubium.affiliation
Mathematik und Informatik
refubium.affiliation.other
Institut für Informatik
refubium.resourceType.isindependentpub
no
dcterms.accessRights.openaire
open access
dcterms.isPartOf.eissn
1436-5081
refubium.resourceType.provider
WoS-Alert
