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

Christoph Benzmller

Browse the full KR paper archive.