Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2001.04701
Cited By
v1
v2
v3
v4
v5
v6
v7
v8
v9
v10 (latest)
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument
14 January 2020
Christoph Benzmüller
Re-assign community
ArXiv (abs)
PDF
HTML
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
1