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

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-212022-09-212020https://fis.uni-bamberg.de/handle/uniba/55648engA (Simplified) Supreme Being Necessarily Exists, says the Computer : Computationally Explored Variants of Gödel's Ontological Argumentpreprint10.48550/ARXIV.2001.04701https://arxiv.org/abs/2001.04701