A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument

14 January 2020

Papers citing "A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument"

2 / 2 papers shown

Title
A Simplified Variant of Gödel's Ontological Argument Christoph Benzmüller 18 1 0 13 Feb 2022
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof C. Wernhard 24 0 0 21 Oct 2021