Absolute Infinity - Numberphile

Source: Absolute Infinity - Numberphile, Numberphile, 19:05, uploaded 2024-03-19.

Asaf Karagila starts with the lazy eight, the familiar sign for infinity, and ends with a question that the sign cannot answer: what happens when mathematics treats infinity as an object with a size? The route passes through Cantor’s alephs, the Continuum Hypothesis, and the boundary between sets and proper classes. Infinity becomes a family of sizes that can be compared, rearranged and extended, although the sequence has no final member.

From an endless process to an infinite object

The lazy eight entered mathematics as a symbol for infinity in the seventeenth century. Karagila attributes its use to John Wallis, whilst noting that the symbol may have appeared earlier. At first, infinity describes a process that never finishes. The sequence $1/2, 1/3, 1/4, 1/5, \ldots$ moves towards zero without ever reaching it. Mathematics can study that movement without treating infinity as a thing that exists in the same way as a finite number.

The nineteenth century changes the question. Set theory allows mathematicians to collect all the natural numbers into one set. The set is given as a whole rather than assembled by carrying out infinitely many steps. Once the set exists, one can ask how many elements it contains. Georg Cantor’s answer is that infinite collections can have different sizes. The natural numbers form one infinite size, whilst the real numbers form a strictly larger one. The complex numbers have the same size as the real numbers, even though they include the imaginary unit and all the numbers built from it.

Cantor names the size of the natural numbers with the first Hebrew letter, aleph, using $\aleph_0$. The real numbers have size $2^{\aleph_0}$. Karagila treats this expression as an exact cardinality rather than an approximation. The base two is a convenient first choice for the operation that generates a larger infinity. Other finite bases and some expressions involving $\aleph_0$ produce the same cardinality.

Alephs and the gap between them

The zero in $\aleph_0$ leaves room for a next cardinal. $\aleph_1$ is the next larger infinite size, with no cardinal between $\aleph_0$ and $\aleph_1$. The same construction gives $\aleph_2$, then $\aleph_3$, and so on. The superscript expression $2^{\aleph_0}$ is larger than $\aleph_0$, yet its exact place in this sequence cannot be settled by the usual axioms of set theory.

Cantor proposed that the size of the real numbers might be $\aleph_1$. This became the Continuum Hypothesis. Karagila describes the later work of Kurt Gödel and Paul Cohen: one showed that the hypothesis cannot be disproved from the standard axioms, and the other showed that it cannot be proved from them. The result leaves mathematical universes in which $2^{\aleph_0}=\aleph_1$ and universes in which the continuum is larger. The real numbers keep their size inside each universe, whilst the axioms can disagree about where that size sits among the alephs.

The next alephs can be described through order. Take every way of well-ordering the natural numbers and group those orderings according to their order type. The number of types has size $\aleph_1$. The construction does not count every rearrangement as a new object. It counts the distinct kinds of well-order that arise. Applying the same operation to a set of size $\aleph_1$ gives $\aleph_2$, and repeating the operation produces the later alephs.

The sequence also has a limit. After $\aleph_0, \aleph_1, \aleph_2$ and all the other finite-indexed alephs comes $\aleph_\omega$. From there, $\aleph_\omega+1$ and $\aleph_\omega+2$ continue the sequence. The notation separates two ideas that ordinary language often folds into one word. Cardinal arithmetic can leave $\aleph_0+1$ equal to $\aleph_0$, because adding one element does not change the size of a countably infinite set. The ordinal $\omega+1$ records an order with one new last position and is therefore larger than $\omega$ as an order type. Alephs measure how many elements a collection has. Omega describes the structure of an ordering.

The point where sets stop

The aleph construction can be repeated through larger and larger collections. Karagila says that the process eventually reaches a size too large to form a set. Set theory calls such a collection a proper class. It can still be described and discussed, although it cannot function as an ordinary mathematical object inside the same system. The distinction explains why the sequence can continue in thought whilst failing to produce one final set containing everything.

Cantor gave this idea the name Tav, using the last letter of the Hebrew alphabet. The name did not become standard mathematical notation. Karagila calls it absolute infinity and presents it as the point where the ordinary treatment of infinite collections becomes inconsistent. The name therefore marks a boundary in the theory rather than a final number that one can write down and use in the same way as an aleph.

That boundary opens a question about mathematical reality. Perhaps there is one mathematical universe that contains this whole hierarchy and reaches one absolute infinity. Perhaps there are many mathematical universes that share some cardinalities whilst placing particular sets at different alephs. Perhaps each universe has its own absolute infinity and another universe lies beyond it. The video leaves these as positions in mathematical philosophy. The set-versus-proper-class distinction determines which constructions each position can support.

Why sizes of infinity reach ordinary mathematics

Karagila’s example is a forcing axiom. An additional axiom can imply that $2^{\aleph_0}=\aleph_2$. That equality alone may look remote from ordinary work, yet the axioms that produce it also affect questions in analysis. Those results can feed into physics, engineering and computing. The influence runs through a long chain of definitions and theorems, so the connection rarely appears at the point where a set theorist studies a particular infinite size.

He describes set theory as a language for forming ideas that later mathematics can use. The claim stays modest. The video does not name a specific engineering result that depends on the continuum hypothesis or on one forcing axiom. It gives the direction of influence rather than a case study.

The exchange then turns from usefulness to comprehension. Astronomers can calculate distances to planets, stars and galaxies without holding those distances in their minds as physical experiences. A set theorist faces the same gap when working with infinite cardinalities. Karagila says that some days the subject overwhelms him. On other days, sustained attention lets him see why one cardinal is smaller than another. The definitions make the work possible even when intuition fails.

Countable rationals and the slipperiness of the reals

Brady Haran asks where the rational numbers belong between the natural and real numbers. The rationals include fractions such as $1/2$ and $4/4$, and they sit densely between any two real numbers. Intuition can make them feel as large as the reals because every interval contains infinitely many rational values.

Karagila confirms that the rationals have the same cardinality as the natural numbers, $\aleph_0$. One can arrange the fractions in a countable sequence even though any finite interval contains infinitely many of them. The real numbers have a larger cardinality. The contrast depends on a precise way of counting rather than on whether the numbers feel graspable or whether they fill a line without gaps.

The conversation closes with a line attributed to John von Neumann: “You don’t understand things, you get used to them.” Karagila uses it as a description of mathematical practice. Infinite cardinalities become workable through definitions, examples and repeated use. The supplied English captions then switch into an apparently unrelated fragment about a dartboard and infinite probability during the final seconds. That fragment does not connect to the preceding discussion, so the source material supports the von Neumann line as the last coherent conclusion.

Further reading / references

• Asaf Karagila’s homepage, linked in the video’s description. It identifies his work in set theory, including the axiom of choice, forcing axioms and foundations of mathematics.