Book Note: GEB Part 3 - Can a System Talk About Itself?

GEB Part 3 - Can a System Talk About Itself?

Part 3 covers Chapters VII through IX. Propositional calculus and TNT prepare the ground for Gödel-numbering. The details matter, but the main idea is larger: a system begins to speak about itself when its own statements can be encoded inside the system.

For LLM Wiki and harness engineering, this is a crucial model. A system that can feed its logs, rules, and failures back into itself becomes more than a simple executor. But self-description does not guarantee complete self-mastery.

■ How to use this note

This is part 3 of a five-part reading of Gödel, Escher, Bach. It focuses on propositional calculus, TNT, Zen, Gödel-numbering, and the first pass through incompleteness.

The operating principle remains: book notes are storage; insight cards are currency.

L0 · Entry

• Core sentence: Gödel-numbering is not just coding; it lets a system indirectly refer to its own expressions.
• Why read this: Agent loops that record and improve their own tool use are practical self-reference systems.
• Scope: Chapters VII, VIII, IX.

L1 · Captures

“ Short phrase · #TNT

“Typographical Number Theory”

TNT creates a formal stage where arithmetic reasoning becomes symbol manipulation. ^q01

“ Short phrase · #godel-numbering

“Gödel-numbering”

Statements and proofs can be encoded as numbers, allowing the system to handle its own forms. ^q02

■ Zen and Gödel

The Zen material dramatizes the tension between rigorous work inside a system and the desire to step outside it. ^q03

L2 · Map

#	Range	Summary	Main claim
1	Propositional calculus	Logical connectives can be formalized	Meaning can be stabilized by rules
2	TNT	Number theory becomes typographical	Arithmetic enters formal manipulation
3	Gödel-numbering	Statements become numbers	The system can refer to its own statements
4	Incompleteness	True-but-unprovable statements appear	Self-reference unsettles completeness

L3 · Insight Cards

• GEB - I7 Self-reference starts when a system uses its own logs as input
• GEB - I8 Encoding makes thought an object of thought again
• GEB - I9 Loops are powerful but do not guarantee completeness

L4 · Production Board

■ Outputs

• Blog draft: Gödel-numbering as a self-reference harness
• Concept cards: TNT, Gödel-numbering, self-reference, incompleteness
• Code application: feed CI failures into the next planning loop

L5 · Review

• Connections: Turing, Tarski, metaprogramming, agent loops.
• Open questions:
  • When an AI agent records its own failures, is that self-understanding or longer automation?
  • How much does blog metadata help an article explain itself?
• Final takeaway: Gödel-numbering builds a mirror through which a system can inspect its own forms.