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
20082026
-
…was an open source project on attempting to formalize Godel's Ontological Proof, was in GSoC 2017)? https://github.com/FormalTheology/GoedelGod
comment by bcaa7f3a8bbc · 2019-07-28 · in Gödel's Ontological Proof -
…most contentious, culturally complex, ambiguous topic of all time. Maybe you'd be amused by this -- https://github.com/FormalTheology/GoedelGod -- an open source effort to formalize Gödel's proof of God's necessary existence with the…
comment by mbrock · 2017-08-28 · in Teach Yourself Logic 2017: A Study Guide [pdf] -
I am reminded of https://github.com/FormalTheology/GoedelGod
comment by drdeca · 2017-04-06 · in Philosophy tool kit -
Godel's god is already a github repo! https://github.com/FormalTheology/GoedelGod Now we just wait for someone to code a proof of Erdos' Supreme Fascist..
comment by pizza · 2017-04-04 · in Gödel's Incompleteness Theorems (2015) -
▲ 2
Computer assisted theoretical philosophystory by jackpirate · 2016-07-27 · 0 comments
-
and an implementation (I think unfinished) in Coq https://github.com/FormalTheology/GoedelGod
comment by riffraff · 2014-12-28 · in Gödel's ontological proof -
▲ 1
Formalizations of Gödel's Ontological Proof of God's Existencestory by neur0mancer · 2013-10-29 · 1 comment
-
…the code, I have a whole worldview I need to re-evaluate here. Edit: Seems like this is the code - https://github.com/FormalTheology/GoedelGod
comment by MichaelAza · 2013-09-09 · in Gödel's Proof of God's Existence