### The realm of giants

How large is *large*? The question may seem circular, but to a mathematician, this is a good direction to explore. The answer depends on your perspective about how we measure largeness. Integers can be so massive they don’t correspond to things in the physical universe. For example, a googol consists of 1 followed by 100 zeroes 10^{100}.As the number of elementary particles of the universe is estimated to be around 10^{80}, a googol staggers the imagination. And yes, the famous company resulted from a misspelling of this number.

However, integers form an infinite sequence: you can form a new one by adding one. Or multiply the number by itself, or take a power. The number 10 to the power a googol is called *googolplex*, which is 10^{(10100)}. We soon run out of descriptive nomenclature to describe these large integers.

### Transfinite numbers

What about a number larger than *all* other numbers? Is this possible? Sort of.

Around the turn of the 20th century, Georg Cantor introduced a new kind of number called *transfinite*, which are all larger than the ordinary counting number or integers. If we consider all the non-negative integers as a single object or set, then we can consider that set itself to be a number. It is an infinite number, which is called ℵ_{0}. Here “ℵ” is the first letter in Hebrew, and is pronounced “aleph”. The number ℵ_{0} (aleph zero) is the first infinite cardinal.

The cardinal ℵ_{0} has some strange properties. With a given positive integer, if you divide it or double it, you get a smaller or larger number. Not so with ℵ_{0}. If you add it to itself, it doesn’t change:

ℵ_{0} + ℵ_{0} = ℵ_{0}.

The same with multiplication:

ℵ_{0}ℵ_{0} = ℵ_{0}.

The set of even integers is a strictly smaller set than the set of all positive integers, but it too has size ℵ_{0}. So in a sense, dividing ℵ_{0} into smaller parts does not necessarily give a smaller number. These kind of observations seem puzzling at first, but they follow from simple facts about functions that we teach our second year mathematics undergraduates.

One can show that ℵ_{0} is the cardinality of not only the non-negative integers, but also of the set of all integers (positive and negative), and the set of rational numbers (or fractions). A simple test: if you can *list* an infinite set (more precisely, find a one-to-one function to the positive integers), then it has cardinality ℵ_{0}.

The following diagram shows how to list all the rational numbers; the circled ones are “new” fractions in the ever expanding list. For example, we consider 2/2 the same as 1. You list all the distinct rationals by following the zig-zag arrow, starting with 1/1 = 1.

By the way, don’t confuse ℵ_{0} with the symbol ∞. The latter has no formal meaning as a number. Rather ∞ is used as notation in things like limits found in Calculus. Sorry Mr. Dali!

### Large cardinals

Like any good story, this is just the beginning: the infinite cardinals only just start at ℵ_{0}. There is an infinite sequence of cardinals, each strictly bigger than the one before it:

ℵ_{0} < ℵ_{1} < ℵ_{2} < …

We even obtain much larger cardinals like ℵ_{ℵ0} that results by continuing the above process ℵ_{0}-many times.

Things get even stranger when we consider exponentiation. The number 2^{ℵ0} is strictly bigger than ℵ_{0.} The cardinal 2^{ℵ0} is sometimes called the continuum, as it is the size of the real number system. The number of reals is much larger than the number of integers! The famous *Continuum hypothesis* states that ℵ_{1} = 2^{ℵ0}, but whether this is true or not depends on the basic axioms we take for our mathematics, following from the foundational work of Gödel and Cohen.

The mathematics of cardinals quickly gets into deep waters and is not fully understood. There are esoteric-seeming large cardinals, which exist only under special hypotheses in the realm of* set theory*. So-called *large cardinal theory* focuses on describing and classifying such cardinals, with esoteric sounding names such as Woodin, strongly Ramsey, and supercompact cardinals.

We therefore have an infinite hierarchy of infinite numbers, without end. The collection of all cardinals together is so large it is not a *set* in the usual sense. This collection is what is called a *proper class*. We can’t talk about the cardinality of a proper class, as it bigger than every cardinality.

### The very small: Conway’s surreal numbers

We have discussed very large numbers, but what about the very small? Real numbers like 1/10^{100} are easy to write down, but incomprehensibly small. A *Planck length* is 1.6 x 10^{-35} meters, and is reserved for the smallest objects in the universe. Physicists speculate that a string has size a Planck length. Strings, however, have yet to be observed.

John Conway discovered the surreal numbers that include infinitesimal numbers, or numbers greater than 0 but smaller than any fraction. These unusual numbers correspond to values of certain combinatorial games, and include infinite cardinals, infinitesimals, and exotic numbers like *.

While surreal explain properties of certain games, to date, there are no applications of the surreal numbers in the sciences. But this will almost certainly change as science advances. Like Hamilton’s quaternions, which are now routinely applied in physics and engineering, the surreal numbers are just so beautiful that they simply *must* be applicable.

Conway’s quote about the surreal numbers is a wonderful note to end this post.

“*I walked around for about six weeks after discovering the surreal numbers in a sort of permanent daydream, in danger of being run over. I was just thinking all the time, “Nobody else in the world has ever seen this, nobody ever, and you’ve seen it John.” I thought about stout Cortez walking across the Americas. He saw the Atlantic Ocean, then he saw the Pacific Ocean, and the Americas in between. Nobody else had ever seen this greatness—well, American Indian tribes had doubtless seen it before. But I think Cortez must have felt something of the same way that I did, except what I’d seen was all in my head. It was an amazing thing, to see something that was too big to fit in this universe, because there are many more surreal numbers than there are particles in the universe. How can that possibly be? There was another person in this respect, Georg Cantor, who discovered the transfinite numbers in the decade from 1870 to 1880, and he must have had similar feelings. Then he went mad. [Laughing] Maybe I’m going mad.*”

Anthony Bonato