01 / Countable infinity
The Hotel That Never Fills
Every numbered room is occupied. One more guest arrives. Move everyone once and watch “full” stop meaning what it means in a finite building.
Open the hotel →∞The Formal Edge / Thought Instruments
Touch the impossible thing.
Ten mathematical machines built to be played before they are explained. Move guests through an infinite hotel. Build a number that escapes a complete list. Close a causal loop. Duplicate a mathematical ball. Turn a proof machine back on itself.
No tests. No prerequisite mathematics. Wonder first.
01 / TouchEvery public machine begins with an obvious physical gesture.
02 / WatchThe idea becomes visible as motion, transformation, or impossible bookkeeping.
03 / UnderstandThe explanation arrives after the event. Formal study is optional backstage.
Ten machines / no answer key
Choose the kind of impossibility you want to touch.
The labels tell you what experience is coming; they are not chapter assignments. You can enter anywhere.
02 / Diagonal escape
The Number Your List Cannot Contain
Start with a claimed complete list of decimals. Use its own diagonal to manufacture a number guaranteed to be missing.
Build the escape →↯03 / Higher infinity
The Ordinal Staircase
Keep adding “next” until the endless staircase itself becomes a new stage—and then take another step.
Open the staircase →ω04 / Supertask
The Last Switch
Fit infinitely many alternating switches before midnight and discover that arriving at a time is not the same as settling into a state.
Light the lamp →½05 / Causal loop
The Consistent Time Machine
Send a message into the past until its history closes on itself—with no first copy and no outright contradiction.
Close the loop →↺06 / Decision theory
The Predictor’s Boxes
A nearly perfect predictor filled a box yesterday. Make one ordinary choice today and watch evidence and causal control pull apart.
Open the boxes →□07 / Measure
The Set With No Length
Translate the same strange set again and again until every ordinary attempt to assign it a length breaks the bookkeeping.
Break the ruler →λ08 / Banach–Tarski
The Ball That Becomes Two
Open one mathematical ball into impossible point-sets, rotate the structure, and reassemble two balls the same size as the first.
Duplicate the ball →2×09 / Computability
The Machine That Cannot Judge Every Machine
Run tiny programs, then build the perfect universal judge and let one self-referential program destroy it.
Build the judge →¬10 / Gödel
The Truth Printer
Let a formal library enumerate its proofs, encode itself, and discover the limit of complete self-capture from inside.
Wake the library →GLIVE MACHINE 01 / HILBERT'S HOTEL
A completely full hotel makes room.
Every numbered room already has a guest. Do not answer a question. Just press the button and watch infinity reorganize itself.
The gesture: move every guest from room n to room n+1. One room appears without an “end” ever being found.
COUNTABLE INFINITY / RELOCATION ENGINE
FULL ≠ NO CAPACITY
The hotel is full. Make room without removing a guest.
LIVE MACHINE 02 / CANTOR'S ESCAPE
Make a number the complete list cannot contain.
The table claims to list every decimal. Press one button. The machine changes each diagonal digit and builds a new decimal that disagrees with row 1 at digit 1, row 2 at digit 2, and so on.
ESCAPE NUMBER
It cannot equal row 1 because digit 1 differs. It cannot equal row 2 because digit 2 differs. The same guarantee holds for every row.