3 ms·

Is it related to the GoedelGod project (which was an open source project on attempting to formalize Godel's Ontological Proof, was in GSoC 2017)? https://githu

Is it related to the GoedelGod project (which was an open source project on attempting to formalize Godel's Ontological Proof, was in GSoC 2017)? https://github.com/FormalTheology/GoedelGod https://github.com/FormalTheology/GoedelGod

andrepd 7y ago
I believe not. This was the citation given in the problem: https://arxiv.org/abs/1308.4526 https://arxiv.org/abs/1308.4526
- andrepd 7y ago
  Silly me, we're talking about the same thing :p