日常生活で遭遇する単純な数や金融取引をはるかに超える大きな数は、さまざまな分野で重要な役割を果たします。これらの拡張的な量は、数学、宇宙論、暗号学、統計力学で顕著に現れます。これらは大きな正の整数として現れることが多いですが、異なるコンテキストでは他の形( P進数など)をとることもあります。巨大数研究は、これらの巨大な数値実体の命名規則と特性を詳しく調べます。[1] [2]
日常の世界では
科学的記法は、科学研究で遭遇する膨大な数値を扱うために考案されました。例えば、1.0 × 109では、10億、つまり1の後に9つのゼロが続く1,000,000,000を表します。逆に、逆数1.0 × 10−9は 10 億分の 1 を表し、0.000 000 001 に相当します。これらすべてのゼロを明示的に書き出す代わりに 10 9 を使用すると、読者は数の大きさを把握するために長い一連のゼロを数える手間と潜在的な混乱を回避できます。さらに、10 の累乗に基づく科学的記数法の他に、短いスケールで大きな数を表す体系的な命名法が存在します。
日常の現実世界の物体を表す大きな数値の例には、次のものがあります。
- 人体の細胞数(推定3.72 × 1013)、または37.2兆[3]
- コンピュータのハードディスク上のビット数(2024年現在、通常は約10 13、1~2 TB)、または10兆[アップデート]
- 人間の脳内の神経細胞の接続数(推定10 14)、つまり100兆
- アボガドロ定数は、1モルに含まれる「基本的実体」(通常は原子または分子)の数です。12グラムの炭素12に含まれる原子の数は およそ6.022 × 10 23、つまり602.2セクスティオン。
- 地球上の全生物群におけるDNA 塩基対の総数は、地球規模の生物多様性の近似値として、次のように推定される。(5.3 ± 3.6) × 10 37、または53±36 10兆[4] [5]
- 地球の質量は約4×10 51 個、つまり460兆個の核子で構成されている。
- 観測可能な宇宙に存在する原子の推定数(10 80)、または100厘
- チェスのゲームツリーの複雑さの下限は「シャノン数」(約10の120乗と推定)とも呼ばれ、1ノベムトリギントリオン[6]
- このシャノン数の値は標準チェスのものであることに注意してください。Grant Acedrex、Tai Shogi、Taikyoku Shogiなどのボードが大きいチェスのバリエーションでは、さらに大きな値になります。
天文学的
天文学と宇宙論の広大な領域では、長さと時間に関する驚くべき数字に遭遇します。たとえば、一般的なビッグバンモデルによると、私たちの宇宙の年齢は約138億年(4.355 × 10^17秒に相当)です。観測可能な宇宙は信じられないほどの930億光年(約8.8 × 10^26メートル)に広がり、約5 × 10^22個の恒星があり、約1250億個の銀河で構成されています(ハッブル宇宙望遠鏡による観測)。大まかに見積もると、観測可能な宇宙には約10^80個の原子があります。[7]
カナダのアルバータ大学の物理学者 ドン・ペイジによれば、これまで物理学者によって明示的に計算された最も長い有限時間は
これは、観測可能か否かに関わらず、宇宙全体の質量と推定されるブラックホールを含む仮想の箱の量子状態の推定ポアンカレ再発時間のスケールに対応し、インフレーションの質量が10 −6プランク質量であると仮定している。[8] [9]この時間は、ポアンカレ再発に従う統計モデルを想定している。この時間についての非常に単純化された考え方は、統計力学の特性により宇宙の歴史が任意の回数繰り返されるモデルである。これは、宇宙が初めて現在の状態にいくらか類似する(「類似する」の合理的な選択の場合)時間スケールである。
組み合わせプロセスにより、驚くほど大きな数が発生します。 固定されたオブジェクト セットの 順列を定量化する階乗関数は、オブジェクトの数が増加するにつれて指数関数的に増加します。スターリングの公式は、この急速な増加を正確に漸近的に表現します。
統計力学では、組み合わせ数は非常に大きな値に達するため、対数を使用して表現されることがよくあります。
ゲーデル数や、アルゴリズム情報理論におけるビット列の同様の表現は膨大であり、中程度の長さの数学的ステートメントの場合でも膨大です。驚くべきことに、特定の病的な数は、典型的な数学的命題に関連付けられたゲーデル数さえも上回ります。
論理学者ハーヴェイ・フリードマンは、クラスカルの木定理やロバートソン・シーモア定理に関連した研究を含め、非常に大きな数の研究に多大な貢献をしました。
「何十億も」
コスモスの視聴者が「百万」と「十億」を区別できるように、天文学者のカール・セーガンは「b」を強調した。しかし、セーガンは「何十億、何十億」とは言わなかった。このフレーズとセーガンを一般の人が結びつけたのは、トゥナイト・ショーの寸劇からである。セーガンの影響をパロディにして、ジョニー・カーソンは「何十億、何十億」とジョークを飛ばした。[10]しかし、このフレーズは現在ではユーモラスな架空の数字、セーガンとなっている。 セーガン単位を参照。
例
- グーゴル=
- centillion =または、数値命名システムによって異なります
- millinillion =または、数値命名システムによって異なります
- 最大のスミス数= (10 1031 −1) × (10 4594 + 3 × 102297 + 1) 1476 × 103 913 210
- 知られている最大のメルセンヌ素数= [11]
- グーゴルプレックス=
- スキューズ数:最初の数はおよそ、2番目の数は
- グラハム数は、べき乗タワー(テトレーション)を使用しても表すことができる数よりも大きい。ただし、クヌースの上矢印表記のレイヤーを使用して表すことができます。
- クラスカルの木定理はグラフに関する数列である。TREE(3)はグラハム数より大きい。
- ラヨ数は、アグスティン・ラヨにちなんで名付けられた大きな数であり、最大の命名された数であると主張されています。この数は、2007 年 1 月 26 日にMITで行われた「大きな数の決闘」で最初に定義されました。
標準化された表記体系
非常に大きな数字を表記する標準化された方法を使用すると、数字を昇順で簡単に並べ替えることができ、ある数字が他の数字よりどのくらい大きいかを正確に把握できます。
科学的記数法で数値を比較する場合、たとえば 5×10 4と 2×10 5を比較する場合、最初に指数を比較します。この場合は 5 > 4 なので、 2×10 5 > 5× 10 4となります。指数が等しい場合は仮数 (または係数) を比較する必要があります。したがって、 5 > 2 なので 5×10 4 > 2×10 4となります。
10 を底とするテトレーションは、数 10 の累乗タワーである数列 を与えます。ここで、 は関数 の累乗を表します(関数 は、グーゴルプレックスのように接尾辞「-plex」でも表されます。グーゴル族を参照してください)。
これらは非常に丸い数字で、それぞれが一般的な意味で大きさの桁を表します。数字の大きさを指定する大まかな方法は、このシーケンス内のどの 2 つの数字の間にあるかを指定することです。
より正確には、間の数は の形式、すなわち、10 のべき乗タワーと、おそらく科学的記数法による という形式で表すことができます。たとえば、 は、 との間の数です(の場合は であることに注意してください)。(テトレーションの実数の高さへの拡張も参照してください。)
したがってグーゴルプレックスは です。
別の例:
- ( ~の間)
したがって、数の「大きさの桁数」(通常意味するよりも大きなスケール)は、1 から 10 までの数を得るために を何回取る必要があるか( n )によって特徴付けることができます。したがって、数はから の間です。説明したように、数のより正確な記述では、この数が 1 から 10 の間、またはその前の数(対数を 1 回少なく取る)が 10 から 10 10の間、または次の数が 0 から 1 の間である ことも指定します。
ご了承ください
つまり、数xが表現するには大きすぎる場合、 x をlog 10 xに置き換えてべき乗タワーを 1 つ大きくするか、整数の log 10の下位タワー表現からx を求めることができます。べき乗タワーに 10 以外の数が 1 つ以上含まれる場合、2 つのアプローチは異なる結果をもたらします。これは、べき乗タワーを下部に 10 を配置して拡張することと、上部に 10 を配置して拡張することとは同じではないという事実に対応しています (ただし、もちろん、べき乗タワー全体が 10 以外の同じ数のコピーで構成されている場合も同様のことが当てはまります)。
塔の高さが大きい場合、大きな数値のさまざまな表現を高さ自体に適用できます。高さがおおよその値でしか与えられていない場合は、上部に値を与えても意味がないため、二重矢印表記 (例) を使用できます。二重矢印の後の値がそれ自体非常に大きな数値である場合、上記を再帰的にその値に適用できます。
例:
- ( ~の間)
- ( ~の間)
上記と同様に、 の指数が正確に与えられていない場合は、右側に値を与えることは意味をなさないため、 の累乗表記を使用する代わりに、の指数にを加算して、例えば を取得することも可能です。
の指数が大きい場合、大きな数のさまざまな表現をこの指数自体に適用できます。この指数が正確に与えられていない場合、右側に値を与えることは意味をなさないため、 の累乗表記を使用する代わりに、3 つの矢印演算子 (例 ) を使用できます。
三重矢印演算子の右側の引数が大きい場合、上記が適用され、例えば(との間) が得られます。これは再帰的に実行できるため、三重矢印演算子のべき乗を得ることができます。
次に、 と書かれた、より多くの矢印を持つ演算子に進むことができます。
この表記法をハイパー演算子およびコンウェイの連鎖矢印表記法と比較してください。
- = ( a → b → n ) = ハイパー( a , n + 2, b )
最初の利点は、bの関数として考えた場合、この関数の累乗の自然な表記法が存在することです ( n矢印を書き出すときと同じように)。たとえば、次のようになります。
- = ( 10 → ( 10 → ( 10 → b → 2 ) → 2 ) → 2 )
特別な場合にのみ、長いネストされたチェーン表記が簡略化されます。
- = ( 10 → 3 → 3 )
bも非常に大きくなる可能性があるため、一般には、 nの値が減少する累乗のシーケンス(正確に指定された整数指数を使用) を持つ数と、その末尾に通常の科学的記数法の数値を付けて代わりに記述できます。a が大きすぎて正確に指定できない場合は、 の値が1 増加し、 の右側にあるすべての値が書き換えられます。
数を近似的に記述する場合、 nの値の降順からの偏差は必要ありません。たとえば、、およびです。したがって、数x が非常に大きい場合、ある意味でxと 10 xが「ほぼ等しい」という、やや直感に反する結果が得られます(大きな数の算術については、以下も参照)。
上向き矢印の上付き文字が大きい場合、大きな数値のさまざまな表現をこの上付き文字自体に適用できます。この上付き文字が正確に指定されていない場合は、演算子を特定の累乗にしたり、作用する値を調整したりしても意味がありません。代わりに、右側に標準値 (たとえば 10) を使用するだけで、式は近似値のnで に簡略化されます。このような数値の場合、上向き矢印表記を使用する利点はもはや当てはまらないため、代わりにチェーン表記を使用できます。
上記は、このnに対して再帰的に適用できるため、最初の矢印の上付き文字などで 表記法が得られます。または、ネストされたチェーン表記法になります。例:
- (10 → 10 → (10 → 10 → ) ) =
レベルの数が多すぎて扱いにくい場合は、このレベルの数を数字で表記する表記法が使用されます (矢印をたくさん書く代わりに矢印の上付き文字を使用するなど)。関数= (10 → 10 → n ) を導入すると、これらのレベルはfの関数の累乗となり、 mが正確に与えられ、n が正確に与えられても与えられなくてもよい整数である形式で数値を記述できるようになります (例: ) 。nが大きい場合は、上記のいずれを使用してもそれを表現できます。これらの数値のうち「最も丸い」数値は、 f m (1) = (10→10→ m →2)の形式です。例:
グラハム数の定義と比較してください。グラハム数では、10 の代わりに 3 が使用され、矢印のレベルは 64 で、一番上に 4 があります。したがって、 ですが、 でもあります。
mが大きすぎて正確に表せない場合は、 n = 1などの固定のnを使用し、上記をmに再帰的に適用することができます。つまり、上向き矢印のレベルの数自体が上付き上向き矢印表記法で表されます。fの機能的累乗表記を使用すると、 fの複数のレベルが得られます。関数を導入すると、これらのレベルはgの機能的累乗になり、 mが正確に与えられ、 n が正確に与えられる場合と与えられない場合がある整数である形式で数値を記述できるようになります。たとえば、 (10→10→ m →3) = g m (1) の場合です。nが大きい場合は、上記のいずれかを使用してそれを表現できます。同様に、関数hなどを導入できます。このような関数が多数必要な場合は、毎回新しい文字を使用する代わりに、たとえば下付き文字として番号を付けることもできます。これにより、kとm が正確に与えられ、 n が正確に与えられる場合と与えられない場合がある整数である形式の番号が存在します。上記のfにk =1 、gにk =2などを使用すると、(10→10→ n → k ) =が得られます。nが大きい場合は、上記のいずれかを使用して表すことができます。こうして、内側に行くにつれてk が減少するネスト形式が得られ、内部引数として、 nの値が減少する累乗のシーケンス(これらの数値はすべて正確に整数に指定されます) があり、最後に通常の科学的記数法の数値が付きます。
kが大きすぎて正確に指定できない場合、関係する数は、近似値のnを使用して=(10→10→10→ n ) と表すことができます。数列=(10→ n ) から数列 =( 10→10→ n )に進むプロセスは、後者から数列=(10→10→10→ n ) に進むプロセスと非常によく似ていることに注意してください。これは、連鎖表記法で連鎖に要素 10 を追加する一般的なプロセスです。このプロセスは再度繰り返すことができます (前のセクションも参照)。この関数の後続のバージョンに番号を付ける数は、関数 を使用して記述できます。関数は、最も重要な数qとして辞書式順序でネストされますが、 qとkについては降順です。内側の引数として、 nの値が減少する累乗のシーケンスが生成されます(これらの数はすべて正確に整数に指定されます)。最後に通常の科学的記法の数が続きます。
コンウェイ連鎖矢印表記法で書き表すには大きすぎる数の場合、そのサイズは連鎖の長さで記述できます。たとえば、連鎖内の要素 10 のみを使用します。つまり、10、10→10、10→10→10、... というシーケンス内の位置を指定できます。シーケンス内の位置が大きい場合でも、同じ手法を再度適用できます。
例
10進数表記で表現できる数値:
- 2 2 = 4
- 2 2 2 = 2 ↑↑ 3 = 16
- 3 3 = 27
- 4 4 = 256
- 5 5 = 3,125
- 6 6 = 46,656
- = 2 ↑↑ 4 = 2↑↑↑3 = 65,536
- 7 7 = 823,543
- 10 6 = 1,000,000 = 100万
- 8 8 = 16,777,216
- 9 9 = 387,420,489
- 10 9 = 1,000,000,000 = 10億
- 10 10 = 10,000,000,000
- 10 12 = 1,000,000,000,000 = 1兆
- 3 3 3 = 3 ↑↑ 3 = 7,625,597,484,987 ≈ 7.63 × 10 12
- 10 15 = 1,000,000,000,000,000 = 1兆 = 1千兆
- 10 18 = 1,000,000,000,000,000,000 = 10億 = 1京
科学的記数法で表現できる数値:
- 観測可能な宇宙の原子のおおよその数= 10 80 = 100,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000
- グーゴル = 10 100 = 10,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000, 000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000
- 4 4 4 = 4 ↑↑ 3 = 2 512 ≈ 1.34 × 10 154 ≈ (10 ↑) 2 2.2
- 観測可能な宇宙の体積を構成するプランク体積のおおよその数= 8.5 × 10 184
- 5 5 5 = 5 ↑↑ 3 = 5 3125 ≈ 1.91 × 10 2184 ≈ (10 ↑) 2 3.3
- 6 6 6 = 6 ↑↑ 3 ≈ 2.66 × 10 36,305 ≈ (10 ↑) 2 4.6
- 7 7 7 = 7 ↑↑ 3 ≈ 3.76 × 10 695,974 ≈ (10 ↑) 2 5.8
- 8 8 8 = 8 ↑↑ 3 ≈ 6.01 × 10 15,151,335 ≈ (10 ↑) 2 7.2
- 、52番目で、2024年10月時点で[update]最大のメルセンヌ素数である。[11]
- 9 9 9 = 9 ↑↑ 3 ≈ 4.28 × 10 369,693,099 ≈ (10 ↑) 2 8.6
- 10 10 10 =10 ↑↑ 3 = 10 10,000,000,000 = (10 ↑) 3 1
(10 ↑)nk表記 で 表現できる数:
- グーゴルプレックス =
- 10 ↑↑5 = (10↑) 51
- 3 ↑↑ 6 ≈ (10 ↑) 5 1.10
- 2 ↑↑ 8 ≒ (10 ↑) 5 4.3
- 10 ↑↑6 = (10↑) 61
- 10 ↑↑↑ 2 = 10 ↑↑ 10 = (10 ↑) 10 1
- 2 ↑↑↑↑ 3 = 2 ↑↑↑ 4 = 2 ↑↑ 65,536 ≈ (10 ↑) 65,533 4.3は10 ↑↑ 65,533と10 ↑↑ 65,534の間にあります
大きな数字:
- 3 ↑↑↑ 3 = 3 ↑↑ (3 ↑↑ 3) ≈ 3 ↑↑ 7.6 × 10 12 ≈ 10 ↑↑ 7.6 × 10 12は (10 ↑↑) 2 2 と (10 ↑↑) 2 3の間にあります。
- = ( 10 → 3 → 3 )
- = ( 10 → 4 → 3 )
- = ( 10 → 5 → 3 )
- = ( 10 → 6 → 3 )
- = ( 10 → 7 → 3 )
- = ( 10 → 8 → 3 )
- = ( 10 → 9 → 3 )
- = ( 10 → 2 → 4 ) = ( 10 → 10 → 3 )
- グラハム数の定義における最初の項g 1 = 3 ↑↑↑↑ 3 = 3 ↑↑↑ (3 ↑↑↑ 3) ≈ 3 ↑↑↑ (10 ↑↑ 7.6 × 10 12 ) ≈ 10 ↑↑↑ (10 ↑↑ 7.6 × 10 12 ) は、(10 ↑↑↑) 2 2 と (10 ↑↑↑) 2 3の間です(グラハム数#大きさ を参照)
- = (10 → 3 → 4)
- = ( 4 → 4 → 4 )
- = ( 10 → 4 → 4 )
- = ( 10 → 5 → 4 )
- = ( 10 → 6 → 4 )
- = ( 10 → 7 → 4 )
- = ( 10 → 8 → 4 )
- = ( 10 → 9 → 4 )
- = ( 10 → 2 → 5 ) = ( 10 → 10 → 4 )
- ( 2 → 3 → 2 → 2 ) = ( 2 → 3 → 8 )
- ( 3 → 2 → 2 → 2 ) = ( 3 → 2 → 9 ) = ( 3 → 3 → 8 )
- ( 10 → 10 → 10 ) = ( 10 → 2 → 11 )
- ( 10 → 2 → 2 → 2 ) = ( 10 → 2 → 100 )
- ( 10 → 10 → 2 → 2 ) = ( 10 → 2 → ) =
- グラハム数の定義における2番目の項、g 2 = 3 ↑ g 1 3 > 10 ↑ g 1 – 1 10。
- ( 10 → 10 → 3 → 2 ) = (10 → 10 → (10 → 10 → ) ) =
- g 3 = (3 → 3 → g 2 ) > (10 → 10 → g 2 – 1) > (10 → 10 → 3 → 2)
- g 4 = (3 → 3 → g 3 ) > (10 → 10 → g 3 – 1) > (10 → 10 → 4 → 2)
- ...
- g 9 = (3 → 3 → g 8 ) は (10 → 10 → 9 → 2) と (10 → 10 → 10 → 2) の間にあります。
- (10→10→10→2)
- g 10 = (3 → 3 → g 9 ) は (10 → 10 → 10 → 2) と (10 → 10 → 11 → 2) の間にあります。
- ...
- g 63 = (3 → 3 → g 62 ) は (10 → 10 → 63 → 2) と (10 → 10 → 64 → 2) の間にあります。
- ( 10 → 10 → 64 → 2 )
- グラハム数g 64 [12]
- ( 10 → 10 → 65 → 2 )
- (10→10→10→3)
- (10→10→10→4)
- (10 → 10 → 10 → 10 )
- ( 10 → 10 → 10 → 10 → 10 )
- ( 10 → 10 → 10 → 10 → 10 → 10 )
- ( 10 → 10 → 10 → 10 → 10 → 10 → 10 → ... → 10 → 10 → 10 → 10 → 10 → 10 → 10 → 10 → 10 ) ただし「10」は ( 10 → 10 → 10 ) 個ある
その他の表記
非常に大きな数値を表す表記法:
- クヌースの上矢印記法/ハイパー演算子/アッカーマン関数(テトレーションを含む)
- コンウェイ連鎖矢印記法
- シュタインハウス・モーザー表記法。大きな数の構築方法の他に、多角形を使用したグラフィカル表記法も含まれます。同じ関数に対して、より一般的な関数表記法などの代替表記法を使用することもできます。
- 急速に成長する階層
これらの表記は本質的には整数変数の関数であり、その整数とともに非常に急速に増加します。大きな整数を引数としてこれらの関数を適用することで、さらに急速に増加する関数を簡単に再帰的に構築できます。
垂直漸近線を持つ関数は、関数が非常に急速に増加するにもかかわらず、非常に大きな数を定義するのに役立ちません。漸近線に非常に近い引数を定義する必要があります。つまり、非常に小さな数を使用します。これを構築することは、逆数などの非常に大きな数を構築することと同じです。
基準値の比較
次の図は、10 とは異なる基数、つまり 100 を基数にした場合の効果を示しています。また、数値の表現と算術も示しています。
基数が 10 の場合、指数は 2 倍になります。
、同上。
、最高指数は2倍よりわずかに大きくなります(log 10 2増加)。
- (したがって、nが大きい場合は、 は「ほぼ等しい」と言うのが妥当と思われます)
- (比較してください。したがって、nが大きい場合は、 は「ほぼ等しい」と言ってもよいでしょう)
- (比較する)
- (比較する)
- (比較してください。nが大きい場合、これは「ほぼ」等しいです)
正確さ
数 の場合、 nが 1 単位変化すると、結果は 10 倍変わります。 のような数では、有効数字を使用して適切に丸めた結果が 6.2 であるため、指数の実際の値は 50 少なくなるか 50 多くなる可能性があります。したがって、結果は 1 倍大きすぎるか 1 倍小さすぎる可能性があります。これは非常に精度が低いように思えますが、このような大きな数の場合は妥当であると考えられます (大きな数では大きな誤差が「比較的小さい」ため、許容できる場合があります)。
非常に大きな数字の場合
非常に大きな数の近似値の場合、相対誤差は大きくなる可能性がありますが、それでも「大きさが近い」と見なしたい場合があります。たとえば、次の数を考えてみましょう。
- そして
相対誤差は
相対誤差は大きいです。ただし、対数の相対誤差も考慮できます。この場合、対数 (底 10) は 10 と 9 なので、対数の相対誤差は 10% だけです。
重要なのは、指数関数は相対誤差を大きく拡大するということです。aとbの相対誤差が小さい場合、
- そして
相対誤差は大きくなり、
- そして
相対誤差はさらに大きくなります。そこで問題になるのは、どのレベルの反復対数で2つの数値を比較するかということです。
- そして
「大きさが近い」。これら 2 つの数値間の相対誤差は大きく、それらの対数間の相対誤差も依然として大きい。ただし、2 回目の反復対数の相対誤差は小さい。
- そして
このような反復対数の比較は、例えば解析的数論では一般的です。
クラス
大きな数を比較するという問題に対する解決策の1つは、ロバート・ムナフォ[13]が考案したシステムのような、平均的な人の知覚の異なる「レベル」に基づく数のクラスを定義することです。クラス0(0から6までの数)は、簡単に瞬時に表せる数、つまり日常生活で非常に頻繁に現れ、ほとんど即座に比較できる数を含むように定義されています。クラス1(6から1,000,000=10 6までの数)は、10進表現が簡単に瞬時に表せる数、つまり濃度ではなく、10進展開を考慮すれば「一目見ただけで」簡単に比較できる数を含むように定義されています。
これに続く各クラスは、この 10 を底とする累乗を繰り返すことで定義され、人間が区別できない別の「反復」の効果をシミュレートします。たとえば、クラス 5 は、10 10 10 10 6から 10 10 10 10 10 6までの数値を含むように定義されています。これらの数値は、X が人間にとってX 2 と区別できなくなる数値です[14] (このようなXの反復対数を取ると、最初に log( X ) と 2log( X ) が区別できず、次に log(log( X )) と 1+log(log( X ) ) が区別できず、最後に長さが subitized できない非常に長い 10 進展開になります)。
近似演算
非常に大きな数に対して実行される通常の算術演算に関連する一般的なルールがいくつかあります。
- 2 つの非常に大きな数の合計と積は、どちらも大きい方の数に「ほぼ」等しくなります。
したがって:
- 非常に大きな数を非常に大きな累乗すると、次の 2 つの値のうち大きい方に「ほぼ」等しくなります。最初の値と 10 の 2 番目の累乗です。たとえば、非常に大きな数の場合、 (メガの計算を参照) およびが存在します。したがって、表 を参照してください。
ますます速く増加するシーケンスを体系的に作成する
厳密に増加する整数列/関数( n ≥1) が与えられた場合、より速く増加する列を生成することが可能です(ここで、上付き文字n はn番目の関数のべき乗を表します)。 とすることで、これを任意の回数繰り返すことができ、各列はその前の列よりもはるかに速く増加します。したがって、 を定義することができ、これは有限kに対してどの列よりもはるかに速く増加します(ここで、 ω は最初の無限順序数で、すべての有限数 k の極限を表します)。これが関数の急増加階層の基礎であり、インデックスの添え字はますます大きな順序数に拡張されます。
たとえば、 f 0 ( n ) = n + 1から始めます。
- f 1 ( n ) = f 0 n ( n ) = n + n = 2 n です。
- f 2 ( n ) = f 1 n ( n ) = 2 n n > (2 ↑) n(n ≥ 2の場合)(クヌースの上矢印表記を使用)
- f 3 ( n ) = f 2 n ( n ) > (2 ↑) n n ≥ 2 ↑ 2 n (n ≥ 2の場合)
- f k +1 ( n ) > 2 ↑ k n(n ≥ 2、k < ω)
- f ω ( n ) = f n ( n ) > 2 ↑ n – 1 n > 2 ↑ n − 2 ( n + 3) − 3 = A ( n , n ) ( n ≥ 2の場合)、ここでAはアッカーマン関数(f ωはその単項バージョン)
- f ω+1 (64) > f ω 64 (6) >グラハム数(= g 0 = 4、g k +1 = 3 ↑ g k 3で定義される数列のg 64)
- これは、 f ω ( n ) > 2 ↑ n – 1 n > 3 ↑ n – 2 3 + 2であることに注目すると、f ω ( g k + 2) > g k +1 + 2となる。
- f ω ( n ) > 2 ↑ n – 1 n = (2 → n → n -1) = (2 → n → n -1 → 1) (コンウェイ連鎖矢印表記法を使用)
- f ω+1 ( n ) = f ω n ( n ) > (2 → n → n -1 → 2) (g k ( n ) = X → n → kならば、X → n → k +1 = g k n (1) であるため)
- f ω+ k ( n ) > (2 → n → n -1 → k +1) > ( n → n → k )
- f ω2 ( n ) = f ω+ n ( n ) > ( n → n → n ) = ( n → n → n → 1)
- f ω2+ k ( n ) > ( n → n → n → k )
- f ω3 ( n ) > ( n → n → n → n )
- f ω k ( n ) > ( n → n → ... → n → n ) ( k +1個のnの連鎖)
- f ω 2 ( n ) = f ω n ( n ) > ( n → n → ... → n → n ) ( n +1個の nの連鎖)
いくつかの計算不可能なシーケンスでは
ビジービーバー関数Σは、どの計算可能関数よりも速く増加する関数の例である。比較的小さな入力に対してもその値は膨大である。n = 1、2、3、4、5に対するΣ( n )の値は、1、4、6、13、4098である[15] ( OEISのシーケンスA028444)。Σ(6)は知られていないが、少なくとも10↑↑15である。
無限の数
上で説明した数はすべて非常に大きいですが、それでもすべて明らかに有限です。数学の特定の分野では、無限数と超限数が定義されています。たとえば、アレフゼロは自然数の無限集合の基数であり、アレフ1は次に大きい基数です。は実数の基数です。連続体仮説として知られる命題です。
参照
参考文献
- ^ ダーリング、デイビッド、バネルジー、アグニジョ(2018-01-01)。奇妙な数学:無限の境界とその先。ハーパーコリンズ。ISBN 978-9352779901。
- ^ Nowlan, Robert A. (2017-04-09). 「第14章: 大きいものと小さいもの」(PDF)。 数学の巨匠たち: 彼らが解決した問題、それがなぜ重要なのか、そしてあなたが知っておくべきこと。Brill Publishers (2019年出版)。 p. 220。ISBN 978-94-6300-892-1。
{{cite book}}: CS1 maint: date and year (link) - ^ ビアンコーニ、エヴァ;ピオベサン、アリソン。ファッチン、フェデリカ。ベラウディ、アリーナ。カサディ、ラファエラ。フラベッティ、フラビア。ヴィターレ、ロレンザ。ペレリ、マリア・キアラ。タッサーニ、シモーネ (2013 年 11 月~12 月) 「人体の細胞数の推定」。人間生物学の年代記。40 (6): 463–471。土井: 10.3109/03014460.2013.807878。hdl :11585/152451。ISSN 1464-5033。PMID 23829164。S2CID 16247166 。
- ^ Landenmark HK 、Forgan DH、Cockell CS(2015年 6月)。「生物圏における総DNA量の推定」。PLOS Biology。13 ( 6):e1002168。doi :10.1371 / journal.pbio.1002168。PMC 4466264。PMID 26066900。
- ^ Nuwer R (2015年7月18日). 「地球上のすべてのDNAを数える」.ニューヨーク・タイムズ. ニューヨーク. ISSN 0362-4331 . 2015年7月18日閲覧。
- ^ シャノン、クロード(1950年3月)。「XXII. チェスをプレイするためのコンピュータプログラミング」(PDF)。哲学雑誌。シリーズ7。41 ( 314)。 2010年7月6日時点のオリジナル(PDF)からアーカイブ。2019年1月25日閲覧。
- ^ 宇宙の原子。Universe Today。2009年7月30日。2013年2月3日閲覧。
- ^ ブラックホールや意識のある存在における情報損失?、ドン・N・ペイジ、「熱核技術と量子重力」 (1995)、 SA・フリング(編)、p.461。数学とその応用に関する講演、第4号、テキサスA&M大学数学部。arXiv :hep-th/9411193。ISBN 0-9630728-3-8。
- ^ グーゴルプレックスの入手方法
- ^ カール・セーガンは、CSICOP 1994 基調講演「驚異と懐疑主義」からさらに疑問を呈している。Skeptical Inquirer 2016 年 12 月 21 日アーカイブ、Wayback Machineより
- ^ ab 「メルセンヌ素数の発見 - 2^136279841 は素数です!」。偉大なインターネット メルセンヌ素数検索。
- ^ 前の値との比較に関して: 、64ステップを4ではなく1から始めると、数字3を10に置き換えることによる効果はより大きくなります。
- ^ 「MROBの大きな数字」www.mrob.com . 2021年5月13日閲覧。
- ^ 「MROBのLarge Numbers(ページ2)」www.mrob.com 。 2021年5月13日閲覧。
- ^ 「[2024年7月2日]「BB(5) = 47,176,870」を証明しました」。The Busy Beaver Challenge。2024年7月2日。2024年7月4日閲覧。
