I’ve been reading a lot about Gödel lately, specifically in the following books:

“Gödel, Escher, Bach: an Eternal Golden Braid”, by Douglas Hofstadter

“Mathematical Mysteries: The Beauty and Magic of Numbers”, by Calvin C. Clawson

“Godel’s Proof”, by Ernest Nagel, James R. Newman

I recommend them all, in particularly G.E.B.

Not to end on a morbid note, but Kurt Gödel‘s grave is easy to find in Princeton:

Within feet is John Von Neumann‘s grave: