10年ほど前なんですが『数の辞典』(書名うろ覚え)という本を読みました。この本は小さな数字から始まって、大きな数字について解説してあったものと記憶しています。
最後の方は、グーゴル数やグーゴルプレックスなどが来て、スクイーズ数などが出ていました。
で、もっとも大きな数としてあげられていたのが、ある博士が考えたとかいう表記による数でした。
それが確か、「3↑↑3」のような表記法だと思ったのですが、ほとんど覚えていません。
前置きが長くなりましたが、その表記法と内容、考えた人間について知りたいです。
できれば、日本語の参考文献、URL等のリファレンスも示していただけるとありがたいです。
またこれを超える表記法がその後出ていたら、教えていただきたいです。
また関連して質問なのですが、現在、数学の証明等に使われた最大の数はどれくらいのものなのでしょうか?
スクイーズ数より大きいらしいと言う情報は得ています。
変な質問になってしまいましたが、ご存知の方よろしくお願いいたします。
No.3ベストアンサー
- 回答日時:
三たび、Stomachmanです。
Stomachmanの本棚を探し回ったら、ありました。ありました。なんだ、無理して思い出さなくてもよかったんだ...
David Wells「数の事典」東京図書1987(原著:Curious and Interesting Numbers, Penguin Books,1986)
もうひとつ、数を小さい順に解説している本がありまして、
Francois Le Lionnais(リヨネ)「何だ この数は?」東京図書1989(原著:Les Nombres Remarquables, HERMANN, 1983)
こちらの方が原著は古いですね。
ともかく、東京図書に訊けば、同じような本がまだまだあるのかも知れません (^o^)
* でかい数についてのさっきのUPは、驚くべし、かなり正確です。「数の事典」に載っているのは
(.....(3↑↑↑↑3個の↑の挟まった、3↑...↑3)個の↑の挟まった、3↑...↑3).....)個の↑の挟まった、3↑...↑3)
というカッコが63段重なるやつです。しかも、この数の出展は他ならぬ Gardnerの"Mathematical Games"(Scientific American, 1977) だと書いてあります!!
これです、これです!
いやー、すっきりしました。ある程度調べてはみたものの書名がうろ覚えだったせいか見つからなかったもので… 二冊ともなんとか手に入れたいと思います(^^
しかし途方もない大きさの数ですね。Mathematical Games 記載の数はもはやknuth氏の表記では間に合っていない感がありますねー(^^;
> 定理:3より大きい自然数が存在する。
> 証明: L>0であるから、L+3 > 3。
この手のは出てくるだろうなー、と期待していました :-)
#数学の啓蒙書で章の最後に出てくるようなオチ(^^
ともかくも本当にありがとうございました。
No.1
- 回答日時:
N+N = N × 2
N×N = N^2
の延長として、
N×N をN↑2と書いて、N^(N^(N^(.....^N).....) (Nがn個)を N↑n、そして
N↑NをN↑↑2と書いて、N↑(N↑(....↑N)....) (Nがn個)を N↑↑n、そして
N↑↑NをN↑↑↑2と書いて.....
という記法だったと思います。
N↑↑↑...... ↑N (↑がN↑↑↑↑↑↑↑↑n 個)なんていうのは、また新しいの考えなくちゃいけませんね。
●発明者はあのComputer ScienceのKnuth教授です。
この列は、アッカーマン(Ackermann)関数 A(m,n):
A(0,n) = n+1 (n≧0のとき)
A(m,0) = A(m-1,1) (m≧1のとき)
A(m,n) = A(m-1,A(m,n-1)) (m≧1, n≧1のとき)
において、mを大きくしていったときに得られます(ちょっとだけ違うけれど)。
A(0,n) = n+1
A(1,n) = n+2
A(2,n) = 2n+3
A(3,n) = 2^(n+3)-3
A(4,n) = 2↑↑(n+3)-3
:
どなたか、A(5,2)をちょっと計算してみます?
●数学の証明に使われた大きい数については、たしかガードナーの「数学パズル」で見た覚えがあるけれど、ラムゼー理論かなんかに出てきた
L = 3↑......↑3 (この↑は3↑......↑3個 (この↑は3↑......↑3個(....... (この↑は3↑3個)......) というカッコが66段(だっけか)入れ子になっている。
みたいな奴でしたねー。うろ覚えですいません。でもこれより大きい数が数学の証明に出てきます。
定理:3より大きい自然数が存在する。
証明: L>0であるから、L+3 > 3。
おあとが宜しいようで。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- Excel(エクセル) 【Excel質問】 「本日の日付」から指定条件を満たす営業日経過後の日数を表示させる関数式 3 2022/06/06 23:28
- 日本語 「サ変動詞」(熟語動詞)(仮称)に関する疑問 8 2023/08/03 18:29
- 日本語 「~人」と「~名」の使い分け 2 2022/06/02 11:59
- 文学・小説 横書き小説の数字の表記について 1 2023/01/15 22:05
- その他(データベース) 4進数風なバーコードは何ですか? 2 2022/11/28 23:33
- 英語 口頭での"the following..."の可否等について 6 2022/08/19 01:01
- 日本語 「かかりずらい」「かかりづらい」の表記について 5 2022/07/02 17:10
- 英語 総称的意味の「the+過去分詞」が無冠詞複数形で置き換えることができない理由について 5 2022/08/04 10:14
- 大学受験 娘の大学受験勉強 6 2022/06/30 19:58
- Visual Basic(VBA) Powerpointでランダムな数字の結果を表示するマクロ 2 2023/08/04 10:04
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
0.9999…=1がわからない
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
どっちと思いますか
-
三角形の合同条件
-
じゃらんで旅行予約をしたので...
-
夫が亡くなった後の義理家族と...
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
コラッツ予想が証明できた
-
素数の平方根は無理数である。
-
直角三角形の性質
-
3の倍数であることの証明
-
素数の積に1を加算すると素数で...
-
姻族関係終了届で継子とも縁切...
-
有理数が可算無限であることの証明
-
数学の等周定理、等周問題と呼...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
図形の証明は、日常で役立ちま...
-
数学の証明問題で、「証明終了」...
-
直角三角形の性質
-
大学の二次試験で・・・
-
3,4,7,8を使って10を作る
-
素数の性質
-
円周率=∞の証明
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
なぜ独身だと養子が持てないの...
-
群論に関して, 明らかとしか思...
-
よって・ゆえに・したがって・∴...
-
Wikipedia って便利ですね。 よ...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
再婚、奨学金
-
婿養子です、妻と離婚して妻の...
-
正解が一つとは限らない数学の...
おすすめ情報