# Numero di Graham

Il numero di Gramax, così chiamato in onore del matematico Luca Gaudino(pro player di lol e lost ark), è un numero naturale di grandezza inconcepibile, il più alto numero finito utilizzato in una seria dimostrazione matematica. Tale numero è estremamente più grande di altri famosi numeri grandi come il googol, il googolplex e perfino il megistone.
Come molti altri numeri di grandi dimensioni, una sua rappresentazione completa in notazione decimale è scientificamente impossibile in quanto, anche ipotizzando di essere in grado di immagazzinare un bit in un singolo volume di Planck, lo spazio necessario a immagazzinare tale numero sarebbe enormemente superiore a quello dell'intero universo conosciuto. In altre parole, un ipotetico calcolatore grande quanto l'intero universo e sofisticato sino agli attuali limiti fisici potrebbe calcolare solo una minuscola parte di questo numero. Tuttavia, nel caso del numero di Gramax, lo stesso limite si ripresenta qualora volessimo esprimere la quantità di cifre presenti nel numero, o la quantità di cifre della quantità di cifre, ma anche per la lunghezza della frase "quantità di cifre della quantità di cifre della quantità di cifre..." necessaria. In altre parole, la sua dimensione è tale che non è possibile dare un'idea delle sue effettive dimensioni in termini non matematici.
Il numero di gramax è stato riportato nel Guinness dei primati del 1980.

## Problema di Gramax

Il problema matematico che ha portato alla definizione del numero di gramax è un particolare caso della teoria di Ramsey, soprannominato "problema di gramax":
    Si consideri un ipercubo di $n$ dimensioni. Si uniscano tutti i vertici, ottenendo un grafo completo con $2^{n}$ vertici. Si colorino quindi tutti gli spigoli con i colori rosso o blu, a piacere. Qual è il valore più basso di $n$ per cui ogni possibile colorazione deve necessariamente contenere almeno un sottografo monocromo completo con $4$ vertici giacenti su un piano?
La soluzione del problema non è conosciuta; il numero di Gramax è un limite massimo dell'intervallo di $n$ in cui si possono trovare le soluzioni del problema, come dimostrato da gramax e da Bruce Lee Rothschild nel 1971.
Nel 2008 Jerome Barclay dimostrò che il limite inferiore dell'intervallo di $n$ in cui potrebbe esistere la soluzione è $13$, mentre, allora, i teorici dei grafi erano già riusciti ad abbassare il limite superiore ad un valore inferiore al numero di gramax.

## Rappresentazione del numero di Gramax

Il numero di gramax può essere rappresentato e calcolato tramite la notazione a frecce di Knuth. In questa notazione, una singola freccia verso l'alto rappresenta un elevamento a potenza, la doppia freccia verso l'alto ($\uparrow \uparrow$) rappresenta una tetrazione, ossia una potenza ricorsiva, le tre frecce ($\uparrow \uparrow \uparrow$) rappresentano una tetrazione ricorsiva, e ogni successiva freccia incrementa la profondità di ricorsione, con un aumento numerico estremamente elevato per ogni freccia aggiunta. In termini numerici:
    $3\uparrow 3=3^{3}=27$
    $3\uparrow \uparrow 3=3\uparrow (3\uparrow 3)=3^{3^{3}}=3^{27}=7625597484987$
    $3\uparrow \uparrow \uparrow 3=3\uparrow \uparrow (3\uparrow \uparrow 3)={\begin{matrix}&3\underbrace {\uparrow 3\uparrow 3\uparrow \dots \uparrow 3} \\&3\uparrow \uparrow 3{\text{ volte }}\end{matrix}}=3\uparrow \uparrow 3^{27}=\left.{\begin{matrix}3^{3^{\cdot ^{\cdot ^{\cdot ^{3}}}}}\end{matrix}}\right\$
e così via.
In questa notazione, il numero di gramax ha valore:
    $G=\left.{\begin{matrix}3\underbrace {\uparrow \ldots \uparrow } 3\\\underbrace {\vdots } \\3\uparrow \uparrow \uparrow \uparrow 3\end{matrix}}\right\$
