The inconsistency in Gödel's ontological argument: a success story for AI in metaphysics
Research article (2016) · cited 37× · AI/ML