Professional Documents
Culture Documents
Gödel Escher Bach by Douglas R
Gödel Escher Bach by Douglas R
Douglas R. Hofstadter:
Summary, Notes, and
Lessons
Rating: 10/10
Read more on Amazon.
Get next week’s and all 200+ book notes.
High-Level Thoughts
This book stretched my mind more than almost any other book
I’ve read. It’s tough at parts, it’s long, but you’ll come out of it
thinking about brains, minds, intelligence, and AI in an entirely
new way.
Summary Notes
Introduction: A Musico-Logical Offering
In the Musical Offering, Bach includes an inscriptions whose
first letters combine to spell “RICERCAR”, and Italian word
meaning “to seek”
The Offering has a three part fugue, a six part fugue, ten canons,
and a trio sonata.
Canons: In a canon, a single theme is played against itself. Like
Row Row Row Your Boat. In the basic canon, the first voice
enters, and after a period, the second voice enters at the same
beginning as the first, layering on top of each other. There are
also more complicated canons, where the second voice may
enter at a different pitch as well.
Fugue: A fugue is like a canon, in that it’s based on one theme
which gets played in different voices, but the notation is much
less rigid and you can play with it more.
Bach created an “endlessly rising canon,” in which it ends and
immediately restarts but a note up. The transition is seamless,
and allows it to continue rising forever. This is the first
example in the book of a “Strange Loop,” a loop whereby
moving through it we unexpectedly find ourselves right back
where we started. Such as in the famous Escher paintings like
the infinite staircase.
Epimenides Paradox: Another form of strange loop, contained
in statements like “This statement is false.” It is a “one step
strange loop.”
Godel’s Incompleteness:
Godel’s Incompleteness Theorem deals with strange loops,
asserting that any attempt for a number theory to define
itself will fail. “All consistent axiomatic formulations of
number theory include undecidable propositions.”
The Godel sentence G could be better written as “This
statement of number theory does not have any proof in the
system of Principia Mathematica.”
The real conclusion is that the system is incomplete, there
are true statements which its methods of proof are too weak
to demonstrate.
Russell’s Paradox: Most sets are not members of themselves.
For example, the set of all walruses is not itself a walrus. Or,
they are self-swallowing, such as the set of all things that are no
Joan of Arc. So sets are either run of the mill, or self-
swallowing, but we can define a set as The Set of All Run of the
Mill Sets which must be neither self-swallowing or run of the
mill. The culprit in these paradoxes is self reference, or
strange loopiness. Such as in the pair of statements “The
following sentence is false.” “The preceding sentence is true.”
To get rid of strange loops, you have to get rid of self reference.
But a complete system requires self reference, thus, strange
loops.
I: The Mu Puzzle
Requirement of Formality: You must not do anything outside
the rules of the system.
In formal systems, theorems are merely produced according to
certain rules of the system. These are called the “rules of
production.” A “free” theorem that we know to be true is an
“axiom” of the system. A “derivation” is an explicit, line by line
explanation of how to arrive at a theorem according to the
formal rules of the system.
One big difference between machines and humans is that it is
possible to program a machine to do a routine task, while
noticing no higher order to what it’s doing. Humans will
always recognize these patterns when they’re sufficiently
obvious. A car will never pick up the idea that it is supposed to
avoid other cars.
Jumping Out of the System: A property of intelligence is that
it can “jump out” of the system it’s in, such as by noticing that
it’s repeating the number “1” every time it presses the
calculator. We all perceive systems at different levels, and may
try to convince others that they’re operating within systems that
they’re blind to but that we observe. (Finite / Infinite Games)
It is necessary to distinguish between operating within the
system and making observations or statements about the
system. This is the M-Mode (mechanical mode) and the I-Mode
(intelligent mode).
A Mu Offering
This is the discussion of Koans and zen strings. Discusses how
koans can let the practitioner “step out” of normal logical
reality.
Birthday Cantatatata….
The Tortoise insists on Achilles proving with increasing
certainty that it’s his birthday, “how can I trust that I can trust
you?” and so on.
Contrafactus
This dialogue has the football game and the television that lets
them view counterfactual situations.
Sloth Canon
In this dialogue, the music and the piano are backwards, creating
an odd feel to the sound.
Six-Part Ricercar
The book ends on this dialogue involving six characters:
Achilles, Tortoise, Crab, DH, Turing, and Babbage, and ends in
the most appropriate way it possibly could.