idea
Infinity
Cantor showed that infinities come in different sizes. The counting numbers can be listed one after another, and the real numbers cannot. His diagonal argument builds a number that differs from the n-th entry of any list in its n-th digit. A close cousin of that move sits inside Gödel’s proof.
Connects to
- Math
- Gödel
- closed loops
- Zero
- Where do numbers live?
- Is there a size between?
- Which new axioms should we add?