2016 IJCAI IJCAI 2016

The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics