Preppy: I read the Hofstadter book a couple years back. It was good and I should revisit it.
I should also point out something about it that I think's irresponsible on Hofstadter's part: nowhere in his book does he mention that the mathematical system Godel initially proved to be incomplete, set theory, is IMMENSELY useful for musicians. That would tie in quite nicely with the musical side of the book, I think. In fact, a large part of comtemporary music theory and, as a result, composition relies heavily upon set theory and its extensions like partitioning and combinatorics. I guess the ommission of post-tonal theory and serialism in the book is an example of Godel's incompleteness theorem at work, albiet a rather trivial one.