Liczba Grahama — większa niż da się zapisać

Co się właśnie stało?

Liczba Grahama to jedna z najsłynniejszych „gigantycznych” liczb matematyki — przez lata figurowała w Księdze Rekordów Guinnessa jako największa liczba użyta w poważnym dowodzie matematycznym. Wprowadził ją Ronald Graham w 1971 r. jako górne oszacowanie odpowiedzi w konkretnym problemie teorii Ramseya (dotyczącym kolorowania krawędzi wielowymiarowej kostki). Spopularyzował ją Martin Gardner na łamach „Scientific American”.

Notacja strzałkowa Knutha:

Zwykłe potęgi nie wystarczają, by ją opisać — trzeba użyć „iterowanego potęgowania”, gdzie każda kolejna strzałka oznacza powtarzanie poprzedniej operacji:

Pojedyncza strzałka to potęga, podwójna to wieża potęg, potrójna rośnie jeszcze szybciej. Już przy trzech trójkach widać eksplozję:

To jeszcze 13 cyfr. Ale $3\uparrow\uparrow\uparrow 3 = 3\uparrow\uparrow(3\uparrow\uparrow 3)$ to wieża potęg wysoka na ponad 7 bilionów pięter — liczba tak wielka, że jej samych cyfr jest więcej niż atomów we Wszechświecie.

Jak duża jest liczba Grahama?

Liczba Grahama $G = g_{64}$ powstaje przez 64 „warstwy” tej notacji: $g_1 = 3\uparrow\uparrow\uparrow\uparrow 3$, a w każdej następnej warstwie liczba strzałek równa jest… całej poprzedniej warstwie. Jej ogrom jest niewyobrażalny: gdyby próbować zapisać wszystkie jej cyfry, nie zmieściłby ich cały obserwowalny Wszechświat — nawet zapisując po jednej cyfrze na każdym atomie.

A jednak — jest skończona:

Mimo tej niepojętej wielkości liczba Grahama jest skończona i doskonale określona — to zwykła liczba naturalna. Matematycy znają nawet jej ostatnie cyfry: $\dots 262464387$. To pokazuje, jak zwodnicze bywa pojęcie „dużej liczby”: między skończonością a nieskończonością istnieją liczby tak wielkie, że przekraczają wszelkie fizyczne wyobrażenie, a mimo to pozostają zwykłymi liczbami naturalnymi.

Po co Ci to na maturze:

To fascynujący dowód potęgi matematycznej notacji i granic ludzkiej intuicji o wielkości. Uczy odróżniać „skończone, ale ogromne” od „nieskończonego” — kluczowe, gdy myślisz o potęgach, tempie wzrostu funkcji i o tym, że skończoność nie oznacza „daje się zapisać”.

Zapamiętaj: liczba Grahama to konkretna, skończona liczba naturalna — o dobrze określonej wartości i znanych końcowych cyfrach — choć jej pełnego zapisu nie pomieściłby cały Wszechświat. (Ciekawostka o potęgach i notacji wielkich liczb.)