What Is Infinity? Why Some Infinities Are Bigger Than Others

The Greeks distrusted it. Aristotle allowed a potential infinity, a process that can always be continued, such as counting, and denied an actual infinity, a completed infinite thing, and that distinction held for two thousand years. Zeno's paradoxes showed why it was feared: Achilles can never catch the tortoise because he must first reach where it was, and by then it has moved, and so on for ever, an argument that seems to prove motion impossible. Galileo noticed in 1638 that the square numbers could be paired off one to one with all the whole numbers, 1 with 1, 2 with 4, 3 with 9, so that in one sense there were as many squares as numbers, and concluded that the words greater, less and equal simply did not apply to infinite quantities. He was nearly right, and the exact way in which he was wrong is the subject.

Georg Cantor, working in Halle in the 1870s, took Galileo's pairing seriously as a definition. Two collections are the same size if their members can be matched one to one with none left over on either side, whatever the collections are. By that test the evens are as many as the whole numbers, since 1 pairs with 2, 2 with 4, and so on without end; so are the fractions, which can be listed in a zigzag through a grid and numbered off; and so, it seems, is anything that can be put in a list. Cantor called that size aleph-null, after the first Hebrew letter, and a collection of that size is called countable. Then he asked whether the real numbers, all the points on a line, could be listed too, and showed they could not.

The proof is a page long and is called the diagonal argument. Suppose someone claims to have a complete list of all the decimals between 0 and 1. Build a new decimal by taking the first digit of the first number and changing it, the second digit of the second number and changing it, and so on down the diagonal. The new number differs from every number on the list in at least one place, so it is not on the list, so the list was not complete. No list can be. The points on a line are uncountable: a larger infinity than the whole numbers.

Cantor went on to show that the same trick applies at every level. For any collection, the collection of all its subsets is strictly larger, and so there is no biggest infinity but an endless ascending tower of them, which he called the transfinite numbers. Some of what follows from his definitions:

• •The whole numbers, the evens, the primes and the fractions are all the same size, aleph-null
• •The points on a line, in a square and in all of space are all the same size, the continuum, and it is bigger than aleph-null
• •Every infinite set has a subset the same size as itself, which is in fact the definition of infinite
• •There is no largest infinity: the subsets of any set outnumber its members
• •Whether there is a size between the whole numbers and the continuum, the continuum hypothesis, cannot be settled from the standard axioms of mathematics, as was proved in 1963

Cantor's work was attacked in his lifetime by the most influential mathematician in Germany, Leopold Kronecker, who held that only the whole numbers were real and blocked Cantor's appointment to Berlin, and Cantor spent his later years in and out of sanatoria, dying in 1918. The theory also broke things. Bertrand Russell found in 1901 that the collection of all collections that are not members of themselves cannot exist without contradiction, which meant that the naive idea of a collection had to be replaced by careful axioms, and the effort to found mathematics safely on those axioms led to Godel's proof in 1931 that no such foundation can prove everything true about even the whole numbers. Hilbert, defending the theory, said that no one would expel mathematicians from the paradise Cantor had created, and no one has.

Physics uses infinity cautiously. Calculus works with quantities that shrink towards zero without arriving, which is Aristotle's potential infinity made rigorous, and an infinity that appears in a physical equation, as at the centre of a black hole or in the early calculations of quantum theory, is generally taken as a sign that the theory has broken down rather than that something infinite exists. Whether the universe is infinite in extent is not known; it is at least 46 billion light years in radius, and the measurements are consistent with its going on for ever. Cantor's infinities are a different kind of thing, not sizes of objects but sizes of collections, and their existence is a matter of definition and proof rather than of observation, which is why they can be known with certainty about a world in which no one has ever seen one.

Infinity, since Cantor, is the size of a collection whose members can be paired off with a part of itself, and such collections come in different sizes: the whole numbers, fractions and evens are all countable, the points on a line are a strictly larger uncountable infinity by the diagonal argument, and above every infinity is a bigger one. The theory cost its inventor his career and his peace, forced mathematics to rebuild its foundations, and remains the paradise Hilbert refused to leave.