kidzsearch.com > wiki

# Graham's number

**Graham's number** is a very, very big natural number that was discovered by a man called Ronald Graham. Graham was solving a problem in an area of mathematics called Ramsey theory. He proved that the answer to his problem was smaller than Graham's number.

Graham's number is one of the biggest numbers ever used in a mathematical proof. Even if every digit in Graham's number was written in the tiniest writing possible, it would still be too big to fit in the universe.

## Context

Ramsey theory is an area of mathematics that asks questions like the following:

Suppose we draw some number of points, and connect every pair of points by a line. Some lines are blue and some are red. Can we always find 3 points for which the 3 lines connecting them are all the same color?

It turns out that for this simple problem, the answer is "yes" when we have 6 or more points, no matter how the lines are colored. But when we have 5 points or less, we can color the lines so that the answer is "no".

Graham's number comes from a variation on this question.

Once again, say we have some points, but now they are the corners of an

n-dimensional hypercube. They are still all connected by blue and red lines. For any 4 points, there are 6 lines connecting them. Can we find 4 points that all lie on one plane, and the 6 lines connecting them are all the same color?

By asking that the 4 points lie on a plane, we have made the problem much harder. We would like to know: for what values of *n* is the answer "no" (for some way of coloring the lines), and for what values of *n* is it "yes" (for all ways of coloring the lines)? But this problem has not been completely solved yet.

In 1971, Ronald Graham and B. L. Rothschild found a partial answer to this problem. They showed that for *n*=6, the answer is "no". But when *n* is very large, as large as Graham's number or larger, the answer is "yes".

One of the reasons this partial answer is important is that it means that the answer is eventually "yes" for at least some large *n*. Before 1971, we didn't know even that much.

## Definition

Graham's number is not only too big to write down, it is too big even to express in scientific notation. In order to be able to write it down, we have to use Knuth's up-arrow notation.

We will write down a sequence of numbers that we will call **g1**, **g2**, **g3**, and so on. Each one will be used to define the next. When we get to **g64**, that will be Graham's number.

First, here are some examples of up-arrows:

- 3x3x3 is [math]3\uparrow3[/math] is 27.
- [math]3 \uparrow \uparrow 3[/math] is 7625597484987; you can think of this as [math]3 \uparrow (3 \uparrow 3)[/math] which is 3 multiplied by itself [math]3\uparrow3[/math] times so 3x3x3x3x....x3x3, in total 27 times.
- [math]3 \uparrow \uparrow \uparrow 3[/math] is [math]3 \uparrow \uparrow (3 \uparrow \uparrow 3)[/math] and this is [math]3\uparrow \uparrow 7625597484987[/math]; this number is so huge, its digits would fill up the universe and beyond.
- Although this number may already be beyond comprehension, this is barely the start of this giant number.

The next step like this is [math]3 \uparrow \uparrow \uparrow \uparrow 3[/math] or [math]3 \uparrow \uparrow \uparrow (3 \uparrow \uparrow \uparrow 3)[/math]. This is the number we will call **g1**.

After that, **g2** is equal to [math]3\uparrow \uparrow \uparrow \uparrow \ldots \uparrow \uparrow \uparrow \uparrow 3[/math]; the number of arrows in this number is **g1**.

**g3** is equal to [math]3\uparrow \uparrow \uparrow \uparrow \uparrow \ldots \uparrow \uparrow \uparrow \uparrow \uparrow 3[/math], where the number of arrows is **g2**.

We keep going in this way. We stop when we define **g64** to be [math]3\uparrow \uparrow \uparrow \uparrow \uparrow \ldots \uparrow \uparrow \uparrow \uparrow \uparrow 3[/math], where the number of arrows is **g63**.

This is Graham's number.