I read GEB cover to cover and haven’t stopped thinking about it for years. Not a brag, a nudge that it’s not impenetrable and more people should read it.
It is a popular science book which catches the vibe of mathematical logic in an excellent way. It is not a textbook, nor a piece of research. It's all vibes, but high-quality vibes. If you are in the right headspace it can be really inspiring!
I had my copy signed by Prof Hofstadter; a treasure to this day. Led to a maths degree, years of organ playing classes, a career in software, and a Zen practice going on 20 years. And I'm pescatarian. I even wrote a few haiku when my babies were little. Hmm, time for another listen to a Tocatta and Fugue.
The extraneous stuff is honestly fabulous, IMO of course. Just being able to listen to a four part fugue sensibly is a rare but accessible pleasure. And amusing dialogs as an instantiated dialectic for showing the truth synthesized from apparent opposites, is a great pedagogical learning.
I showed up to first day at university and an older student talked to me for like two minutes before declaring that I needed to read GEB. I dutifully went ahead and bought it, and I still work in logic today.
He wrote a number of follow-up books. I love GEB, but the follow ups were often disappointing in surprising ways.
He has another book about the beauty and challenges of translating poetry, but it’s actually about the sudden death of his wife and it's been too sad for me to finish.
I gave that book to my mathematician grandma, and she found it so boring she couldn’t finish it - “All this stuff was known for decades”. True anecdote.
A large chunk of the book is philosophizing about AI and the nature of the mind and intelligence. And when it's betting on the AI that existed pre-AI winter... yeah, that part is quite dated.
You should see his book "Fluid Concepts and Creative Analogies, which is entirely about his experiments with AI in The Fluid Analogies Research Group with his grad students. Although I wonder if those techniques could be paired with LLMs somehow.
I'd have thought so too, but when I went looking for a copy in Waterstones and failed to find it under popsci section, or in maths, I tried the enquiry desk.
After a few attempts where I eventually tried "goddle s-chair batch" we found it.
Which leads us to our next borderline impenetrable book, Gödel, Escher, Bach by Douglas Hofstadter.