News for hackers. Stuff that matters.

A comment on Gödel's Incompleteness Theorems (2015). Parent comment

Re:Gödel's Incompleteness Theorems (2015) by pizza on Tuesday April 04, 2017 @11:58AM (#14034051)
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..

[ Parent | on HN ]

There are no comments on this comment yet.