Automating Godel’s Ontological Proof of God’s Existence [pdf]page.mi.fu-berlin.de7 pointsgodelmachine6 years ago