Gödel, Escher, Bach

You are given the string MI, four typographical rules, and one challenge: derive MU. Working the puzzle teaches what a formal system is, and the itch to step outside it and reason about it teaches the difference between working in a system and thinking about one.

The pq- system's meaningless strings turn out to encode addition perfectly. Symbols mean nothing by decree, yet once the system mirrors a piece of reality, meaning arrives uninvited.

Escher's birds and fish share a boundary; a theorem set and its complement share one too. Some negative spaces are drawable in their own right, and some are not: there are sets of non-theorems that no formal system can generate.

Euclid's parallel postulate refused for two thousand years to be proven, until geometers built consistent worlds where it fails. Undefined terms mean what their axioms let them mean, and nothing more.

Stories inside stories, modulations inside modulations, functions that call themselves. Recursion is nesting with a way back out, and it shows up identically in music, grammar, particle physics, and programs.

Is a message in the record, the player, or the ear? DNA seems meaningless without a cell, yet its structure is so matched to chemistry that the decoding is almost forced. Hofstadter weighs how much meaning travels with the message itself.

A complete little machine for and, or, if and not, including the fantasy rule: assume anything, see what follows, then package the whole excursion as a theorem. Sound reasoning becomes typography.

All of number theory: naturals, addition, multiplication, quantifiers: rebuilt as a typographical system called TNT. Every claim about numbers becomes a string; proving becomes pattern-shuffling. The stage for Gödel is now fully built.

Zen koans reject the question instead of answering it: unask, says MU. Alongside them arrives Gödel numbering: every TNT string gets a number, so TNT can, without knowing it, talk about TNT.

Machine language, assembly, compilers, operating systems: computers make sense only because we chunk them into levels and let each level forget the one below. Weather and brains, Hofstadter suggests, deserve the same courtesy.

Neurons are the hardware; the units of thought are symbols: large, reusable patterns of activity that stand for things and trigger one another. The ant colony of the fugue is the picture: dumb parts, knowing wholes.

If brains differ in every wire, how can two people share a thought? Because symbol networks can align without matching, the way three translations of Jabberwocky share a poem no single word of which survives. Inside each network sits a special symbol: the self.

BlooP allows only bounded loops and captures the predictably computable. FlooP adds unbounded loops and gains real power at the price of programs that may never stop. GlooP, which would be stronger still, does not exist.

The summit. Through arithmoquining, TNT is made to contain a sentence G that says, in effect, "G is not a theorem of TNT." If TNT proves it, TNT lies; if it cannot, a truth stands outside the system. This is Gödel's 1931 theorem, walked slowly.

Patch TNT by adopting G as an axiom and a new Gödel sentence appears; do it forever and the hole moves forever. Lucas argued this proves minds outrun machines; Hofstadter answers that we cannot fully step outside ourselves either.

Sentences that quote themselves, programs that print themselves, and molecules that copy themselves all use one trick: a text used twice, once as instructions and once as data. Typogenetics makes the DNA parallel explicit.

Every attempt to pin down "effectively computable" lands on the same class: that convergence is the Church-Turing thesis, here bent toward brains. Tarski adds the twin blow to Gödel's: arithmetical truth cannot even be defined in arithmetic.

The Turing test, machine chess, ELIZA, SHRDLU: each conquest of a "clearly intelligent" task was reclassified as mere computation the moment it worked. The blocks-world programs dazzle and then hit the walls of their tiny worlds.

What real thinking needs: frames, fluid analogies, concepts that slip, Bongard problems, the counterfactual "almost" worlds we visit constantly. Ends with ten famous questions and speculations: some prophetic, some charmingly wrong, like the guess that a chess champion program would be generally intelligent and might refuse to play.

The braid ties. Escher's drawing hands, Bach's endlessly rising canon, and Gödel's sentence are one figure: a hierarchy of levels that curls back and acts on itself. A brain that models the world eventually models the modeler.