FormalTheology/GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
2 best points · 1 comments · 2 Hacker News posts · 476 GitHub stars · View on GitHub
Hacker News discussions
- Computer assisted theoretical philosophy (2 points, 0 comments, by jackpirate, 2016-07-27)
- Formalizations of Gödel's Ontological Proof of God's Existence (1 points, 1 comments, by neur0mancer, 2013-10-29)