GEB was a considerable waste of time and contributed nothing to my understanding of intelligence or AI. The time would have been be better spent elsewhere.

If you want to understand Godel's proofs then I recommend the book "Godel's Proof" by Ernest Nagel and James R. Newman:

http://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/081475837...

Instead of Hofstadter's GEB, read some of his papers, e.g., "Analogy as the Core of Cognition" http://prelectur.stanford.edu/lecturers/hofstadter/analogy.h...

But there are others who have focused longer on analogy, e.g., George Lakoff:

"Metaphors we Live by"

http://www.amazon.com/Metaphors-We-Live-George-Lakoff/dp/022...

"Where Mathematics Come From: How The Embodied Mind Brings Mathematics Into Being":

http://www.amazon.com/Where-Mathematics-Come-Embodied-Brings...

"Women, Fire, and Dangerous Things"

http://www.amazon.com/Women-Fire-Dangerous-Things-Lakoff/dp/...