巨大数探索スレッド14

**１３２人目の素数さん** · 2018/11/09(金) 12:33:03.00

急増加関数なのに○○Functionじゃないのが不思議

**１３２人目の素数さん** · 2018/11/09(金) 14:39:14.76

>>611
ん？って思ったけど戦え数などの計算不可能関数は審査が終わらず殿堂入りということにしてるんだっけな

東方巨大数では単純に大きい計算不可能関数も2で提出されてるので、
大きい巨大数に興味がある人は巨大数wikiの「形式言語解説ブログ」をどうぞ

**１３２人目の素数さん** · 2018/11/09(金) 14:57:39.44

>>612
むしろ、英語の出典がFast growing hierarchyなのに何で日本語だと急増加階層じゃなくて関数なのか
ってかんじ
もしかすると巨大数Wikiになんかの議論があるかもしれない

**１３２人目の素数さん** · 2018/11/09(金) 22:44:29.18

8*27*((1/2-1/8)*(1/3-1/27)-(1/2-1/8)+(1/3-1/27))=7
8*27*((1/2-1/8)*(1/3-1/27)-(1/2-1/8)+(1/3+1/27))=23
8*27*((1/2-1/8)*(1/3-1/27)-(1/2+1/8)+(1/3-1/27))=-47
8*27*((1/2-1/8)*(1/3+1/27)-(1/2+1/8)+(1/3-1/27))=-41
8*27*((1/2-1/8)*(1/3+1/27)-(1/2-1/8)+(1/3+1/27))=29
8*81*((1/2-1/8)*(1/3+1/27)+(1/2-1/8)-(1/3+1/81))=109
8*81*((1/2-1/8)*(1/3-1/27)-(1/2-1/8)+(1/3+1/81))=53
8*9*((1/2-1/8)*(1/3-1/9)-(1/2-1/8)+(1/3+1/9))=11

**１３２人目の素数さん** · 2018/11/09(金) 22:48:23.65

8*9*((1/2-1/8)*(1/3-1/9)-(1/2-1/8)+(1/3-1/9))=-5
8*9*((1/2-1/8)*(1/3-1/9)-(1/2-1/8)-(1/3-1/9))=-37
8*9*((1/2-1/8)*(1/3-1/9)+(1/2-1/8)-(1/3-1/9))=17
8*9*((1/2-1/8)*(1/3-1/9)+(-1/2-1/8)+(1/3-1/9))-23
8*9*((1/2-1/8)*(1/3+1/9)+(-1/2-1/8)+(1/3-1/9))=-17
8*9*((1/4-1/8)*(1/3+1/9)+(-1/4-1/8)+(1/3-1/9))=-7
16*9*((1/4-1/8)*(1/3+1/9)+(-1/4-1/16)+(1/3-1/9))=-5
16*9*((1/4+1/8)*(1/3+1/9)+(-1/4-1/16)+(1/3-1/9))=11

**１３２人目の素数さん** · 2018/11/10(土) 12:30:56.60

いつの間にか「巨大数論第二版(ふぃっしゅっしゅ著)」の第二刷が出てたけど、
このスレ誰一人として触れてないよな……

**１３２人目の素数さん** · 2018/11/10(土) 15:01:36.70

本当にいつの間にかだな、twitter見逃してたかな?

**１３２人目の素数さん** · 2018/11/10(土) 23:42:46.99

