3 ms·Formalizations of Gödel's Ontological Proof of God's Existence1 points by neur0mancer 13y agoneur0mancer 13y agoThe paper with some explanation about the proof is here: http://arxiv.org/pdf/1308.4526v4.pdf http://arxiv.org/pdf/1308.4526v4.pdf