Writing the unwritable: up-arrow notation

Donald Knuth.

Similarly exponentiation (raising a number to the power of another number) is just repeated multiplication: $$ \begin{array}{ccc} a^b & = & \underbrace{a \times a \times \ldots \times a} \\ && b\mbox{ copies of }a \end{Array} $$ So this time our example might be $2^3 = 2 \times 2 \times 2 = 8$.

Knuth developed an ingenious system that allows this process to carry on, defining infinitely many more levels of arithmetic operations. The first step was another way of expressing the familiar exponentiation. Knuth used a single up-arrow, $\uparrow$, to represent this repeated multiplication: $$ \begin{array}{ccccc} a \uparrow b & = & \underbrace{a \times a \times \ldots \times a} & = & a^b. \\ && b\mbox{ copies of }a \end{array} $$ So our example becomes $2 \uparrow 3 = 2^3 = 8.$

Multiplication is repeated addition, exponentiation, represented by a single up-arrow, is repeated multiplication...so the next operation is repeated exponentiation, sometimes called a power tower, and notated with a double up-arrow, $\uparrow \uparrow$: $$ \begin{array}{ccccc} a\uparrow \uparrow b & = & \underbrace{a\uparrow (a\uparrow (\ldots (a\uparrow a)))} & = & \underbrace{a^{a^{.^{.^{.^a}}}}}. \\ && b\mbox{ copies of }a && b\mbox{ copies of }a \end{array} $$

So $a\uparrow \uparrow b$ produces a power tower of $a$'s that is $b$ levels high. For example $2\uparrow \uparrow 3$ produces a power tower of 2s that is 3 levels high: $$ 2\uparrow \uparrow 3 = 2\uparrow(2\uparrow 2) = 2^{2^2}=2^4 = 16. $$ And this process can be continued indefinitely, allowing us to create more and more arithmetic operations: $$ \begin{array}{ccc} a\uparrow \uparrow \uparrow b & = & \underbrace{a\uparrow \uparrow (a\uparrow \uparrow (\dots \uparrow \uparrow a))} \\ && b\mbox{ copies of }a \end{Array} $$ So our example might be: $$ 2\uparrow \uparrow \uparrow 3 = 2\uparrow \uparrow (2\uparrow \uparrow 2) = 2 \uparrow \uparrow (2\uparrow 2) = 2\uparrow \uparrow 4 $$ which is a power tower of 2s that is 4 levels high. We saw above that a power tower of 2s that is 3 levels high is equal to 16. A power tower of 2s that is 4 levels high is $$ 2\uparrow \uparrow 4 = 2\uparrow (2\uparrow (2\uparrow 2)) = 2^{2^{2^2}}=2^{2^4}=2^{16} = 65,536. $$ You can see how quickly the double up-arrow operation, $\uparrow \uparrow$, grows: $2\uparrow \uparrow 2=4$, $2\uparrow \uparrow 3=16$, $2\uparrow \uparrow 4 = 65,536$, and $2\uparrow \uparrow 5$ is $2^{65,536}$, at which point your calculator will give up the ghost.

The triple up-arrow operation grows even faster. We saw that $2\uparrow \uparrow \uparrow 3=65,536$. But just taking the value of $b$ to be 4 rather than 3 gives $$ 2\uparrow \uparrow \uparrow 4 = 2\uparrow \uparrow (2\uparrow \uparrow (2\uparrow \uparrow 2)) = 2 \uparrow \uparrow (2\uparrow \uparrow 4) = 2\uparrow \uparrow 65,536. $$ This is a power tower of 2s that is 65,536 levels high. We'll leave you to calculate its exact value as an exercise for some insomnia-blighted night.

The sky's the limit with up-arrow notation.

This has already got out of hand from the point of view of numbers that we can actually comprehend. But just as mathematicians are quite happy thinking in arbitrarily high dimensions if the rules are clearly defined, they are quite happy to continue Knuth's nice, well-defined process of iterating the arithmetic operations. And so we can precisely define numbers, such as Graham's number, that are so enormous that there is not enough room in the observable Universe to write them. Mathematics gives us the power to define the unimagineable.

About the author

Rachel Thomas is Editor of Plus.