Every system rich enough to describe itself meets a wall it cannot cross. A walk along the borders of what can be proved, computed, or said.
complicates of Move 1 — The limit is stated in the very language it limits.
And yet the Tractatus spends seventy pages arriving at that silence. The border is always drawn from the inside; you must speak right up to the edge to say where speech ends.
formalizes of Move 2 — Cantor's diagonal: no list can hold all the reals. Some infinities outrun any enumeration.
interprets of Move 3 — Diagonalization: out-step every step by one.
Watch the move itself: build the thing the list forgot by disagreeing with every row in its own place. Differ from each entry where it lives, and you are guaranteed to be new. The trick will return.
extends of Move 4 — Self-reference, weaponized.
Russell turns the diagonal on logic itself: consider the set of all sets that do not contain themselves. Does it contain itself? Either answer is its own refutation.
formalizes of Move 5 — Gödel builds a sentence that says 'I am not provable.' If the system is consistent, it cannot prove G; if it is ω-consistent, it cannot refute G either.
draws consequence of Move 6
So truth outruns proof. In any system strong enough to do arithmetic, there are true statements no proof inside it will ever reach.
parallels of Move 6 — Turing's halting problem is Cantor's diagonal, run on machines.
def halts(prog, x): # suppose this exists ...
def spite(): if halts(spite, None): while True: pass # then loop forever return # else stop: contradiction either wayhumanizes of Move 8 — The man who fixed the limit also pointed past it.
We can only see a short distance ahead, but we can see plenty there that needs to be done.
Alan Turing (1950), Computing Machinery and Intelligence
deepens of Move 7 — Tarski: a language cannot consistently define its own truth. Even 'true' cannot be said cleanly from inside.
illustrates of Move 10 — Completeness without selection is unusable.
Borges imagined a library of every possible book, and therefore of every truth, drowned among every error and every gibberish, each indistinguishable from the next. Total information is a kind of noise.
illustrates of Move 11
answers of Move 12 — Bounded agents thrive inside unbounded spaces.
Yet we navigate anyway, not with total maps but with local rules, good-enough heuristics, the next defensible step. We do not escape the labyrinth; we learn to walk it.
qualifies of Move 13 — A softer wall: some questions are decidable but, perhaps, never in any feasible time.
gathers of Move 13 — A limit is the shape of the tool, not its failure.
The walls differ in kind: undecidable, unprovable, intractable, unsayable. Yet each marks a horizon internal to a method, not a flaw in the world.
illustrates of Move 15 — A fortress: the defending king holds the promotion square, and no amount of trying breaks through.
returns of Move 1 — We arrive back at the first silence, now earned.
The honest system, then, learns to name its own edge, the way the Tractatus speaks to the border and, having said exactly that much, stops.
reframes of Move 15 — We chart continents by mapping the coastlines we cannot cross.
And the edge turns out to be generative. Each proof of a limit opened a new continent: set theory from Cantor's paradoxes, computability from Turing's, complexity from the intractable.
revises of Move 1 — The wall becomes a floor.
Whereof one cannot speak, there one builds a new language, and speaks a little further. The silence is not the end of the sentence; it is the start of the next one.
The dialogue is concluded
Every wall we proved became the floor of a larger room.