Philosophy of Mathematics — The Nature of Infinity
Some Infinities Are Bigger Than Others (And That Should Unsettle You)
In the late nineteenth century, a mathematician proved that there are more points on a line segment than there are whole numbers — and then spent years in a psychiatric ward, partly broken by what he had found.
The Idea
We tend to treat infinity as a single, absolute thing — the ultimate ceiling, the number that ends all numbers. But Georg Cantor dismantled that comfortable notion with uncomfortable precision. Infinity, it turns out, comes in different sizes. Cantor's key move was to ask: when are two collections the same size? His answer — elegant and radical — was that two sets are equal in size if you can pair every element in one with exactly one element in the other, with nothing left over. By this logic, the set of all even numbers is the same size as the set of all whole numbers, because you can match them perfectly: 1 pairs with 2, 2 pairs with 4, and so on forever. Infinity minus half of itself is still infinity. Already strange. But here is where it breaks open. Cantor then asked about the real numbers — all the decimals between, say, zero and one. He proved, using a breathtaking argument now called the diagonal proof, that no matter how cleverly you try, you cannot pair those decimals with the whole numbers. There will always be real numbers left over. This means the infinity of decimals is strictly, provably larger than the infinity of whole numbers. Mathematicians call the smaller infinity 'countable' and the larger one 'uncountable.' Between them lies a gulf that cannot be crossed by any enumeration. There is not one infinity. There is an infinite hierarchy of infinities, each one dwarfing the last.
In the World
Cantor published his findings on infinite sets between 1874 and 1884, and the mathematical establishment did not receive them warmly. Henri Poincaré, one of the greatest mathematicians of the era, called Cantor's work 'a disease from which mathematics would one day recover.' Leopold Kronecker, a former mentor, reportedly called Cantor a corrupter of youth. The hostility was not merely professional jealousy. There was something genuinely destabilising about what Cantor had done. Mathematics had long traded on the idea that it dealt in certainties — clean, timeless truths that could not be argued with. Cantor had introduced a landscape where intuition failed completely. The notion that you could have a collection so vast it outstripped any attempt to count it, and then another collection vaster still, seemed to violate the basic grammar of number. Cantor himself felt the weight of it. He suffered repeated depressive episodes throughout his life and died in a sanatorium in 1918. Whether his mental illness was caused, worsened, or simply accompanied by his mathematical isolation is impossible to say — but the legend of a man undone by staring too long into the abyss of infinity has a kind of dark poetry to it. The irony is that today Cantor's work is foundational. Set theory — the framework he built — underlies virtually all of modern mathematics. David Hilbert, who eventually championed his ideas, wrote: 'No one shall expel us from the paradise that Cantor has created.' The paradise, though, is a strange and vertiginous one.
Why It Matters
You might wonder why the size of infinity should matter to anyone not sitting a mathematics exam. But this idea has a way of quietly reorganising how you think. For one thing, it demonstrates that the limits of intuition are not the limits of reality. Cantor's infinities feel wrong — deeply, viscerally wrong — and yet they are true. This is a useful thing to remember whenever you are tempted to dismiss an idea simply because it does not feel right. Our intuitions were shaped by the middle-sized world we inhabit: rooms, faces, seasons. They were never calibrated for the very large, the very small, or the structurally strange. There is also something almost meditative in sitting with a concept that genuinely cannot be pictured. Most of what we call 'thinking' is really a form of pattern-matching against things we have already seen. Infinity — and especially the infinity of infinities — offers no such foothold. To engage with it honestly is to practice a kind of intellectual humility: the recognition that the universe is under no obligation to be graspable. On a Monday, that is not a bad thing to carry with you.
A Question to Ponder
If your intuition can be this wrong about something as fundamental as the nature of number, which other things are you certain about that might be just as quietly, provably strange?
Get a new one of these every morning.
Start learning with Thinkable