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




Author(s): Benzmüller, Christoph  
Publisher Information: arXiv
Year of publication: 2020
Pages: 1-11
Language(s): English
DOI: 10.48550/ARXIV.2001.04701
URL: https://arxiv.org/abs/2001.04701
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/55648
Release Date: 21. September 2022