8*9*25*((1/5-1/25)*(1/4-1/8)*(1/3+1/9)+(-1/4-1/16)*(1/5-1/25)+(1/3-1/9)*(1/5+1/25)+(1/8-1/16)*(1/3-1/9))=47
8*9*25*((1/5-1/25)*(1/4-1/8)*(1/3+1/9)+(-1/8-1/16)*(1/5-1/25)+(1/3-1/9)*(1/5+1/25)+(1/8-1/16)*(1/3-1/9))=83
8*9*25*((1/5-1/25)*(1/4-1/8)*(-1/3+1/9)+(-1/8-1/16)*(1/5-1/25)+(1/3-1/9)*(1/5+1/25)+(1/8-1/16)*(1/3-1/9))=59
8*9*25*((1/5-1/25)*(1/4-1/8)*(-1/3+1/9)+(1/8-1/16)*(1/5-1/25)+(1/3-1/9)*(1/5+1/25)+(1/8-1/16)*(1/3-1/9))=131
8*9*25*((1/5+1/25)*(1/4-1/8)*(-1/3+1/9)+(1/8-1/16)*(1/5-1/25)+(1/3-1/9)*(1/5+1/25)+(1/8-1/16)*(1/3-1/9))=127
8*9*25*((1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(1/8-1/16)*(1/5-1/25)+(1/3-1/9)*(1/5+1/25)+(1/8-1/16)*(1/3-1/9))=103
8*9*25*((1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(1/8-1/16)*(-1/5-1/25)+(1/3-1/9)*(1/5+1/25)+(1/8-1/16)*(-1/3-1/9))

**１３２人目の素数さん** · 2018/11/10(土) 23:45:47.39

8*9*25*((1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(1/8-1/16)*(-1/5-1/25)-(1/3-1/9)*(1/5+1/25)-(1/8-1/16)*(-1/3-1/9))=-109
8*9*25*((1/5+1/25)*(1/4-1/8)*(-1/3+1/9)+(1/8+1/16)*(-1/5-1/25)-(1/3-1/9)*(1/5+1/25)-(1/8-1/16)*(-1/3-1/9))=139

**１３２人目の素数さん** · 2018/11/10(土) 23:48:37.87

8*9*25*(-(-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(1/8-1/16)*(-1/5-1/25)-(1/3-1/9)*(1/5+1/25)-(1/8-1/16)*(-1/3-1/9))=-97
8*9*125*(-(-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(1/8-1/16)*(-1/5-1/125)-(1/3-1/9)*(1/5+1/25)-(1/8-1/16)*(-1/3-1/9))=-467
8*9*125*(-(-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(1/8+1/16)*(-1/5-1/125)-(1/3-1/9)*(1/5+1/25)-(1/8-1/16)*(-1/3-1/9))=-701
8*9*125*(-(-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(1/8+1/16)*(-1/5-1/125)-(1/3-1/9)*(1/5-1/25)+(1/8-1/16)*(1/3+1/9))=-541
8*9*125*(-(-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)+(-1/8+1/16)*(-1/5-1/125)-(1/3-1/9)*(1/5-1/25)+(1/8-1/16)*(1/3+1/9))=-73

**１３２人目の素数さん** · 2018/11/10(土) 23:58:07.62

8*9*125*(-(-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)-(-1/8+1/16)*(-1/5-1/125)-(1/3-1/9)*(1/5-1/25)+(1/8-1/16)*(1/3+1/9))=-307
8*27*125*(-(-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)-(1/8+1/16)*(-1/5-1/125)-(1/3-1/27)*(1/5-1/25)+(1/8-1/16)*(1/3+1/9))=163
8*27*125*((-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)-(1/8+1/16)*(-1/5-1/125)-(1/3-1/27)*(1/5-1/25)+(1/8-1/16)*(1/3+1/9))=883
8*27*125*((-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)-(1/8+1/16)*(1/5+1/125)-(1/3-1/27)*(1/5-1/25)+(1/8-1/16)*(1/3+1/9))=1223
8*27*125*((-1/5+1/25)*(1/4+1/8)*(-1/3+1/9)-(1/8+1/16)*(1/5+1/125)-(1/3-1/27)*(1/5-1/25)+(1/4-1/16)*(1/3+1/9))=277
8*27*125*((-1/5+1/25)*(1/4+1/8)*(1/3+1/9)-(1/8+1/16)*(1/5+1/125)-(1/3-1/27)*(1/5-1/25)-(1/4-1/16)*(1/3+1/9))=-5303
8*27*125*(-(1/5+1/25)*(1/2-1/8)*(1/3-1/9)+(1/8+1/16)*(1/5-1/125)+(1/3-1/27)*(1/5-1/25)-(1/4-1/16)*(1/3+1/9))=-457

**１３２人目の素数さん** · 2018/11/12(月) 12:20:23.53

素数書いている人はすれ違い。

**majimanji** · 2018/11/13(火) 06:37:25.15

>>623
それな
しかも前から何回も繰り返してる

**１３２人目の素数さん** · 2018/11/13(火) 08:59:36.16

素数書いている人はメルセンヌ素数以外の巨大素数を発表しないと無意味。

**１３２人目の素数さん** · 2018/11/14(水) 01:40:03.31

不可説不可説転＾不可説不可説転＾不可説不可説転＾不可説不可説転
≒　10^(10^(10^(10^(10^(10^(10^37.57075751101994))))))　
＝　3.757075751101994　＊　10↑↑7

不可説不可説転↑↑不可説不可説転
＝10^10^10……（不可説不可説転回繰り返す）……＾10^(10^(10^37.57075751101994)
＝　3.757075751101994　＊　10↑↑（不可説不可説転＋2）

巨大数は意味がない。

**１３２人目の素数さん** · 2018/11/14(水) 02:06:05.39

＊は何

**１３２人目の素数さん** · 2018/11/14(水) 08:17:37.07

▼計算間違っていたので再計算してみた。｛　不可説不可説転は、10^(7*2^122)　｝

　10^(7*2^122)＾10^(7*2^122)＾10^(7*2^122)^10^(7*2^122)　＝　10^(7*2^122)↑↑4
　≒　10^(10^37.57075751101995)↑↑4
　≒　10^(10^(10^(10^(10^(10^(10^(10^37.57075751101995)))))))
　＝　10^(10^(10^(10^(10^(10^(10^(10^（10＾3.57075751101995)))))))
　＝　10^(10^(10^(10^(10^(10^(10^(10^(10)))))))　*　3721.838388197656
　＝　3721.838388197656 * 10↑↑9

　
▼不可説不可説転↑↑不可説不可説転

　10^(7*2^122)↑↑10^(7*2^122)　＝　　3721.838388197656　*　10↑↑(2*｛10^(7*2^122) + 1)

**１３２人目の素数さん** · 2018/11/14(水) 13:17:06.64

意味がないというのはいいんだけど、多重再帰とか2階算術とかに注目がいかないのが気になる。
計算支援に実用的な分野だし(上で指摘されてるように一般的な数学にはほとんど不要だろうけど)
グーゴロジストが注目してるのはだいたいそういうところで、不可説不可説転を矢印なんかで繋げたりしても
このスレの住民にとってもナンセンスなサラダ扱いされると思う
どうもそのへんの認識がずれてる感が
あるいは計算に関連した分野を知らないのか

**１３２人目の素数さん** · 2018/11/14(水) 13:23:22.55

Rayo(Rayo(Rayo...Rayo(10^100)...))
...はRayo(10^100)続く
とかはグーゴロジストにとってもどうでもいい

**１３２人目の素数さん** · 2018/11/14(水) 14:34:35.76

>>629
多重再帰は多くの巨大関数で実績あげてるんじゃない? 何々を何回繰り返したのを何回繰り返す……的な奴でしょ
二階算術は知らない人が多いのと、巨大関数への利用法がまだ無い(結局一階算術と同じ程度の部分しか使わないみたいな?)んじゃない?
不可説不可説転がどうのこうのは単純故にサラダではないけど、少々小さいのと矢印表記で繋ぐって馴染み深い方法故に弄りどころがないのでは?

**１３２人目の素数さん** · 2018/11/14(水) 15:21:49.35

>>630
どうでもいい以前にそのような表現はそもそも形式言語が不明瞭だから出来ない
まずrayo数+1からして未定義

**１３２人目の素数さん** · 2018/11/14(水) 18:45:53.10

超冪という既にある仕組みに
大きい数を入れてみただけというのが
受けてないんじゃないかな。

計算されてるのはとても素晴らしいことだと思います。

**１３２人目の素数さん** · 2018/11/14(水) 19:31:13.65

どっちの超冪か一瞬悩んだ

**１３２人目の素数さん** · 2018/11/14(水) 23:20:16.63

ひとつの整数でアドレスをあらわせる構造は線形配列である。
ひとつの線形配列でアドレスをあらわせる構造は多重配列である。
……
ひとつの第n段階の構造でアドレスをあらわせる構造を第n+1段階の構造とする

ってつづけていって構造作るとBEAF相当でどこまでいけるの？

**１３２人目の素数さん** · 2018/11/15(木) 11:49:24.99

3↑↑4　=　3^3^3^3 　=　10^(10^12.56090264130034)
3↑↑5　=　3^3^3^3^3　=　10^(10^(10^12.56090264130030))
3↑↑6　=　3^3^3^3^3^3　=　10^(10^(10^(10^12.56090264130030)))
3↑↑10　=　3^3^3^3^3^3^3^3^3^3 = 10^(10^(10^(10^(10^(10^(10^(10^12.56090264130030)))))))
以上のことから、3↑↑X　=　10↑↑(X－2）^12.56090264130030　
=　10↑↑(X－1）^1.256090264130030

3↑↑64　＝10↑↑62^12.56090264130030　=　10↑↑63^1.256090264130030

俺が理解出来るのは矢印が2本の時まで。それ以上の理解不可。頭悪いんで・・・（自爆↑↑自爆）

＞　G(3) = 3↑↑↑3 = 3→3→3 = 3↑↑(3↑↑3) = 3↑↑G(2) = 3↑↑7625597484987
＞　G(2) までは関数電卓やパソコンでも普通に計算できるが、G(3) [7]ですら既に3の累乗を
＞　7兆6,255億回以上繰り返した数であるため、現実世界の現象で例えることなど到底不可能な
＞　巨大数になっており、後述するように十進法以下の表記で表すことすら現実的には不可能である。
――――　（引用：　ウィキペディアの「グラハム数」から「その大きさ」より）

3↑↑7625597484987　≒　10↑↑(7625597484985＾12.56090264130030)　
＝　10↑↑(7625597484986＾1.256090264130030)　＝　10↑↑1.5180944666569 × 10^16　
＝　10↑↑15180944666569000

**１３２人目の素数さん** · 2018/11/15(木) 22:33:32.62

>>635テトレーション配列

**１３２人目の素数さん** · 2018/11/15(木) 23:15:51.64

ε0は越えられるよ

**１３２人目の素数さん** · 2018/11/17(土) 10:23:07.76

■無量大数の無量大数乗　10^68^（10^68）　
＝　10^10^10^68+（{log(68)/log(10)} /log(10)）
≒　10^10^10^
（68.2630460955 8040934916 5322544114 7778207199 1438968011 3123669080)
※(小数点以下60桁で打ち止め）

■無量大数の冪乗を無量大数回繰り返した数　
＝　10^68　↑↑　10^68　＝　（10↑↑(2*10^68-2））
＾（10^68.2630460955 8040934916 5322544114 7778207199 1438968011 3123669080)
……

10^68.2630460955 8040934916 5322544114 7778207199 1438968011 3123669080
≒　1832508912 7062363189 6764768377 7323083543 9471413492 634800012　
……（60桁で打ち止め）

無量大数↑↑↑無量大数は、数学科の英知でも、近似直線が計算できませんか？
↑3本ですら計算不能？　無意味？

クヌースも↑表記を2本でやめておけば良かったのに……　3本は実用的じゃない。

**１３２人目の素数さん** · 2018/11/17(土) 11:07:30.43

10↑↑X　＝　10^がX個。
10↑↑1　＝　10↑1　＝　10
10↑↑2　＝　10^10　（100億）
10↑↑3　＝　10^10^10　＝　10^10000000000
10↑↑↑3　＝　?　・・・・・・
2↑↑↑3＝　2↑（2↑↑3）＝　2^（2^2^2）＝　65536

3↑↑↑3＝　3↑（3↑↑3) ＝　3^(3^3^3)　＝　3^7625597484987

近似値:
1.258014290627491317860390698203281215518046714... × 10^3638334640024

10のベキ乗表現:
10^(10^12.56090264130034)

・・・・・・以上を踏まえると、無量大数↑↑↑無量大数の近似値は
（　10↑↑(2*（10^10^10^68.2630460955 8040934916 5322544114）-2））
＾10^68.2630460955 8040934916 5322544114　？？

まったく正しいか間違ってるかもわからん。

**１３２人目の素数さん** · 2018/11/17(土) 11:29:53.14

計算できる巨大数には意味がある(と思うが）が、グラハム数のとか計算できないないじゃん。
計算できない数など、「絵に描いた餅！」。

巨大数好きを自称する人は、まず、10↑↑↑10、そしてから、
無量大数↑↑↑無量大数の大きさを教えてくれ！

グラハム数の大きさも、分からないのの、フィッシュ数の大きさなんて分かるはずもない。
3↑↑↑3 = 3↑↑3↑↑3 = 3↑↑7625597484987 だった。専門外の俺が間違えるのも当然？

エディントン数超える辺りから、天文学的数字な巨大数というより、計算学上の非日常数でしかない。
宇宙論ですら、10↑↑6を超える数を見たことないわ。

**１３２人目の素数さん** · 2018/11/17(土) 11:50:55.56

巨大数の大きさを知るならハーディー階層やN成長階層などで定義された「自然数を出力する関数」の添字で判断するといい。特にN成長階層は>>641のような人のために作られたと言っていい。例えばハーディ階層で定義された関数をH_i(n)(iは添字)とすると、例えば
H_0(19) = 19 になる
H_1(無量大数) = 無量大数+1
H_2(無量大数) = 無量大数+2
H_ω(無量大数)= 無量大数+無量大数
になる(ωは最小の超限順序数。この先は自分で調べてみてね)
このように、添字や()の中の数字の大きさで数の大きさを理解することが出来る

**１３２人目の素数さん** · 2018/11/17(土) 14:09:15.80

たぶん根本的に大きさを評価する質が変化することを認めていない

**１３２人目の素数さん** · 2018/11/17(土) 14:23:01.18

目盛りがずっと自然数のまんまなんだな

**１３２人目の素数さん** · 2018/11/17(土) 18:34:04.59

10↑↑↑10くらいだったらH_ω^4のオーダーだな
って判断する
巨大数の本質は、最後まで計算するところにあるわけじゃない

**１３２人目の素数さん** · 2018/11/17(土) 18:39:23.98

同様に、
グラハム数はH_ω^(ω+1)
ふぃっしゅ数１はH_ω^(ω^2+1)
明らかに下がでかい

**１３２人目の素数さん** · 2018/11/17(土) 19:06:40.69

自分は理解もしてないし感覚も無いが。
そもそも1兆だって
1+1+1+...
で表現しようとしたらじっこうなんかできない。

しかし十進法という表記を得たから、
1000000000000
と表現できるようになった。そして、計算し慣れていくことで実感を得て使えるようになっていく。
桁数が1兆桁亜になると、これも十進法では表現を実行できないが、指数を使って
10^1000000000000
と表現できるようになった。そして、計算し慣れていくことで実感を得て使えるようになっていく。
↑にしろその先にしろ、表現を得て、それを使いながら慣れていくことで実感を得て使えるようになっていくもんなんじゃないのかねえ。

**１３２人目の素数さん** · 2018/11/17(土) 19:35:47.05

>>647
この実感を得るのがやっぱりワナビー、ニュービーの壁やろなぁ……

**１３２人目の素数さん** · 2018/11/17(土) 20:20:48.99

その近似値はどの程度の誤差を含んでるのかな

**１３２人目の素数さん** · 2018/11/17(土) 21:23:43.63

急増加階層は相当誤差大きくなるよね
f0(n)=n+1
f1(n)=((…(n+1)+1…+1)+1)+1=2×n
f2(n)=2(2(2…2(n)…))=(2↑n)×n>2↑n
f3(n)=書けない>2↑↑n

**１３２人目の素数さん** · 2018/11/17(土) 21:58:03.00

巨大数なんだから
誤差など気にするな

**１３２人目の素数さん** · 2018/11/17(土) 22:00:33.53

簡単な順書数で書けるようなのはこのスレ的にはゴミ

**majimanji** · 2018/11/18(日) 08:21:34.27

>>350の応用で何とかできそう

**１３２人目の素数さん** · 2018/11/18(日) 10:28:53.86

ゴミとは思わんが、
より巨大な数を求める趣旨で、より巨大な数を理解できないから低い数で諦めてる状態は如何なものかと思う

良い解説がないのも原因の一つではあるが

**１３２人目の素数さん** · 2018/11/18(日) 10:41:50.96

■計り知れない大きな数という意味の無量大数をもっと無量大数にしてみたぜ！

▼無量大数は、69桁の数。十進数はでの表現は1の後に0が68個。つまり、
100，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000，000。
指数を使って　10＾68　＝　10 ↑ 68

【無量大数の常用対数は68。その数の常用対数は1.83250891270623631896764768377732308354394714134926。
（1.83250891270623631896は小数点以下20桁）　そして、先のその常用対数は0. 26304609558040934916532254411477782071991438968011】

■　無量大数 ↑ 無量大数　
＝　無量大数 ↑ 無量大数＝　10 ↑ 68 ↑（10↑68）
＝　10 ↑ 10 ↑ 10 ↑ 68. 2630460955 8040934916 532254411477782071991438968011
＝　10 ↑ 10 ↑ 10 ↑ 10 ↑ 1.83250891270623631896764768377732308354394714134926
＝（E10#4）↑ 0.83250891270623631896764768377732308354394714134926

■　無量大数 ↑↑ 無量大数
＝（10　↑　68） ↑｛10　↑　68｝＝　(10　↑↑（2*｛10↑68｝-2））↑（10^ 68. 26304609558040934916532254411477782071991438968011）
＝　(10　↑↑（2*｛10　↑　68｝-1））↑　1.83250891270623631896764768377732308354394714134926

■無量大数 ↑↑↑ 無量大数
＝｛　(10 ↑↑（2*｛10 ↑ 68｝-1））↑ 1.83250891270623631896…… ｝↑↑ （10↑68)
＝｛　(10 ↑↑（2*｛10 ↑ 68｝↑｛10　↑　68｝-1))　↑　1.83250891270623631896……　｝　←　正しいか不明。

■無量大数 ↑↑↑↑ 無量大数
＝　10 ↑↑（2*｛10　↑　68｝　↑↑　｛10　↑　68｝　-1））↑　1.83250891270623631896764768377732308354394714134926
＝　10 ↑↑｛　(10　↑↑（2*｛10↑68｝↑｛10　↑　68｝　-1））↑　1.83250891270623631896764768377732308354394714134926　｝　　
……　正しいか不明。

＝　10 ↑↑（10　↑↑（2*｛10　↑　10　↑10　↑10　↑　1.83250891270623631896……｝-1)) ↑ 1.83250891270623631896……　
……　正しいか不明。

**１３２人目の素数さん** · 2018/11/18(日) 10:45:09.47

間違い　"　＝　（E10#4）↑ 0.83250891270623631896764768377732308354394714134926　"
正しい　"　＝　（E10#4）↑ 1.83250891270623631896764768377732308354394714134926　"

**１３２人目の素数さん** · 2018/11/18(日) 10:52:26.65

結合性がおかしいので別の表記で書いたほうがいい

**１３２人目の素数さん** · 2018/11/18(日) 11:04:43.17

10^68　↑↑↑↑　10^68
≒　10　↑↑《　10　↑↑　｛　(2　*｛10　↑↑　4} ↑ 1.8325089123　)　-1　｝　》　↑　1.8325089123

これであってる？

**１３２人目の素数さん** · 2018/11/18(日) 20:49:11.86

このスレや誰とは言わんがTwitterで
「リトルビッゲドンやサスクワッチよりも計算可能な(あるいはその中でも小さい)巨大数の方が良い」
という理解できないことからの逃げをよく見るけど
この流れはもう止められないだろうし、
一部の高尚な人間が趣味として行う道しか残されてないのが事実な気がする

**１３２人目の素数さん** · 2018/11/18(日) 21:06:39.33

どこでそういうこと言われてるのかわからんが、ラヨ数系列は直接プラトニズムから定義されていて
表記以外は数学的に扱えないからレギュレーション分けされてる感じ。
うえで定義が不十分だからとか言われてるけど真の算術とか、数学的プラトニズムは数学的に定義できないし
そういうのは哲学上の問題で各人が認めるか認めないかに委ねるしかない、というのもすでに>>406で言われている通り

それに表記を競うのなら計算可能とか不可能とかいうのは表層的な問題であってどちらでもいい。
計算可能レベルは表記ばかりに目がいって理論の整備とか順序数解析とか証明とかが追いついてない
のが現状っぽい

**１３２人目の素数さん** · 2018/11/18(日) 21:15:05.80

というかいったいなにが理解できてないんだろう

**１３２人目の素数さん** · 2018/11/18(日) 22:16:52.51

戦え数はplatonist's universe仮定してないけどな

**１３２人目の素数さん** · 2018/11/18(日) 22:33:02.97

真の算術が定義できないってどういう意味

**１３２人目の素数さん** · 2018/11/19(月) 11:29:32.20

■無量大数↑↑↑無量大数の計算を修正。

3↑3　＝　27
3↑↑3　＝　3^3^3　＝　7625597484987
3↑↑↑3　＝　3↑↑（3↑↑3）　＝　3↑↑（3↑↑3）　
＝　3↑↑7625597484987　
≒（10↑↑7625597484984）^(10^12.56090264130034)

■無量大数↑↑無量大数　　10^68↑↑10^68　
≒　(10↑↑(2*（10＾68)-2))＾10^ 68.26304609558）

■無量大数↑↑↑無量大数　＝　無量大数↑↑（無量大数↑↑無量大数）
＝　10^68↑↑（10^68↑↑10^68）　
≒　10^68↑↑｛　(10↑↑(2*（10＾68)-2))＾10^ 68.26304609558）　｝　
　書いててなんだが意味不明なので、
　無量大数↑↑↑無量大数を「無量不可説大数」と名付けよう。

**１３２人目の素数さん** · 2018/11/19(月) 12:19:09.29

別に計算可能、計算不可能の好き嫌い認める認めないは個人の勝手なんだよなぁ、押し付けマンも否定マンも等しく消滅して欲しい

**１３２人目の素数さん** · 2018/11/19(月) 12:24:50.22

巨大数の入り口をあえて微細に解析するのも取っ掛かりとして楽しそう
便利な道具は苦労した後の方がありがたみ増す
結局全部楽しめるのが一番いいぞ

**１３２人目の素数さん** · 2018/11/19(月) 13:59:44.07

前スレの最初のほう、別にビジービーバー関数の存在を否定してるわけじゃないのに妙なレスがついてて、
超準モデルと標準モデルの区別がついてるのかなと思った。
存在が明らかでもそれが本当の自然数ではない場合が考えられるという話であって

**１３２人目の素数さん** · 2018/11/19(月) 15:21:48.17

巨大数は矢印が2本までなら理解できるが、それ以上だと理解できない。

たとえば、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）
俺はここで思考停止した。これはどうやって理解すればいいの？

**１３２人目の素数さん** · 2018/11/19(月) 15:53:22.34

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↑xで表すには膨大な掛け算が必要
累乗を覚えたての人なら累乗の大きさがよく分からずここで思考停止する

もしも10↑↑↑10を理解するために10↑↑10↑↑10が理解できないなら、それは累乗の大きさが「桁を数えたもの(つまり*の数)」であることを理解しているが、テトレーションにまだ慣れてないことを表す
演算子(とそれに伴う演算規則)が変わっただけで構造はまったく変わってない
つまり、
10↑10↑10 = 10↑(10*10*10*10*10*10*10*10*10*10)
の「↑」が「↑↑」に、「*」が「↑」に変わっただけ
テトレーションの大きさが「累乗のの演算子「↑」の数」だということ 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)

**１３２人目の素数さん** · 2018/11/19(月) 16:24:41.01

>>668
10↑↑↑10=10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10

A2=10↑↑10=10^10^10^10^10^10^10^10^10^10=10^10^10^...{10個}...^10^10^10
A3=10↑↑10↑↑10=10^10^10^...{A2個}...^10^10^10
A4=10↑↑10↑↑10↑↑10=10^10^10^...{A3個}...^10^10^10
A5=10↑↑10↑↑10↑↑10↑↑10=10^10^10^...{A4個}...^10^10^10
A6=10↑↑10↑↑10↑↑10↑↑10↑↑10=10^10^10^...{A5個}...^10^10^10
A7=10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10=10^10^10^...{A6個}...^10^10^10
A8=10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10=10^10^10^...{A7個}...^10^10^10
A9=10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10=10^10^10^...{A8個}...^10^10^10
10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10↑↑10=10^10^10^...{A9個}...^10^10^10

**１３２人目の素数さん** · 2018/11/19(月) 21:11:02.36

>>665
好き嫌い認める認めないはともかく
スレタイに沿った内容じゃないのはダメだろ

「巨大」も人それぞれだから無量大数レベルを語るのもあり？
いやそうじゃないだろ

なんの新規性も無い表記を延々貼るのはやめて欲しい

**１３２人目の素数さん** · 2018/11/19(月) 21:13:38.60

つまり
教育と研究は分けるべきと

**１３２人目の素数さん** · 2018/11/19(月) 21:19:19.41

探索スレッドだから

**１３２人目の素数さん** · 2018/11/19(月) 21:34:35.11

今までは分ける必要がないぐらい過疎ってたのに
いいことじゃん

**１３２人目の素数さん** · 2018/11/19(月) 21:45:45.28

てか最低限ここは巨大な数を探すスレなんだから、
計算不可能関数をシャットアウトする奴は来るな、と押し付けられても文句は言えないかと

**１３２人目の素数さん** · 2018/11/19(月) 21:51:25.38

だれが理解できないことから逃げてるんだろう。
例の人はサスカッチの作者に質問しても無視されてるっぽいん

どうもプラトニズムはなんでも認めるべきだから計算可能レベルはゴミっぽい理屈らしいが、
それなら計算可能レベルに使われている言語でビジービーバーやラヨ関数を超えるものが
いろいろとあり、たとえばloader.cとか超越整数システムの言語とか。

**１３２人目の素数さん** · 2018/11/19(月) 21:54:41.89

結局計算不可理解不可人と原始再帰人さえどうにかなればいいんだが

**１３２人目の素数さん** · 2018/11/19(月) 21:57:59.09

「計算不可能関数をシャットアウトする奴は来るな」とはだれも言ってないがな。
なぜかビジービーバー関数を否定していると勘違いされたり、言葉が伝わってない感がある

**１３２人目の素数さん** · 2018/11/19(月) 22:02:54.71

誤　計算不可能関数をシャットアウトする奴は来るな
→計算不可能関数をシャットアウトする

**１３２人目の素数さん** · 2018/11/19(月) 22:20:22.76

Twitterで探せばいるが
自分で探させるのと実ハンドルネーム挙げるのどっちがいい？

**１３２人目の素数さん** · 2018/11/20(火) 00:22:14.64

“コンウェイのチェーン表記を使えば、グラハム数の大きさなんて簡単に超える！！”
と、巨大数マニアの間では言われているけど、「じゃあ、無量大数↑↑↑↑無量大数を
計算してみて！」って言っても、誰も答えない。フェルマーの最終定理とかリーマン予想
などの純粋数学は主に証明が主題になるが、巨大数はその名の通り、「巨大な数」だから、
計算不可数だと納得できない。――――これは巨大数の感想も含めて、以下の架空の
対話の様に感じられる。

　友人：「今日、300 ASDFがゲットできたぜ！」
　俺：　「へえ……。そうなんだ。れって　何円？　それともポイント？」
　友人　「だから、300 ASDFだって。それ以上でも以下でもない」
　俺：　「だから、それはどれほどの金額？　日本円でいくら？」
　友人：「俺の声が聞こえなかった？　300 ASDFだよ！」
　俺：　「・・・・・・？　ASDFって何？」
　友人：「教えないよ！」
　俺：　「意地悪しないでよ。それって、300円？　3万円？」
　友人：「ASDFは通貨NON・SENSの1兆倍。すごいよね！」
　俺：　「１NON・SENSは日本円にしてどのくらい？」
　――――1兆倍ってw。ジンバブエドルかよ！！　と心の中で突っ込む。
　友人：「答える義理はない。ASDFはASDFだっ！」
　俺：――――意味不明・計算不可数じゃん！　理解不能だわ！！　
　でも、ちょっと面白いかも？　

**１３２人目の素数さん** · 2018/11/20(火) 00:49:08.75

なんかいつも！が多いなと思った（コナミ環）

**１３２人目の素数さん** · 2018/11/20(火) 06:37:12.63

＞A2=10↑↑10=10^10^10^10^10^10^10^10^10^10=10^10^10^...{10個}...^10^10^10
＞A3=10↑↑10↑↑10=10^10^10^...{A2個}...^10^10^10

そんなら理解できるが。ニコニコ動画の「巨大数解説」みてもさっぱりわからんかったが、
えっ！？　10↑↑10↑↑10って、結局　10↑↑10を2回繰り返すってことなの？　
って、結局　10↑↑10↑↑10↑↑10は　10↑↑10を3回繰り返すってことなの？　これで正しいの？

・・・・・・巨大数は意味がない。通常目にする単位は超まで。無量大数も目にすることがないし、
不可説不可説転とか最近知った単位。天文学的数字も10↑↑6が限界。だが、しかし。
　少々面白いから、このスレに来るんだわさ。フェルマーの最終定理だって、日常的に何の役にも
立たないが、少々面白いから、解説書が売れるのさ。

**１３２人目の素数さん** · 2018/11/20(火) 07:40:57.91

日を経るごとにだんだん矢印の数が増えていってるから、
無量大数↑↑↑↑無量大数も
彼が計算できたと納得できるようになる日も近そう

**１３２人目の素数さん** · 2018/11/20(火) 08:56:49.01

現状日本人で最も巨大数に詳しいp進botの作った数だけあって、wikiの
「最小の証明が書けなくても戦え数」
の記事が、現状を一番分かりやすく書いてるな

**１３２人目の素数さん** · 2018/11/20(火) 13:42:58.65

http://ja.googology.wikia.com/wiki/カテゴリ/東方巨大数

東方は「ゆっくり」としか関わりたくないし、月厨やそのほかキモオタにも参戦じてもらいたくない。
wikiから削除してくれ。

**１３２人目の素数さん** · 2018/11/20(火) 16:58:26.74

関わりたくないなら別に関わらなくていいと思うんだけど

**１３２人目の素数さん** · 2018/11/20(火) 19:37:57.43

帰納的公理化可能であることを前提として、
超越整数システムをモデル依存にして計算不可能関数にした上限が証明書けないほうの戦え数
超越整数システムそのものの上限はビジービーバー関数

**１３２人目の素数さん** · 2018/11/21(水) 00:24:48.92

10^100はグーグルの元ネタだが、そのグーゴルは、
10^100が“ゴーグル”（ゴーグル（英: goggles）は、目を保護するため顔面に着用する道具）
に似ていたからってあまり知られていない。

**１３２人目の素数さん** · 2018/11/21(水) 23:53:32.05

√(X^2+Y^2+Z^2+2*(XY*cos(n*logX/Y)+XZ*cos(n*logX/Z)+YZ*cos(n*logY/Z)))
√X=√Y+√Z
n*log(X/Y) mod 2π=π
n*log(X/Z) mod 2π=π
n*log(Y/Z) mod 2π=π

mが3以上の整数のとき
またnが任意の数値のとき
次の3式を同時にみたす整数X,Y,Zが存在しない
n*m*log(X/Y) mod 2π=π
n*m*log(X/Z) mod 2π=π
n*m*log(Y/Z) mod 2π=π

n*m*log(X/Y)=2Aπ+π
n*m*log(X/Z)=2Bπ+π
n*m*log(Y/Z)=2Cπ+π

log(X/Z)/log(Y/Z)=(2B+1)/(2C+1)

**１３２人目の素数さん** · 2018/11/22(木) 05:47:06.83

>>683
フェルマーの最終定理は、楕円曲線暗号に使われていたりする

**１３２人目の素数さん** · 2018/11/22(木) 09:10:20.67

■無量大数↑↑↑無量大数　＝　無量大数↑↑（無量大数↑↑無量大数）
＝　10^68↑↑（10^68↑↑10^68）　
≒　10^68↑↑｛　(10↑↑(2*（10＾68)-2))＾（10^ 68.26304609558））　｝　

＝　10↑↑｛2*（10＾68^(10^68)）-2｝＾（10^ 68.26304609558）｝？　――――「無量不可説大数」　
＝　10↑↑｛2*（無量大数＾無量大数）-2｝＾（10^ 68.26304609558）
＝　10↑↑｛2*（10 ^10＾（10＾ 68. 26304609558))-2｝＾（10^ 68.26304609558）　？
　ハイパーE表記で、E（2*10^68^（10^68）-2）#10^68？

　グラハム数はハイパーE表記でも表せないんだよな？！　恐ろしい。
そもそもラムゼー理論とやらも理解不能。チェーン表記もチンプンカンプンだ。
グラハム数の大きさを理解できるまで“永遠の努力”が必要になりそうだ。

**１３２人目の素数さん** · 2018/11/22(木) 12:25:18.43

急増加関数の定義が次の通りだとして
a[n]={極限順序数aの基本列のn番目}
f_0(n)=n+1
f_{a+1}(n)=f_a^n(n)
f_a(n)=f_a[n](n)

初期関数をビジービーバー関数[BB(n)]に置き換えた
新たな急増加関数を以下のように定義した時
B_0(n)=BB(n)
B_{a+1}(n)=B_a^n(n)
B_a(n)=B_a[n](n)

fとBの関係ってこうなるの？
B_0(n) = f_{ω_0^CK}(n)
B_1(n) = f_{ω_0^CK+1}(n)
B_2(n) = f_{ω_0^CK+2}(n)
B_ω(n) = f_{ω_0^CK+ω}(n)
B_ε_0(n) = f_{ω_0^CK+ε_0}(n)
B_{ω_0^CK}=f_{ω_0^CK×2}(n)

**１３２人目の素数さん** · 2018/11/22(木) 15:51:24.38

忘れられがちだけど急増加関数って基本列を明示しないと機能しない

**１３２人目の素数さん** · 2018/11/22(木) 19:21:55.74

>>693
yes

>>694
ざっくり大きさを見積もるだけならいちいち定義しなくてもいい
常識的な基本列を取れば大してかわらん

**１３２人目の素数さん** · 2018/11/22(木) 22:51:22.12

ω_1^CKだった
ω_1^CK×2の基本列の取り方にはけっこう意見が分かれそうな気がするんだよな・・・

**１３２人目の素数さん** · 2018/11/22(木) 22:57:31.03

最小の証明が書けなくても戦え数って、
証明が検証可能な論理体系のもとでは論理式が証明可能かどうかが、
チューリング次数0'のハイパーコンピュータで決定可能なんだから、
0'のハイパーコンピュータで計算可能じゃないの？
それとも0'で計算可能になるような解釈だと「小さくなっちゃう」から、
誤解に過ぎないと言われるのかな？

どうもラヨ数とかは計算不能=アルゴリズムの明示が不要
なのをいいことに自然言語の曖昧さを利用して煙に巻いてるように見えるんだよね。
写像の条件
∀x∀y∀z((Φ(x,y)∧Φ(x,z))→y=z)
∧∀x∃yΦ(x,y)を示すためには、
まず関数の定義が有限長の論理式Φ(x,y)の形で表せるのが大前提だろうに。
ラヨ数以降はとても定義を論理式に書き換えられるようには見えない。

**１３２人目の素数さん** · 2018/11/23(金) 10:19:42.22

3↑↑3＝3^(3^3)=7625597484987
3↑↑4　=　3^3^3^3　=　10のベキ乗表現:　10^(10^12.56090264130034)
3↑↑5　=　3^3^3^3^3　=　10のベキ乗表現:　10^(10^(10^12.56090264130030))
3↑↑6　=　3^3^3^3^3^3　=　10のベキ乗表現:　10^(10^(10^(10^12.56090264130030)))
3↑↑7　=　3^3^3^3^3^3^3　=　10のベキ乗表現:　10^(10^(10^(10^(10^12.56090264130030))))

n≧4のとき、3↑↑（n-2）＝（10↑↑（n-2）)＾12.56090264130030　という法則性。

3↑↑↑3　＝　3↑↑7625597484987　＝　10↑↑（7625597484987-2）＾12.56090264130030
ところで、矢印が4本の時は、10が何段になるんだ？　具体的な計算は不可能か？

**majimanji** · 2018/11/23(金) 10:34:06.76

3↑↑↑↑3=3↑↑↑3↑↑↑3↑↑↑3=3↑↑↑3↑↑↑3↑↑7625597484987
≒3↑↑↑3↑↑↑10↑↑（7625597484987-2）＾12.56090264130030≒ここから先は分からん

**１３２人目の素数さん** · 2018/11/23(金) 10:47:54.79

>>696
常識的な基本列を取れば大してかわらん

例えば
任意の帰納的順序数を記述可能な言語
n文字以下で定義出来る最大の帰納的順序数
で良い
常識的な言語なら増加量はほぼ同じ

**１３２人目の素数さん** · 2018/11/23(金) 11:34:29.36

不可説不可説転＾無量大数　＝　(10^(7×2^122))^(10^68)　＝（10^37218383881977644441306597687849648128）＾（10^68）
＝　10^10^3721838388197764444130659768784964812800000000000000000000000000000000000000000000000000000000000000000000.
≒　10^(10^105.5707575110199)　・・・　1グーゴルプレックスを超えた！。原点に戻って、十進数表記レベルの巨大数でいいや。
もう、↑三つまでで理解するのやめた。

**１３２人目の素数さん** · 2018/11/23(金) 13:49:38.09

https://twitter.com/tri_iro/status/1057150645273153536
専門家（？）のご意見
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2018/11/23(金) 18:47:54.89

>>702
>>592

**１３２人目の素数さん** · 2018/11/23(金) 19:48:29.91

単なるωでも
基本列の取り方次第でいくらでも大きくなる

**１３２人目の素数さん** · 2018/11/23(金) 19:49:12.37

いくらでも小さくもなる

**１３２人目の素数さん** · 2018/11/23(金) 20:09:31.35

>>697
ラヨ数はともかくリトルビッゲドンとかサスクワッチは普通に書けそうに見えるが……

**１３２人目の素数さん** · 2018/11/23(金) 20:16:10.05

「いくらでも」小さくなるはどうだろう

**１３２人目の素数さん** · 2018/11/23(金) 20:25:36.56

いくらでもの定義によるが
逆アッカーマン関数程度のものは簡単に作れる

**１３２人目の素数さん** · 2018/11/23(金) 20:43:44.80

>>707
ああ、
列が単調増加という条件ならいくらでも小さくはならんな
その条件がなければいくらでも小さくなる

**１３２人目の素数さん** · 2018/11/23(金) 20:49:22.95

基本列は自然数じゃなくてもオッケーだったのか
数学に疎いと全然ついていけない

**１３２人目の素数さん** · 2018/11/23(金) 21:05:05.26

間違えました
逆アッカーマン関数は単調増加列を構成しない

**１３２人目の素数さん** · 2018/11/23(金) 21:29:48.62

戦え数はラヨ数系列とはまた別や。
チューリング次数0のハイパーコンピュータで決定可能なのは、普通のチューリングマシンの停止性に関わるような
証明可能性であって、これよりも複雑な式の証明可能性は決定できない
たとえば非再帰的な論理体系のもとで論理式を証明できるかとか

**１３２人目の素数さん** · 2018/11/23(金) 22:55:06.38

巨大数の議論からは逸れるけども、ラヨ数の逆（？）で、
「一階の集合論（一階述語論理）の言葉でグーゴル個以内の記号で(1の位まで正確に)表現できない最小の正の整数」
はだいたいどのあたりにあるのだろう？

とりあえず、普通に10進法で書けばグーゴルくらいまでの整数は正確に表現できそうではある。
というか、グーゴル進数で書けば10進法で言うグーゴル^グーゴルくらいまではいけるだろう。

**１３２人目の素数さん** · 2018/11/24(土) 03:07:21.90

長さがグーゴル以下の論理式は記号の数^(グーゴル+1)程度しかないのでこれよりも小さくなる

**１３２人目の素数さん** · 2018/11/26(月) 10:05:48.62

バシク行列超えたった

**１３２人目の素数さん** · 2018/11/26(月) 10:36:10.56

a[n]={極限順序数aの基本列のn番目}
f_0(n)=n+1
f_{a+1}(n)=f_a^n(n)
f_a(n)=f_a[n](n)

A_0(n)=BB(n)
A_{a+1}(n)=A_a^n(n)
A_a(n)=A_a[n](n)

B_0(n)=A_{ω_１^CK}(n)
B_{a+1}(n)=B_a^n(n)
B_a(n)=B_a[n](n)

C_0(n)=B_{ω_１^CK}(n)
C_{a+1}(n)=C_a^n(n)
C_a(n)=C_a[n](n)

BB(n)=f_{ω_1^CK}(n)
A_{ω_１^CK}(n)=f_{ω_1^CK×2}(n)
B_{ω_１^CK}(n)=f_{ω_1^CK×3}(n)
C_{ω_１^CK}(n)=f_{ω_1^CK×4}(n)

こんな風に自然数の最大値まで定義を繰り返しても
ω_1^CK×ωの大きさにしかならないから
計算不可能関数を計算可能関数でいくら繰り返しても
ゴミ扱いされちゃうわけね

**１３２人目の素数さん** · 2018/11/26(月) 13:12:53.50

その通り

**１３２人目の素数さん** · 2018/11/26(月) 17:00:11.42

自然数の最大値は存在するのか・・・

**１３２人目の素数さん** · 2018/11/26(月) 23:14:00.62

■10^100↑↑10^100　
＝　10↑↑（2*10^100-1）^100.3010299956640
＝　10↑↑（2*10^100）＾2.0013053928323470313863818064205

巨大数wiki等を見て思う。
なんで、日本の数詞は10^68で命名を止めてしまったのかと。
1グーゴル（10^100）まで命名されたらよかったのに。10^100は
無量大数（10^68）の溝（10^32）倍と言い表せるけど……。

■どっかの数学者の作ったクラス分けに対抗して、レベル分け
を作ってみた。

レベル１：1～10^16（1京）以下の数。日常目にする数。
レベル２：10^16～10^100。（無量大数を含む）　　　　　　
レベル３：10^100～10^(10^100)（不可説不可説転を含む）　
レベル４：10^（10^100）～10↑↑10　（ベントレー数を含む）
レベル５：10↑↑10～10↑↑（10^100）　　　　　　　　　　
レベル６：それ以上の計算可能なテトレーション。　　　　　　　　　　
レベル７：ペンテーションあるいはそれ以上の計算不可能数。

**１３２人目の素数さん** · 2018/11/27(火) 00:31:52.05

計算不可能数って何だよwww

**１３２人目の素数さん** · 2018/11/27(火) 00:39:21.89

>>720
3↑↑↑↑3をテトレーションで表せない。

**１３２人目の素数さん** · 2018/11/27(火) 08:00:53.34

それがなんで計算不可能数という名前になるのか。

**１３２人目の素数さん** · 2018/11/27(火) 08:59:37.76

じゃあ、>>722　3↑↑↑↑3を計算してみてよ。
計算不可能数という表現が気に入らないなら、
文系卒には理解不能な「数学科卒」しか理解できない数でもいいが、

http://ja.googology.wikia.com/wiki/数の一覧
でも、計算不可の数ってでてくるが、グラハム数はチェーンレベル
とされるので、再定義してみよう。

～日常で使用する数～
　レベル１：1～10^8　【１から10倍ごとに上がった最後の単位「万」）　
　レベル２：10^8～10^16　【1京以下の数。10^8～10^68まで4桁ごとに数詞が変わる】

～天文学的数字と言われる数、文系で理解できる数　～
　レベル３：10^16～10^100　【京から無量大数の数詞、エディントン数を含む】
　レベル４：10^100～10^(10^100)　【不可説不可説転を含む】　
　レベル５：10^（10^100）～10↑↑10　【スキューズ数やベントレー数を含む】
　レベル６：10↑↑10～10↑↑（10^100）　　　　　　　　　　
　レベル７：レベル５以上の計算可能なテトレーション。　　　　　　　　　　

～数学科しか分からないレベル～
　レベル８：チェーン表記やペンテーション以上などの数。　【グラハム数を含む】
　レベル９：変数アッカーマン関数とかカントール標準形レベルの数。

～計算不可能数～
　レベル１０：ふぃっしゅ数ヴァージョン7、ラヨ数、サスクワッチ数などを含む。

**１３２人目の素数さん** · 2018/11/27(火) 10:55:51.52

3↑↑↑↑3
= 3↑↑↑3↑↑↑3
= 3↑↑↑(3^3^...{7625597484987個}...^3^3)
= 3↑↑3↑↑...{3^3^...{7625597484987個}...^3^3個}...↑↑3↑↑3
= AA

AAの計算↓
A[1] = 3
A[2] = 3↑↑3 = 3^3^...{A[1]個}...^3^3 = 3^3^3 = 7625597484987
A[3] = 3↑↑3↑↑3 = 3^3^3^...{A[2]個}...^3^3^3 = 3^3^3^...{7625597484987個}...^3^3^3
A[4] = 3↑↑3↑↑3↑↑3 = 3^3^3^...{A[3]個}...^3^3^3
A[5] = 3↑↑3↑↑3↑↑3↑↑3 = 3^3^3^...{A[4]個}...^3^3^3
A[6] = 3^3^3^...{A[5]個}...^3^3^3
A[7] = 3^3^3^...{A[6]個}...^3^3^3
...省略...
A[3^3^...{7625597484987個}...^3^3-2] = 3^3^...{A[3^3^...{7625597484987個}...^3^3-3]個}...^3^3
A[3^3^...{7625597484987個}...^3^3-1] = 3^3^...{A[3^3^...{7625597484987個}...^3^3-2]個}...^3^3
A[3^3^...{7625597484987個}...^3^3] = 3^3^...{A[3^3^...{7625597484987個}...^3^3-1]個}...^3^3

AA = A[3^3^...{7625597484987個}...^3^3]

**１３２人目の素数さん** · 2018/11/27(火) 20:05:18.57

ブーフホルツのヒドラってノードにωもてるけどさらにε_0とか持てるようにしたらどの程度強くなる？

**１３２人目の素数さん** · 2018/11/27(火) 20:54:54.52

レベル修正。
　レベル１：1～10^4　【10^4は、１から2桁ごとに上がった最後の数詞「万」】　
　レベル２：10^4～10^16　【1京以下の数。10^8～10^68まで4桁ごとに数詞が変わる】

～天文学的数字と言われる数。中学生でも理解できる数　～
　レベル３：10^16～10^100　【京から無量大数までの数詞、エディントン数を含む】
　レベル４：10^100～10^(10^100)　【矜羯羅～不可説不可説転までの数詞を含む】　
　レベル５：10^（10^100）～10↑↑10　【スキューズ数やベントレー数を含む】
　レベル６：10↑↑10～10↑↑（10^100）　　　　　　　　　　
　レベル７：レベル６以上の計算可能なテトレーションとペンテーション。　　　　　　　　　　

～高等数学を学んだ御仁しか分からない巨大数～
　レベル８：チェーン表記やペンテーション以上の数。　【グラハム数を含む】
　レベル９：変数アッカーマン関数とかカントール標準形レベルの数。

～計算不可能数～
　レベル１０：ふぃっしゅ数ヴァージョン7、ラヨ数、サスクワッチ数などを含む。

**１３２人目の素数さん** · 2018/11/28(水) 06:29:54.73

計算不可能関数
計算不可能集合
はちゃんとした定義があるが

計算不可能数
なんて物は無い

**１３２人目の素数さん** · 2018/11/28(水) 07:20:23.35

http://ja.googology.wikia.com/wiki/数の一覧

＞ここには計算可能関数ではない関数、すなわちチューリングマシンで計算不可能な数が入ります。
　チューリングマシンって平たく言うと、コンピューター？　

**１３２人目の素数さん** · 2018/11/28(水) 11:10:38.43

Σ（n=1～∞）n　=　∞, 　1/0　＝　∞

数学科しか理解できな使い道のない巨大数なんか意味ない。
いっそ、無限大を数として定義したほうがいい。

1^0＝1、1,000,000,000,000^0＝1,グラハム数^0＝1;
サスクワッチ数^0＝1,（ふぃっしゅ数ヴァージョン7）^0＝1。

数学の定義ではどんな巨大数でも、0乗したら1になる。
だったら、無限大も概念ではなくて“数”と定義してよ！
これで、高等数学を理解せずとも、簡単に最強の“数”を作り出せる！

そもそも、テトレーションで表せない数は卑怯！

**１３２人目の素数さん** · 2018/11/28(水) 11:40:14.04

順序数
そもそも巨大数のルールとして有限じゃないとだめ

**１３２人目の素数さん** · 2018/11/28(水) 11:43:02.94

ベントレー数て、あるじゃん？　10↑↑9に、10↑↑8足した数も正確に表せない件。
結局兄妹数もとい、巨大数って正確な計算不可能数じゃないのか？

なんなんだよ！　政府は義務教育で微積や巨大数を理解できるくらいにしてよ！
「受験戦争」の詰め込みがあった時代には高校でも偏微分とかならっていたようだ。
というか、その当時は文系でも大学受験には数学が試験にあったらしい。

文系なんか切り捨てて、大学は理系の学問だけ学ばせるようにしろ！
・・・・・・グラハム数を理解できない自分と環境を呪う。

巨大数を理解できたからって、偉いわけじゃない。しかし・・・・・・
なんかこう、理解できない自分に無力感を感じてしまって、苛立ちを覚えると
同時にどうでもいい感覚が沸き起こる件について。

**￣￣|／￣￣￣￣** · 2018/11/28(水) 16:06:32.44

　　　　＿＿＿＿_
　　／::::::::::::::::::::::::::＼　　　　　　　　　　　　　　　　　＿
　 /::::::::::::::::::::::::::::::::::::::＼　　　　　　　　　　　／￣　　￣＼
　 |:::::::::::::::::|＿|＿|＿|＿|　　　　　　　　　　/、　　　　　　　　ヽ　
　 |;;;;;;;;;;ノ　　　／,, ,,＼ヽ　　　　　　　　　　|・ |―-、　　　　　　 |
　 |::（ 6　　ー─□─□　）　　　　　　　　ｑ -´　二ヽ　　　　　 | 　はあ？いいから働けウンコ製造機
　 |ノ　　（∵∴　（ o o）∴）　　　　　　　　ノ＿　ー　 |　　　　　| 　　
／|　　　<　　∵　　３　∵>　　　　　　　　　＼.￣｀　 |　　　　/
::::::＼　　ヽ　　　　　　　ノ＼　　　　　　　　　　O＝＝＝＝＝ |
:::::::::::::＼＿＿＿＿＿ノ:::::::::::＼　　　　　　　　/　　　　　　　　 |

**１３２人目の素数さん** · 2018/11/28(水) 16:26:23.66

とりあえずもちつけ

**１３２人目の素数さん** · 2018/11/28(水) 17:52:04.72

まあある程度より大きい自然数なんて想像上だけの存在みたいなもんだ。
自然数も虚数も同じ程度に想像の産物であり同じ程度に便利で実用的で、慣れれば使える実感ある存在でもある。

**１３２人目の素数さん** · 2018/11/28(水) 23:07:10.06

自分の理解の及ぶ範囲を発表する場ではないぞ
テトレーション以降は意味無いとか言われても「知らんがな」で終わっちゃう

**１３２人目の素数さん** · 2018/11/28(水) 23:10:56.91

その「知らんがな」な人ばかりじゃん最近

**１３２人目の素数さん** · 2018/11/28(水) 23:16:43.84

このスレの1番でかい奴＋1
はい俺の勝ち

**１３２人目の素数さん** · 2018/11/28(水) 23:36:59.68

ひとりが目立ってるだけじゃ

**１３２人目の素数さん** · 2018/11/29(木) 07:32:45.28

>>737
サスクワッチ+1はill-definedなので残念ながら認められません

**１３２人目の素数さん** · 2018/11/29(木) 08:04:05.21

サスクワッチでも良いけど
ちゃんと定義にしようよ

**１３２人目の素数さん** · 2018/11/29(木) 08:07:53.22

定義してるが

**１３２人目の素数さん** · 2018/11/29(木) 09:13:53.39

>>737ベリーのパラドックスや

**１３２人目の素数さん** · 2018/11/29(木) 22:06:54.04

現状でサスクワッチが(本質的に)最大だとしたら

サスクワッチを大きく越える数の研究
サスクワッチ自体の研究

がこのスレの目的であろう

**１３２人目の素数さん** · 2018/11/29(木) 22:12:38.61

勝手に限定すんな

**１３２人目の素数さん** · 2018/11/29(木) 22:35:26.71

>>735

**１３２人目の素数さん** · 2018/11/29(木) 22:36:07.15

まあ普通に考えたら一番大きい巨大数を探すのがメインの目的になるわな
何故そうならないかと言えば皆理解できないから

**１３２人目の素数さん** · 2018/11/29(木) 23:01:34.25

じゃあ、順序数ごとにスレわけるか。

巨大数ωスレ
巨大数ω＾ωスレ
巨大数ω＾ω＾ωスレ
…
巨大数ε_0スレ
…
巨大数ω_１^CKスレ

**１３２人目の素数さん** · 2018/11/29(木) 23:05:54.97

いくらなんでもものの考えかたが一律的すぎるし、>>406のような背景を把握できてるのかよくわからないし、
べつに計算不可能レベルを否定するわけじゃないしそれはそれでありだとは個人的に思うけどけど
その説明が毎度毎度感情的というか、あまり客観的で理性的な説明になってない気がするのが
正直な感想

**１３２人目の素数さん** · 2018/11/29(木) 23:18:13.80

「知らんがな」

**１３２人目の素数さん** · 2018/11/29(木) 23:20:48.94

「知らんがな」が「知らんがな」

**１３２人目の素数さん** · 2018/11/30(金) 07:37:52.63

別に計算可能巨大数を生み出すことも、その面白さやアイデアが活かされる可能性は普通に分かるが、
仮に今の巨大数のトップが明確に分かりやすいものであれば「よりでかい巨大数を！」ってなるのは容易に想像できるし、過去がそうだったからよりでかい巨大数が増えてきた
実際>>406のような背景があってplatnist's universe否定主義者であっても、その主義の中では「戦え数」が一番大きいわけで、計算可能に立ち返る必要はないわけだからね

**１３２人目の素数さん** · 2018/11/30(金) 21:12:47.09

最近戦え数より強いの作ったそうだ

**１３２人目の素数さん** · 2018/12/01(土) 08:13:09.08

>>746
確かに俺には理解できないね。
サクスワッチがいくつになるかも、
ペアノ算術が矛盾を含むかどうかも。
ついでに言うとどんな人間にも理解できないだろう。

そして一部の人は理解できないことが存在するというのを理解できず、
単に努力や知性が足りないだけだと決めつけたり、
理解できてるふりをして理解できてない他者を見下したりするだろうな。

**majimanji** · 2018/12/01(土) 08:34:28.59

話題を変えるようで申し訳ないけど、関数階層を作った。
こんなの。J_0(n)=n*2 J_m+1(n)=J^J_n-1(n-1)_m(n) J_m(0)=m+1

**１３２人目の素数さん** · 2018/12/01(土) 09:48:22.30

Wikipediaのペンテーションを見て、計算したけど、あってる？

10↑↑（10↑↑10）＝10↑↑（10^10^10^10^10^10^10^10^10^10）

10↑↑↑3＝10↑↑（10↑↑（10↑↑10））
＝10↑↑（10↑↑（10^10^10^10^10^10^10^10^10^10））

これで、あってる？

二回テトレーションしただけで巨大数できるんだが。ペンテーション、わけわからない。
10↑↑（10↑↑4）＝　10↑↑（10^10^10^10）＝10↑↑（10^10^10000000000）;

1googoltriprex（10^10^10^100）　≫　10↑↑（10^10^10000000000）　≫　10^10^100　（＝１googoleplex）

**１３２人目の素数さん** · 2018/12/01(土) 11:55:24.36

>>753
努力や知性が足りないのでなければ何が足りないのだろうか
巨大数に対する興味であれば、このスレに来ること自体が間違ってるし、そりゃ見下されても仕方ないのでは

**１３２人目の素数さん** · 2018/12/01(土) 12:33:35.85

たとえばビジービーバー関数の値を自然な解釈で決定する理論は、簡単にいえば
無限に複雑で原理的に知りようがない。知るための何かが足りないという問題ではない。
しかし知ることはできなくてもそういう理論の存在を仮定することで自然なビジービーバー関数が成立する。
ラヨ関数とFOSTに対するplatonist universeについても同様
こういうレギュレーションを分ける動機がどれだけ共有されてるんだろうか。

**１３２人目の素数さん** · 2018/12/01(土) 12:41:20.38

サスカッチは1階言語のplatonist universeですら済まなくなるような

**１３２人目の素数さん** · 2018/12/01(土) 13:03:35.30

そもそも具体的な値、つまりアラビア数字の列での表現を求めるのは巨大数のメインの趣旨とは異なる
platnist's universeに関して認めないとしても、計算不能である戦え数(より大きいのを編み出してたとしたらそれ)が一番大きいわけで

計算可能とかplatnistとか以前に、高校数学あるいは順序数の初歩では太刀打ちできないほど難しい、だから皆メインの目的から逸れるしかない、というのが実情

**１３２人目の素数さん** · 2018/12/01(土) 19:10:55.61

大学の巨大数サークルってあるんやな
イベントとか開いてほしい

**１３２人目の素数さん** · 2018/12/01(土) 22:25:56.92

ヒカキンの年収が10億超え!?明石家さんま・坂上忍も驚愕の総資産とは??
https://logtube.jp/variety/28439
【衝撃】ヒカキンの年収・月収を暴露！広告収入が15億円超え！？
https://nicotubers.com/yutuber/hikakin-nensyu-gessyu/
HIKAKIN(ヒカキン)の年収が14億円！？トップYouTuberになるまでの道のりは？
https://youtuberhyouron.com/hikakinnensyu/
ヒカキンの月収は１億円！読唇術でダウンタウンなうの坂上忍を検証！
https://mitarashi-highland.com/blog/fun/hikakin
なぜか観てしまう！！サバイバル系youtuberまとめ
http://tokyohitori.hatenablog.com/entry/2016/10/01/102830
あのPewDiePieがついに、初心YouTuber向けに「視聴回数」「チャンネル登録者数」を増やすコツを公開！
http://naototube.com/2017/08/14/for-new-youtubers/
27歳で年収8億円　女性ユーチューバー「リリー・シン」の生き方
https://headlines.yahoo.co.jp/article?a=20170802-00017174-forbes-bus_all
1年で何十億円も稼ぐ高収入ユーチューバー世界ランキングトップ10
https://gigazine.net/news/20151016-highest-paid-youtuber-2015/
おもちゃのレビューで年間12億円！今、話題のYouTuberは6歳の男の子
https://www.businessinsider.jp/post-108355
彼女はいかにして750万人のファンがいるYouTubeスターとなったのか？
https://www.businessinsider.jp/post-242
1億円稼ぐ9歳のYouTuberがすごすぎる……アメリカで話題のEvanTubeHD
https://weekly.ascii.jp/elem/000/000/305/305548/
世界で最も稼ぐユーチューバー、2連覇の首位は年収17億円
https://forbesjapan.com/articles/detail/14474

**１３２人目の素数さん** · 2018/12/02(日) 08:12:47.41

2↑↑↑2=2^2=　2↑(2↑↑2)=4

5↑↑↑2=　5↑↑5=10^(10^(10^2184.125722088846))

10↑↑↑2=10↑↑（10の10乗）=10↑↑1,000,000,000

3↑↑↑3=　3↑↑（3の3の3乗）=3↑↑7625597484987

10↑↑↑5=　10^10^10^10^10=10↑↑１0^10^10^10^10
=10↑↑１0^10^（10^1,000,000,000）

10↑↑↑10^19　＝　E10#(10^19)＝E10#E19．

グーゴルエクサプレックスを超える。ペンテーション恐るべし。

**majimanji** · 2018/12/02(日) 16:33:34.14

https://scratch.mit.edu/projects/230349545/

2018/12/04(火) 03:51:44.34

【教育】文系の大学生でも数学を　経団連提言★４
https://asahi.5ch.net/test/read.cgi/newsplus/1543851226/638

自分：名無しさん＠１周年[] 投稿日：2018/12/04(火) 03:12:35.33 ID:yaUW0uCr0 [1/4]
10↑↑↑10 = 10↑↑（10↑↑10)　=　10↑↑(10^10^10^10^10^10^10^10^10^10)

3↑↑↑3　=　3↑↑(3↑↑3)=　3↑↑（3^3^3）=　3↑↑（3^27）=　3↑↑　7625597484987
≒　10↑↑（7625597484985）＾12.56090264130030

これであってるんだろうか？　↑↑のテトレーションまでは理解できるけど。
↑↑↑のペンテーションは少し自信がない。ちなみに、10↑↑2 = 10^10 =10,000,000,000
10↑↑3=　10^（10^10） =10^10,000,000,000で、“グーグル”の元になった、グーゴル（10^100）
を簡単に超える。

**１３２人目の素数さん** · 2018/12/04(火) 07:22:44.74

グラハム数　MODULAR　3　=　1,　俺の勝ち！　
さあ、巨大数マニアよ、かかってきなさい！
どんな巨大数も3以下にしてやるわ！　ははっはっは！
巨大数、破れたり！

**１３２人目の素数さん** · 2018/12/04(火) 13:25:51.81

グラハム数 x 0 = 0

どんな巨大数も0にしてやるわ！

**１３２人目の素数さん** · 2018/12/04(火) 18:37:52.02

0=1からグラハム数　MODULAR　3　> サスカッチもグラハム数 x 0 > サスカッチも導くことができる
0=1こそ最強！

**１３２人目の素数さん** · 2018/12/04(火) 19:09:20.05

そこで_paraconsistent logic ですよ

**１３２人目の素数さん** · 2018/12/04(火) 19:12:12.36

カナモリかよ

**１３２人目の素数さん** · 2018/12/05(水) 01:23:05.89

3↑↑↑3　=　3↑↑(3↑↑3)=　3↑↑（3^3^3）=　3↑↑（3^27）=　3↑↑　7625597484987
≒　10↑↑（7625597484985）＾12.56090264130030...

7625597484985＾12.88227387743077190258442239526273471005805825333986006711...
＝　6.5011168638789100352987253372546086936166276568916553... × 10^161　なので、

10↑↑（7625597484985）＾12.5609026413003...
＝　10↑↑（6.5011168638789100352987253372546086936166276568916553... × 10^161)

10^10^10^10^10^10^10^10^10^10^10^10…と、およそ6.5×10の161乗回も続く数なのに、
10↑↑（6.501116863878910035298725337254608693616... × 10^161)　modular 3　=　1　
になるｗｗｗｗ

**１３２人目の素数さん** · 2018/12/05(水) 02:20:13.19

１にしたいのなら０乗するのが手っ取り早いと思う

**１３２人目の素数さん** · 2018/12/05(水) 08:46:21.82

Z/3Zに大小の概念は入るの

**１３２人目の素数さん** · 2018/12/05(水) 13:03:28.71

Z/3ZじゃなくてZ上の演算だろ

**１３２人目の素数さん** · 2018/12/05(水) 14:22:55.96

ほんとだ mod取ってるだけだ
恥ずかしい…

**１３２人目の素数さん** · 2018/12/05(水) 20:49:58.20

Σ(100) mod 3 は求められるか？

**１３２人目の素数さん** · 2018/12/05(水) 21:50:05.80

おれは無理
神なら可能

**１３２人目の素数さん** · 2018/12/06(木) 13:13:45.87

このシグマが分からないが、Σ(100) mod 3 =　1以上3以下じゃないの？

**１３２人目の素数さん** · 2018/12/06(木) 18:46:34.56

0以上2以下では？

**１３２人目の素数さん** · 2018/12/06(木) 21:21:26.32

求められるかって聞かれてるのに
範囲を答えてもしょうがない

**１３２人目の素数さん** · 2018/12/06(木) 21:24:20.54

おれの予想は1だな
誰も証明も反証も出来ないから何でも良い

**１３２人目の素数さん** · 2018/12/07(金) 00:28:55.15

ここで言う狽ﾁてなんだ

**１３２人目の素数さん** · 2018/12/07(金) 08:32:39.91

ビジービーバー関数
でしょ？

**１３２人目の素数さん** · 2018/12/07(金) 13:12:35.91

ビーバーって、川にダムを作るげっ歯類の生き物でだと認識しているが、なんで忙しんだ？

**１３２人目の素数さん** · 2018/12/07(金) 22:18:10.80

Σ(100) mod 3 = 2だよ。
証明しました。

ただし証明はΣ（100)文字位の長さになるからここにup出来ない。
残念。

