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 Solheim on Tuesday April 04, 2017 @03:22PM (#14036270)
I also took a Computability course. We used:

https://www.amazon.com/Computability-Logic-George-S-Boolos/d...

[ Parent | on HN ]

There are no comments on this comment yet.