A museum-grade interactive exhibit that lets visitors experience the most elegant proof in the history of mathematics — Cantor's diagonal argument.
Six galleries, from intuition to revelation:
- Intuition — What is infinity? Count along and feel "endless"
- Paradox — Galileo's puzzle: perfect squares are a subset of natural numbers, yet they pair one-to-one. Visitors discover the paradox themselves
- Question — Cantor asks: are all infinities the same size? Visitors enter decimals, arrange them into a table
- Diagonal — Highlight the diagonal, increment each digit, check row by row. Visitors construct a number not in the table
- Consequence — The chain: can't be arranged → can't be paired → more. Infinity has sizes
- Epitaph — In 1638, Galileo turned away. In 1891, Cantor walked in