Hacker GitHub

← All repos

FormalTheology/GoedelGod

View on GitHub ↗ ★ 476 TeX

Formalizations of Gödel's Ontological Proof of God's Existence

8 mentions on Hacker News by 8 people: 2 stories, 6 comments · first 2013-09-09 · latest 2019-07-28

Mentions per year 8 mentions · busiest year 2017 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Computer assisted theoretical philosophy
    story by jackpirate · 2016-07-27 · 0 comments
  2. ▲ 1
    Formalizations of Gödel's Ontological Proof of God's Existence
    story by neur0mancer · 2013-10-29 · 1 comment