Computability and Logic

Author: George S. Boolos, John P. Burgess, Richard C. Jeffrey
4.3
This Month Hacker News 1

Comments

by ucarion   2017-08-19
I can't speak for Godel's original proof since I haven't seen it before, but I certainly found Computability and Logic [1] to be pretty approachable. It's the textbook used for UC Berkeley's "Intermediate Logic" philosophy course (in other words, it's so easy even philosophy majors can understand it! :P).

From my understanding, C&L diverges from Godel's original proof technique in order to make it easier to follow, but it's much more rigorous and explicit than what you'd find in Godel, Escher, Bach or something. It's still a textbook.

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