Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: the existence of God (again)

Email Gateway (Jan 07 2025 at 13:11):

From: Lawrence Paulson <lp15@cam.ac.uk>
I'm happy to announce an additional contribution regarding the ontological argument for the existence of God. This is a much more extensive exploration than in the previous entries on this topic.

Notes on Gödel’s and Scott’s Variants of the Ontological Argument
Christoph Benzmüller

Experimental studies with Isabelle/HOL on Kurt Gödel’s modal ontological argument and Dana Scott’s variant of it are presented. They implicitly answer some questions that the authors have received over the last decade(s). In addition, some new results are reported. Our contribution is explained in full detail in an associated journal article. This document presents the corresponding Isabelle/HOL dataset (which is only slightly modified to meet AFP requirements).

https://www.isa-afp.org/entries/Notes_On_Goedels_Ontological_Argument.html

Larry Paulson

Last updated: Jan 30 2025 at 04:21 UTC