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

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

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