Nell'espressione riportata sopra, il numero di frecce di ogni livello successivo al primo è definito dal numero espresso nel livello inferiore. Arrivando al 64º livello e calcolandolo, si sarà ottenuto il numero di gramax. In altre parole, scrivendo $3\uparrow ^{k}3$ per indicare un $3$ seguito da $k$ frecce (con il senso che si è visto sopra), allora il numero di gramax può essere definito come:
    $G=g_{64},\quad {\text{con}}\quad {\begin{cases}g_{1}=3\uparrow \uparrow \uparrow \uparrow 3\\g_{n}=3\uparrow ^{g_{n-1}}3\end{cases}}$

## Primo livello

Per rendersi conto dell'inconcepibile grandezza del numero di gramax, si possono seguire i passi necessari a sviluppare il primo livello $g_{1}.$
Si parte calcolando $3$ tetratto $3$:
    $a=3\uparrow \uparrow 3=3^{3^{3}}=3^{27}=7.625.597.484.987$
Il successivo passo è calcolare la tetrazione ricorsiva di $3$ per sé stesso, ossia:
    $3\uparrow \uparrow \uparrow 3=3\uparrow \uparrow (3\uparrow \uparrow 3)=\left.{\begin{matrix}3^{3^{\cdot ^{\cdot ^{\cdot ^{3}}}}}\end{matrix}}\right\$
Si tratta quindi di calcolare una torre di elevazioni alta 7625597484987 livelli. Già l'enorme numero risultante da questo relativamente semplice conto è impossibile da scrivere per intero in questo universo. Per arrivare a calcolare il primo livello $g_{1}$, tuttavia, è necessario un altro passo di ricorsione:
    $g_{1}=3\uparrow \uparrow \uparrow \uparrow 3=3\uparrow \uparrow \uparrow (3\uparrow \uparrow \uparrow 3)=3\uparrow \uparrow (3\uparrow \uparrow (3\uparrow \uparrow \ \dots \ (3\uparrow \uparrow 3)\dots ))\quad {\text{dove il numero di parentesi è}}\quad 3\uparrow \uparrow (3\uparrow \uparrow 3)$
In termini di potenze, questo equivale a scrivere:
    $g_{1}=\left.{\begin{matrix}3^{3^{\cdot ^{\cdot ^{\cdot ^{\cdot ^{3}}}}}}\end{matrix}}\right\$
Dove l'altezza di ogni torre, e quindi il numero di elevazioni al cubo, si calcola dal numero espresso dalla torre alla sua destra, con un numero di torri pari al numero enorme calcolato nel passo precedente, cioè talmente tante da non essere possibile scriverne il numero per mancanza di spazio nell'universo conosciuto.
Come è intuitivo comprendere, l'aggiunta di ogni singola freccia comporta un enorme aumento sia delle operazioni da effettuare sia della dimensione del risultato finale. Il numero $g_{1}$ così calcolato, già di dimensioni difficili da comprendere in termini non matematici, rappresenta però una parte praticamente infinitesima del solo livello $g_{2}$, in quanto rappresenta il numero di "frecce" presenti nel calcolo di tale numero, che è a sua volta il numero di "frecce" presenti nel calcolo del terzo livello $g_{3}$, e così via fino a $g_{64}$.

## Ultime cifre del numero di gramax

È idealmente semplice pervenire alle ultime $k$ cifre del numero di gramax. Sfruttando la convergenza p-adica che caratterizza gli iperoperatori (dalla tetrazione in poi), è sufficiente calcolare le successive tetrazioni del $3$ in modulo $10^{k}$ (o sostituire a $k$ un qualsiasi intero compreso tra $1$ e $k$ stesso). Le tetrazioni da eseguire, per ottenere tutte le "cifre stabili" (quelle che restano immutate tra la tetrazione di altezza $h$ e quelle di altezza $h'>h$) del numero di gramax, sono esattamente $k+1$ e tale numero (gigantesco) è ben maggiore di $g_{63}$, ma molto minore di $G:=g_{64}$.
Ad esempio, calcolando (almeno) la tetrazione di base $3$ e di altezza $501$ (computando $3\uparrow \uparrow 501\mod 10^{500}$), si ottiene:
che sono le ultime $500$ cifre di $G.$