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-212020978-0-9992411-7-22334-1033https://fis.uni-bamberg.de/handle/uniba/55649engA (Simplified) Supreme Being Necessarily Exists, says the Computer : Computationally Explored Variants of Gödel's Ontological Argumentconferenceobject10.24963/kr.2020/80https://proceedings.kr.org/2020/80/