If you want to understand Godel's proofs then I recommend the book "Godel's Proof" by Ernest Nagel and James R. Newman:
Instead of Hofstadter's GEB, read some of his papers, e.g.,
"Analogy as the Core of Cognition"
But there are others who have focused longer on analogy, e.g., George Lakoff:
"Metaphors we Live by"
"Where Mathematics Come From: How The Embodied Mind Brings Mathematics Into Being":
"Women, Fire, and Dangerous Things"
I own the Nagel and Newman book and probably read it every two years or so.
I also own the FARG book which summarises the work of the Fluid Analogies group. I don't think these papers are as interesting or exhilarating as GEB so I have to disagree with you there.
I didn't really dismiss the book: I read it attentively in it's entirety and, as anyone who has read it knows, that is a big book. But in the end I found nothing new or thought-provoking. Entertaining, yes; enlightening, no. "Where's the beef?" came to mind over and over as I moved through the text.
Hofstadter is certainly bright, has a voluminous memory and can be an entertaining writer but GEB is not IMO a contribution to AI. My expectations were undoubtedly too high.
Because he'll have other things to do in the next year?