Graham’s number, named after Ronald Graham, is a large number that is the upper bound (just like Skewes’ Number) on the solution to a problem in Ramsey theory.

### Expressing Graham’s Number

As Graham’s number is so large, it can’t be expressed using the conventional notation of powers, and powers of powers.

Grahams number is defined using Knuth’s up-arrow notation, introduced by Donal Knuth in 1976. The number of arrows in each layer, starting from the top layer, is specified by the value of the next layer below it. In cleaner notation:

Equivalently,

Not only does Graham’s number have an incomprehensibly large magnitude, it is also useful to mathematicians, and that is what makes this number so well known.

### Ramsey Theory and Context

Ramsey theory is an area in mathematics which studies conditions under which order will appear. Graham’s number is concerned with the following problem in Ramsey theory:

“Connect each pair of geometric vertices of ann-dimensional hypercube to obtain a complete graphon 2^{n}vertices. Colour each of the edges of this graph either red or blue. What is the smallest value ofnfor whicheverysuch colouring contains at least one single-coloured complete subgraph on four coplanar vertices?”

Terminology:

Hypercube – a generalisation of a 3-cube to *n* dimensions.

Complete Graph – a graph in which each pair of graph vertices is connected by an edge

An answer – N* – was proved to exist by Graham and Rothschild in 1971. The weak upper bound for N* is given by Graham’s number, and was found in Graham’s unpublished work, eventually being published and named by Martin Gardner in *Scientific American* in November 1977.

Hope you enjoyed the second instalment of ‘Maths Bite’. M x

Cool, I wrote about this some months ago, this is my favorite number I think! And the series from Numberphile are also great!

LikeLiked by 1 person