Writing the unwritable: up-arrow notation
Donald Knuth.
We recently published an article about one of our very favourite numbers: Graham's number. One of the reasons we love it is that this number is big. So big in fact that the observable Universe is not big enough to write the number out in full. But it isn't just big, it's also precisely defined. And in order to define such mind-bendingly huge numbers you need a new way to write them down.
Graham's number can be exactly expressed thanks to an ingenious notation developed by the mathematician and computer scientist Donald Knuth. Knuth's up-arrow notation continues the compounding nature of the better-known arithmetic operations. Multiplication is simply repeated addition:
Similarly exponentiation (raising a number to the power of another number) is just repeated multiplication:
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, , to represent this repeated multiplication:
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, :
So produces a power tower of 's that is levels high. For example produces a power tower of 2s that is 3 levels high:
The triple up-arrow operation grows even faster. We saw that . But just taking the value of to be 4 rather than 3 gives
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.