I try to read Godel's Proof once a year or so. You might also be interested in G...

cgh on March 14, 2017 | parent | context | favorite | on: Gödel and the limits of logic (2006)

I try to read Godel's Proof once a year or so. You might also be interested in Gregory Chaitin's Meta Math! The Quest For Omega, which relates the halting problem (among other things) to Godel. A word of warning though, the book is rather idiosyncratic, as you might have seen from the title.

kruhft on March 14, 2017 [–]

Got it years ago and loved it. Have to give it another read some day.