Gödel, Escher, Bach
Winner of the Pulitzer Prize A metaphorical fugue on minds and machines in the spirit of Lewis Carroll Douglas Hofstadter's book is concerned directly with the nature of "maps" or links between formal systems. However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel, Escher, Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.
Stats for nerds
505recommend
1,439mentions
1,055people
2007–2026years
44% recommend49% neutral7% critical
Mentions per year
What Hacker News says
- Do you distinguish between Penrose's argument and the older one by Lucas, invoking Gödel's proof that certain facts are non-computable?
I always felt it's basically the same argument, and Lucas's was never really convincing; Hofstadter rebutted it very convincingly in GEB long before Penrose's books came out.
To me, camp C's claim is possible but I don't buy the argument that says it's necessary. So I guess I'm camp A. (D is religion and B seems to me incoherent.)
- I've used concepts from GEB a lot in my thinking about how LLMs.
On self-referentiality and the MU Puzzle: https://matthodges.com/posts/2025-04-21-openai-o4-mini-high-...
On Gödelian limits of prompt-safe AI : https://matthodges.com/posts/2025-08-26-music-to-break-model...
On the blurry line between pattern matching and reasoning: https://matthodges.com/posts/2026-08-19-bongard-problems/
I'm glad that the author of this post ends with:
> What’s left? Consciousness
because when I've read (and re-read) GEB, I find the book to be much deeper than just a threshold for conversational intelligence.
- One of my elementary school classmates brought printouts of Escher's Waterfall to share. I accepted one, took it home, and taped it to my bedroom wall. My father saw it and loaned me his copy of Gödel, Escher, Bach.
At first, I flipped through the book looking at the Escher prints. My second time through, I read the dialogues. Next I had a go at reading the chapters and got lost. Maybe on my fifth read-through (years later) I actually attained an understanding of Gödel's Theorem (at least for a brief moment before it vanished again).
I credit GEB (and its dialogues like Little Harmonic Labyrinth) for helping prepare me to deal with the kind of multi-level abstraction involved in developing a language interpreter or machine simulator. Especially that time I had to debug a crash that only occurred when running my simulator inside a simulated instance of itself (i.e. when three levels deep, but not two).
- From the article,
A lot of people will make fun of you, but I think everyone should read a book or two that's not airport pulp.What can we learn about what other people are thinking, about their mental models of the world, by paying very careful attention to the words they use?Given you're on HN, try Gödel, Escher, Bach. https://www.amazon.com/G%C3%B6del-Escher-Bach-Eternal-Golden...
Be warned though, it'll take you well over a decade.
- GEB was one of the books that inspired me to study math in college. It made math come to life in way that my high school courses didn't.
- 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.
Related
I Am a Strange Loop
101 recommend · 249
Metamagical Themas
45 recommend · 98
The Mind's I
36 recommend · 73
The art of computer programming
336 recommend · 1,799
Conceptual Mathematics
36 recommend · 61
Fluid Concepts and Creative Analogies
17 recommend · 45
