「とてつもなく大きな数」として知られるグラハム数。普通の指数だけでは扱いにくく、10進法ですべての数字を書き並べることも現実的ではありません。1980年版のギネスブックに掲載されたことでも知られ、巨大数を代表する存在の一つになりました。
ところが、グラハム数は世界最大の数でも無限でもありません。明確な規則によって一つに決まる有限の整数で、その背景にはラムゼー理論と呼ばれる数学上の問題があります。
グラハム数とはどんな数？
グラハム数は、数学者ロナルド・グラハムの名前に由来する非常に大きな整数です。現在一般にグラハム数と呼ばれる数を G とすると、
G＝g₆₄
と定義されます。大きすぎて10進法の数字を直接並べて表すことは現実的ではありませんが、上矢印表記を使えば、すべての桁を書き出さなくても一つの整数として明確に定義できます。
また、グラハム数は「世界で一番大きな数」ではありません。どれほど大きくても有限の整数なので、1を足せばそれより大きな数を作れるためです。
たとえば「グラハム数＋1」もグラハム数より大きな整数です。そこからさらに1を足すこともできるため、自然数には「これ以上大きな数がない」という最大値は存在しません。
グラハム数は、数学上の具体的な問題の上限として使われた数でもあります。単に巨大な数字として考えられたのではなく、数学上の問題と結びついて広く知られるようになりました。
なぜグラハム数ほど巨大な数が登場した？
グラハム数の背景にあるのは、ラムゼー理論と呼ばれる数学の分野です。
ラムゼー理論では、ばらばらに見える色分けや配置でも、全体を十分大きくすると一定の規則を持った部分が必ず現れる、という種類の問題を扱います。
グラハム数につながった問題では、n次元超立方体を考えます。n次元超立方体には2ⁿ個の頂点があり、その頂点のすべての組を線で結びます。超立方体にもともと備わっている辺だけを対象にするわけではありません。
その線を2色のどちらかで塗ったとき、
同じ平面上にある4つの頂点について、その4頂点を互いに結ぶ6本の線がすべて同じ色になる
ことを必ず保証できる最小の次元を求めます。
グラハムとブルース・ロスチャイルドは1971年の研究で、この最小値に対して非常に大きな有限の上限を示しました。
グラハム数そのものが、この問題の正解ではありません。
求めたいのは条件を必ず満たす「最小の次元」です。グラハム数は、その最小値がグラハム数以下になることを保証する上限として広く知られるようになりました。
1971年の論文にG＝g₆₄がそのまま載っていたわけではない
現在グラハム数と呼ばれている G＝g₆₄ は、1971年の論文にそのまま掲載されていた数ではありません。
元の論文では別の非常に大きな上限が示されていました。その後、ロナルド・グラハムが数学解説者マーティン・ガードナーへ問題を伝える際、元の上限とは別の、説明しやすい形の上限を使いました。それが現在グラハム数として知られるg₆₄です。
さらに1980年版のギネスブックにも取り上げられ、グラハム数が広く知られるきっかけの一つになりました。
そのため、「1971年の論文にグラハム数という名前でg₆₄がそのまま掲載されていた」という理解は、実際の経緯とは異なります。
グラハム数はどうやって表す？
グラハム数ほど大きな数になると、「10の何乗」という普通の指数表記だけでは式そのものが扱いにくくなります。
そこで使われるのが、クヌースの上矢印表記です。コンピュータ科学者・数学者のドナルド・クヌースが1976年に導入した表記で、矢印の本数を増やすことで、累乗をさらに高い段階へ繰り返す操作を短く表せます。
まず、矢印が1本の場合を見てみましょう。
3↑5＝3⁵＝243
矢印が1本なら、普通の累乗と同じです。左側の3を底、右側の5を指数として、「3を5乗する」という意味になります。
ところが、矢印を2本にすると意味が大きく変わります。
3↑↑5＝3^(3^(3^(3³)))
これは3の5乗ではありません。3を5個使って、右側から累乗を積み重ねた形です。
矢印が1本の
3↑5＝243
なら簡単に計算できますが、矢印が2本の
3↑↑5
になるだけで、すべての数字を書き出すことが現実的ではないほど巨大になります。
3↑↑3ならまだ数字として書ける
上矢印2本の増え方をもう少し追うため、数字を少し小さくしてみます。
3↑↑3＝3^(3³)
3³＝27なので、
3↑↑3＝3²⁷＝7,625,597,484,987
です。
約7兆6,256億という大きさですが、まだ10進法ですべての数字を書けます。
次の
3↑↑4
では、
3↑↑4＝3^(3^(3³))
となります。
先ほど3³＝27なので、
3↑↑4＝3^(3²⁷)
さらに3²⁷＝7,625,597,484,987ですから、
3↑↑4＝3^7,625,597,484,987
となります。
3↑↑3から3↑↑4へ1段増えただけで、「約7兆」という数字が、今度は3の指数そのものとして使われます。
矢印が3本になると一気に巨大になる
次に、
3↑↑↑3
を考えます。
これは、
3↑↑(3↑↑3)
を意味します。
先ほどの3↑↑3は7,625,597,484,987なので、今度は3を7兆個以上積み上げた高さの累乗の塔を考えることになります。上矢印が1本増えるだけでも、数の増え方は大きく変わります。
そして、グラハム数を作る最初の値g₁はさらに上です。
g₁＝3↑↑↑↑3
ここでは矢印が4本になります。
無量大数と比べてもまだ入口よりはるか手前
日本語で「非常に大きな数」の代表として知られるのが無量大数（むりょうたいすう）です。現在よく使われる命数法では 10⁶⁸、つまり1の後ろに0が68個並ぶ数として扱われます。歴史的な命数法の違いから別の値とする資料もありますが、ここでは一般的な10⁶⁸として比較します。
10⁶⁸だけでも途方もない数ですが、上矢印表記の中で見ると位置関係が分かりやすくなります。
3↑↑3＝7,625,597,484,987
なので、これは無量大数より小さい数です。
ところが、
3↑↑4＝3^(7,625,597,484,987)
になると、無量大数10⁶⁸をはるかに上回ります。
つまり一般的な無量大数を使えば、
3↑↑3 ＜ 無量大数 ＜ 3↑↑4
という関係になります。
それに対して、グラハム数の最初の値は、
g₁＝3↑↑↑↑3
です。無量大数は十分に巨大ですが、グラハム数では最初のg₁へ到達するよりはるか前の段階で追い越されます。
しかもグラハム数は、このg₁で終わりません。
g₁はまだ64段階の最初
次のg₂では、3と3の間にg₁本の上矢印を並べるという規則を使います。
つまり、
g₂＝3↑…↑3
となり、↑の本数そのものがg₁です。
さらにg₃では矢印をg₂本、g₄ではg₃本というように、直前にできた巨大な数を次の「矢印の本数」として使います。
数式では、
g₁＝3↑↑↑↑3
gₖ＝3↑^(gₖ₋₁)3 （k≧2）
と定義されます。
g₁から始め、この規則でg₆₄まで全64段階を定めた
G＝g₆₄
がグラハム数です。
最初のg₁だけでも通常の指数表記では扱いにくい規模ですが、その値を次の段階では「矢印を何本使うか」という数として利用します。こうした反復的な規則によって、全桁を書き出せないほど巨大な数でも一つの整数として定義できます。
宇宙を使っても全桁を書ききれない？
グラハム数については、「宇宙にも書ききれない」と説明されることがあります。
これは、グラハム数そのものと宇宙の大きさを直接比べているわけではありません。10進法の各桁を物理的に記録すると仮定した場合のたとえです。
2025年に掲載されたグラハム数の研究では、数字1桁が1プランク体積ほどしか場所を取らないと仮定しても、観測可能な宇宙ではグラハム数の全桁を収められないと説明されています。
ただし、これはプランク体積が実際に「数字1桁を記録できる物理的な最小単位」という意味ではありません。桁数がどれほど巨大なのかを比較するために置かれた仮定です。
それでもグラハム数は有限です。「物理的に全桁を書き出せないこと」と「無限であること」は別で、グラハム数には最後の桁も存在します。
全桁は書けなくても末尾10桁は分かっている
グラハム数の全体を10進法で書き出すことはできなくても、数の性質を利用すれば末尾の数字を求めることができます。
グラハム数の末尾10桁は、
2464195387
です。さらに2025年には、グラハム数の右端で安定する桁がどこまで続くのか、その性質を厳密に扱った研究も発表されています。
一方、十進法で表したときの先頭1桁は、2025年の研究時点でも未解決とされています。
全体を書き出せないだけでなく、一つの整数の右端について分かっていることと、左端について分かっていることにも大きな違いがあります。
元の問題ではグラハム数より小さい上限が見つかっている
グラハム数が有名になったあとも、元になった幾何学的ラムゼー問題の研究は続きました。
2008年の研究では、条件を必ず満たす最小の次元が13以上であることが示されています。
ただし「13以上」は、答えが13だと判明したという意味ではありません。12以下ではないことが分かったという下限であり、13次元なら必ず条件を満たすと証明されたわけではありません。
一方、上側からも範囲は大幅に縮められてきました。
2014年に掲載された研究では、求める最小の次元が
2↑↑↑6より小さい
ことが示されています。これでも日常的な感覚では途方もない巨大数ですが、グラハム数と比べればはるかに小さな上限です。
さらに2019年に公開され、2020年に改訂された研究プレプリントでは、
2↑↑↑5より小さい
という上限が示されています。
このプレプリントまで含めると、求める最小の次元は13以上、2↑↑↑5未満の範囲にあることになります。左側の13は「これより小さくない」という下限で、2↑↑↑5は「ここまで大きくなる前には条件を必ず満たす」という上限です。
グラハム数は歴史的に有名な上限ですが、元の問題については、その後の研究によって上限が大幅に小さくなっています。
Q&A
まとめ
グラハム数は、世界最大の数でも無限でもありません。ラムゼー理論に関係する数学上の問題から知られるようになった、明確に定義できる巨大な有限整数です。
一般に10⁶⁸とされる無量大数も非常に大きな数ですが、3↑↑4の段階ですでに無量大数を超えます。それに対してグラハム数は、最初のg₁が3↑↑↑↑3で、さらに直前の値を次の上矢印の本数として使いながらg₆₄まで進みます。
元の問題では、その後もっと小さな上限も得られています。それでもグラハム数は、有限の整数であっても、人間が全桁を書き出すことさえできないほど巨大になり得ることを実感できる代表的な巨大数です。
参考情報
- Graham, R. L., & Rothschild, B. L. (1971). Ramsey’s theorem for n-parameter sets. Transactions of the American Mathematical Society.
- Knuth, D. E. (1976). Mathematics and Computer Science: Coping with Finiteness. Science.
- Barkley, J. (2008). Improved lower bound on an Euclidean Ramsey problem. arXiv:0811.1055.
- Lavrov, M., Lee, M., & Mackey, J. (2014). Improved upper and lower bounds on a geometric Ramsey problem. European Journal of Combinatorics.
- Lipka, E. (2019). Further improving of upper bound on a geometric Ramsey problem. arXiv:1905.05617.
- Ripà, M. (2025). Graham’s number stable digits: An exact solution. Notes on Number Theory and Discrete Mathematics.
- 国立国会図書館 レファレンス協同データベース「無量大数」に関するレファレンス事例