**majimanji** · 2018/12/08(土) 06:40:01.87

>>784
なぜか、ちょっと笑った

**１３２人目の素数さん** · 2018/12/08(土) 09:49:52.95

>>784
東大卒でも、フェルマーの「余白が無くて書ききれない」のハッタリ文章
を知らなかった人がいた。しかも中国の近代史を知らない。(文系）

東大院卒でも、「象牙の塔」と「人海戦術」の意味を知らない人がいた。(理系）
ちなみに両方とも知人ｗｗｗ

というか東大でも文系は、微積分とか線形代数を知らないんだ？　ふーん？　って思った。

**１３２人目の素数さん** · 2018/12/08(土) 11:23:51.32

【速報】朝日新聞社を罵倒した『日本国紀』、よりにもよってその朝日から無断転載

https://rondan.net/6323

**１３２人目の素数さん** · 2018/12/08(土) 11:48:35.20

>>786
東大に夢見すぎ

**１３２人目の素数さん** · 2018/12/08(土) 16:28:35.88

>>784
そんな長い証明を良く君の頭の中で組み立てられたね

**１３２人目の素数さん** · 2018/12/08(土) 16:35:07.51

>>789に書きもらしたことの追加

というのも>>784さんの身体（高々100 kgのオーダーでしょ）には素粒子（特にフェルミ粒子…これは仮想的な生成消滅を除けば個数を勘定できる粒子）は
高々10^30個程度しか存在していないからさ

（ああ、もちろん>>785さんのレスのような>>784への感想は私も共有してますよ）

**１３２人目の素数さん** · 2018/12/08(土) 17:09:51.96

人間の脳の容量は10TB無いからな

**１３２人目の素数さん** · 2018/12/08(土) 21:46:43.63

このスレも落ちたもんだな。。
過去のスレを見返してみろよ

**１３２人目の素数さん** · 2018/12/09(日) 08:38:50.99

純粋数学って、数学科の人しか理解できないじゃん。物理で使う応用数学だって
常微分方程式とか偏微分方程式とか、ある程度の科学ファンなら、知っているけど

数学科が習う内容は高度過ぎて、物理学科の人ですら理解できないとか言ったぞ。
物理数学は20世紀初頭までの数学だし。

最新テクノロジーや少し科学が好きな程度の一般人(例えば俺）が高度な議論なんか
できなくて当然さ。

文系の大学の入試に数学が必要なくなって何十年も過ぎたせい。
それどころか、ゆとり世代は科学啓蒙雑誌「ニュートン」すら、読まないとか聞いた。

数学得意な人って雑誌「大学への数学」とか読んでたんだろう。この推論は正しいはずだ！
知人の東大卒がそうだったから。

**１３２人目の素数さん** · 2018/12/09(日) 08:57:42.77

雑誌を読んでると偉い
読まないとダメ
みたいな考え方が古い

東大の数学科を出たけど、
雑誌はほとんど読んでない

**１３２人目の素数さん** · 2018/12/09(日) 09:20:40.69

あなたは、日本のラマヌジャンか？

**１３２人目の素数さん** · 2018/12/09(日) 10:45:56.97

でもここ数学板だし、
数学科レベルは求められても仕方ない

巨大数は院の専攻レベルだから分からなくてもしゃーないが

**１３２人目の素数さん** · 2018/12/09(日) 15:40:53.67

巨大数に求められる知識って数学のなかでもけっこう異端な気がする

**１３２人目の素数さん** · 2018/12/10(月) 18:08:26.42

少しづつ理解するしかない気がする。
最近、順序数が何かを知ったぐらいの人間の感想としては。

**１３２人目の素数さん** · 2018/12/10(月) 23:03:21.85

計算可能な関数ならプログラム書いて動かしてみるのが一番いいと思われる。

**１３２人目の素数さん** · 2018/12/10(月) 23:18:56.90

n=10^80

'　10^80はエディントン数　

for i=1 to n
print "10↑↑↑"；
next i
print "10"

end

**１３２人目の素数さん** · 2018/12/11(火) 13:17:11.73

>>799
このスレて扱うレベルだと
リソースも時間も足りない
つまりプログラムで計算するのは不可能です

**１３２人目の素数さん** · 2018/12/11(火) 21:12:23.62

例え学部生に難しいレベルでも、1万時間やれば出来るはずだからな

**１３２人目の素数さん** · 2018/12/11(火) 22:17:49.50

' -- Over Graham's　Number BASIC program --

n=10^80
'10^80 = Arthur Eddington's Number.

for i=1 to n
　　print"10";
　　 for j=1 to n
　　　　 print"↑↑";　
　　 next j
next i
print "10"

end

**１３２人目の素数さん** · 2018/12/12(水) 21:32:57.39

超えてなくね？

**１３２人目の素数さん** · 2018/12/13(木) 10:40:12.17

http://lihachevss.ru/fghvsarray.html

**１３２人目の素数さん** · 2018/12/15(土) 10:35:19.35

>>804
じゃあ、 print"↑↑";　を、print"↑↑↑";　に置き換えるまで！

**１３２人目の素数さん** · 2018/12/15(土) 11:45:02.60

ほとんど変わってないし

**１３２人目の素数さん** · 2018/12/16(日) 09:42:31.93

とか言うけど、フランスでは燃料税16%ほどでも暴動が起きるレベル。
とてつもなく変わってるでしょ！

ひと月の手取り￥2＊(10^5)が、\2*（10^7）になったらすごいのに、
\10↑↑↑2=　10↑（10↑↑2)=　10↑（10^10)＝\10＾10,000,000,000
になったらすごすぎ。巨大数マニアはもしかしてニートか何か？

**１３２人目の素数さん** · 2018/12/16(日) 13:20:08.67

燃料税がグラハム数%からグラハム数+16%上がったところで暴動は起きないでしょ
・・・燃料税がグラハム数%って時点でいろいろ破綻してそうだけど

**１３２人目の素数さん** · 2018/12/17(月) 00:37:21.59

１グラハム旧円=1新円にデノミしそう。

**１３２人目の素数さん** · 2018/12/17(月) 10:34:15.96

一般的な庶民：「消費税を10パーセントにあげる自民、ふざけてるの？」

巨大数マニア：「燃料税がグラハム数%からグラハム数+16%上がったところで
暴動は起きないでしょ」

結論：巨大数マニアはニートな非国民（労働の義務を果たしていないのは非国民）