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 johncolanduoni on Tuesday April 04, 2017 @11:11PM (#14039372)
Even more fun: a theory T can be consistent and prove Not(Con(T)).
[ Parent | on HN ]

There are no comments on this comment yet.