Found in 1 comment on Hacker News
tmzt · 2014-01-07 · Original thread
I would also suggest "Advent of an Algorithm" more of a history of mathematics including Godel.

http://www.amazon.com/The-Advent-Algorithm-300-Year-Computer...

Fresh book recommendations delivered straight to your inbox every Thursday.