Definicion del nmero de Graham

Mediante la notacin flecha de Knuth, el nmero de Graham, G, tal como se define

en el artculo de Gardner en Scientific American, equivale a:
donde el nmero de flechas en cada fila, empezando por la fila superior, viene
especificado por el valor de la fila inmediatamente inferior, es decir,
donde un superndice en una flecha superior indica cuntas flechas hay. En otras
palabras, G se calcula a travs de 64 pasos: el primer paso consiste en
calcular g1 con cuatro flechas entre los treses; el segundo paso consiste en
calcular g2 con g1 flechas entre los treses, el tercer paso consiste en
calcular g3 con g2 flechas entre los treses, y as sucesivamente hasta calcular
finalmente G = g64, que tiene g63 flechas entre los treses.
Equivalentemente, donde un superndice en la f indica la iteracin de la funcin. La
funcin f es un caso especial de la familia de funciones hiper(), , y tambin se
puede expresar mediante la notacin de flechas encadenadas de Conway como .
Esta ltima notacin establece las siguientes cotas para G:
Magnitud del nmero de Graham[editar]
Con el fin de hacer notar la dificultad de comprender la enorme magnitud del
nmero de Graham, puede ser til expresar (mediante la mera exponenciacin)
nicamente el primer trmino (g1) de la sucesin rpidamente creciente de 64
trminos. Primero, expresemos el nmero mediantea tetracin donde el nmero de
treses en la expresin de la derecha es
Ahora cada tetracin () se reduce a una torre de exponenciaciones () segn la
definicin Por tanto, nicamente empleando torres de exponentes, se convierte
en y donde el nmero de treses en cada torre, empezando por la torre situada ms
a la izquierda, viene especificado por el valor de la torre situada inmediatamente a
su derecha. Expandiendo verticalmente, esto se convierte en
La magnitud de este primer trmino, g1, es tan grande que prcticamente escapa a
la comprensin humana. Incluso el nmero de torres presentes en esta frmula
para g1 es mucho mayor que el nmero de volmenes de Planck en los que se
podra dividir el universo observable. Y cabe subrayar que, despus de este
trmino, quedan otros 63 ms en esta sucesin rpidamente creciente antes de
llegar al nmero de Graham, G = g64.