18/11/28 07:20:23.35 Op/dkIJl.net
URLﾘﾝｸ(ja.googology.wikia.com)数の一覧
＞ここには計算可能関数ではない関数、すなわちチューリングマシンで計算不可能な数が入ります。
チューリングマシンって平たく言うと、コンピューター？
757:１３２人目の素数さん
18/11/28 11:10:38.43 Op/dkIJl.net
Σ（n=1～∞）n = ∞, 1/0 ＝ ∞
数学科しか理解できな使い道のない巨大数なんか意味ない。
いっそ、無限大を数として定義したほうがいい。
1^0＝1、1,000,000,000,000^0＝1,グラハム数^0＝1;
サスクワッチ数^0＝1,（ふぃっしゅ数ヴァージョン7）^0＝1。
数学の定義ではどんな巨大数でも、0乗したら1になる。
だったら、無限大も概念ではなくて“数”と定義してよ！
これで、高等数学を理解せずとも、簡単に最強の“数”を作り出せる！
そもそも、テトレーションで表せない数は卑怯！
758:１３２人目の素数さん
18/11/28 11:40:14.04 ogcKez3X.net
順序数
そもそも巨大数のルールとして有限じゃないとだめ
759:１３２人目の素数さん
18/11/28 11:43:02.94 Op/dkIJl.net
ベントレー数て、あるじゃん？ 10↑↑9に、10↑↑8足した数も正確に表せない件。
結局兄妹数もとい、巨大数って正確な計算不可能数じゃないのか？
なんなんだよ！ 政府は義務教育で微積や巨大数を理解できるくらいにしてよ！
「受験戦争」の詰め込みがあった時代には高校でも偏微分とかならっていたようだ。
というか、その当時は文系でも大学受験には数学が試験にあったらしい。
文系なんか切り捨てて、大学は理系の学問だけ学ばせるようにしろ！
・・・・・・グラハム数を理解できない自分と環境を呪う。
巨大数を理解できたからって、偉いわけじゃない。しかし・・・・・・
なんかこう、理解できない自分に無力感を感じてしまって、苛立ちを覚えると
同時にどうでもいい感覚が沸き起こる件について。
760:￣￣|／￣￣￣￣
18/11/28 16:06:32.44 wTfSh7DE.net
＿＿＿＿_
／::::::::::::::::::::::::::＼ ＿
/::::::::::::::::::::::::::::::::::::::＼ ／ ￣ ￣ ＼
|:::::::::::::::::|＿|＿|＿|＿| /、 ヽ
|;;;;;;;;;;ノ ／,, ,,＼ ヽ |・ |―-、 |
|::（ 6 ー─□─□ ） ｑ -´ 二 ヽ | はあ？いいから働けウンコ製造機
|ノ （∵∴ （ o o）∴） ノ＿ ー | |
／| < ∵ ３ ∵> ＼.￣｀ | /
::::::＼ ヽ ノ＼ O＝＝＝＝＝ |
:::::::::::::＼＿＿＿＿＿ノ:::::::::::＼ / |
761:１３２人目の素数さん
18/11/28 16:26:23.66 al5qhsfz.net
とりあえずもちつけ
762:１３２人目の素数さん
18/11/28 17:52:04.72 aeC6B477.net
まあある程度より大きい自然数なんて想像上だけの存在みたいなもんだ。
自然数も虚数も同じ程度に想像の産物であり同じ程度に便利で実用的で、慣れれば使える実感ある存在でもある。
763:１３２人目の素数さん
18/11/28 23:07:10.06 m0p+Vkcn.net
自分の理解の及ぶ範囲を発表する場ではないぞ
テトレーション以降は意味無いとか言われても「知らんがな」で終わっちゃう
764:１３２人目の素数さん
18/11/28 23:10:56.91 gLerpoJS.net
その「知らんがな」な人ばかりじゃん最近
765:１３２人目の素数さん
18/11/28 23:16:43.84 NmuEBpWr.net
このスレの1番でかい奴＋1
はい俺の勝ち
766:１３２人目の素数さん
18/11/28 23:36:59.68 al5qhsfz.net
ひとりが目立ってるだけじゃ
767:１３２人目の素数さん
18/11/29 07:32:45.28 O4M8+ATn.net
>>737
サスクワッチ+1はill-definedなので残念ながら認められません
768:１３２人目の素数さん
18/11/29 08:04:05.21 lj0Rrxnh.net
サスクワッチでも良いけど
ちゃんと定義にしようよ
769:１３２人目の素数さん
18/11/29 08:07:53.22 O4M8+ATn.net
定義してるが
770:１３２人目の素数さん
18/11/29 09:13:53.39 4GyZGXP3.net
>>737ベリーのパラドックスや
771:１３２人目の素数さん
18/11/29 22:06:54.04 lj0Rrxnh.net
現状でサスクワッチが(本質的に)最大だとしたら
サスクワッチを大きく越える数の研究
サスクワッチ自体の研究
がこのスレの目的であろう
772:１３２人目の素数さん
18/11/29 22:12:38.61 wn4diSRS.net
勝手に限定すんな
773:１３２人目の素数さん
18/11/29 22:35:26.71 lj0Rrxnh.net
>>735
774:１３２人目の素数さん
18/11/29 22:36:07.15 kmXvLoXG.net
まあ普通に考えたら一番大きい巨大数を探すのがメインの目的になるわな
何故そうならないかと言えば皆理解できないから
775:１３２人目の素数さん
18/11/29 23:01:34.25 wn4diSRS.net
じゃあ、順序数ごとにスレわけるか。
巨大数ωスレ
巨大数ω＾ωスレ
巨大数ω＾ω＾ωスレ
…
巨大数ε_0スレ
…
巨大数ω_１^CKスレ
776:１３２人目の素数さん
18/11/29 23:05:54.97 4GyZGXP3.net
いくらなんでもものの考えかたが一律的すぎるし、>>406のような背景を把握できてるのかよくわからないし、
べつに計算不可能レベルを否定するわけじゃないしそれはそれでありだとは個人的に思うけどけど
その説明が毎度毎度感情的というか、あまり客観的で理性的な説明になってない気がするのが
正直な感想
777:１３２人目の素数さん
18/11/29 23:18:13.80 lj0Rrxnh.net
「知らんがな」
778:１３２人目の素数さん
18/11/29 23:20:48.94 4GyZGXP3.net
「知らんがな」が「知らんがな」
779:１３２人目の素数さん
18/11/30 07:37:52.63 AglGxP5a.net
別に計算可能巨大数を生み出すことも、その面白さやアイデアが活かされる可能性は普通に分かるが、
仮に今の巨大数のトップが明確に分かりやすいものであれば「よりでかい巨大数を！」ってなるのは容易に想像できるし、過去がそうだったからよりでかい巨大数が増えてきた
実際>>406のような背景があってplatnist's universe否定主義者であっても、その主義の中では「戦え数」が一番大きいわけで、計算可能に立ち返る必要はないわけだからね
780:１３２人目の素数さん
18/11/30 21:12:47.09 hFX/l3Rd.net
最近戦え数より強いの作ったそうだ
781:１３２人目の素数さん
18/12/01 08:13:09.08 9fBYwyoy.net
>>746
確かに俺には理解できないね。
サクスワッチがいくつになるかも、
ペアノ算術が矛盾を含むかどうかも。
ついでに言うとどんな人間にも理解できないだろう。
そして一部の人は理解できないことが存在するというのを理解できず、
単に努力や知性が足りないだけだと決めつけたり、
理解できてるふりをして理解できてない他者を見下したりするだろうな。
782:majimanji
18/12/01 08:34:28.59 bSIGFV2c.net
話題を変えるようで申し訳ないけど、関数階層を作った。
こんなの。J_0(n)=n*2 J_m+1(n)=J^J_n-1(n-1)_m(n) J_m(0)=m+1
783:１３２人目の素数さん
2018/1
784:2/01(土) 09:48:22.30 ID:IzarxmOI.net
785:１３２人目の素数さん
18/12/01 11:55:24.36 sYFx4JM+.net
>>753
努力や知性が足りないのでなければ何が足りないのだろうか
巨大数に対する興味であれば、このスレに来ること自体が間違ってるし、そりゃ見下されても仕方ないのでは
786:１３２人目の素数さん
18/12/01 12:33:35.85 nU00zbJe.net
たとえばビジービーバー関数の値を自然な解釈で決定する理論は、簡単にいえば
無限に複雑で原理的に知りようがない。知るための何かが足りないという問題ではない。
しかし知ることはできなくてもそういう理論の存在を仮定することで自然なビジービーバー関数が成立する。
ラヨ関数とFOSTに対するplatonist universeについても同様
こういうレギュレーションを分ける動機がどれだけ共有されてるんだろうか。
787:１３２人目の素数さん
18/12/01 12:41:20.38 nU00zbJe.net
サスカッチは1階言語のplatonist universeですら済まなくなるような
788:１３２人目の素数さん
18/12/01 13:03:35.30 sYFx4JM+.net
そもそも具体的な値、つまりアラビア数字の列での表現を求めるのは巨大数のメインの趣旨とは異なる
platnist's universeに関して認めないとしても、計算不能である戦え数(より大きいのを編み出してたとしたらそれ)が一番大きいわけで
計算可能とかplatnistとか以前に、高校数学あるいは順序数の初歩では太刀打ちできないほど難しい、だから皆メインの目的から逸れるしかない、というのが実情
789:１３２人目の素数さん
18/12/01 19:10:55.61 0GNo+JoG.net
大学の巨大数サークルってあるんやな
イベントとか開いてほしい
790:１３２人目の素数さん
18/12/01 22:25:56.92 oLhduph7.net
ヒカキンの年収が10億超え!?明石家さんま・坂上忍も驚愕の総資産とは??
URLﾘﾝｸ(logtube.jp)
【衝撃】ヒカキンの年収・月収を暴露！広告収入が15億円超え！？
URLﾘﾝｸ(nicotubers.com)
HIKAKIN(ヒカキン)の年収が14億円！？トップYouTuberになるまでの道のりは？
URLﾘﾝｸ(youtuberhyouron.com)
ヒカキンの月収は１億円！読唇術でダウンタウンなうの坂上忍を検証！
URLﾘﾝｸ(mitarashi-highland.com)
なぜか観てしまう！！サバイバル系youtuberまとめ
URLﾘﾝｸ(tokyohitori.hatenablog.com)
あのPewDiePieがついに、初心YouTuber向けに「視聴回数」「チャンネル登録者数」を増やすコツを公開！
URLﾘﾝｸ(naototube.com)
27歳で年収8億円 女性ユーチューバー「リリー・シン」の生き方
URLﾘﾝｸ(headlines.yahoo.co.jp)
1年で何十億円も稼ぐ高収入ユーチューバー世界ランキングトップ10
URLﾘﾝｸ(gigazine.net)
おもちゃのレビューで年間12億円！ 今、話題のYouTuberは6歳の�
791:jの子 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
792:１３２人目の素数さん
18/12/02 08:12:47.41 KVQR++6d.net
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．
グーゴルエクサプレックスを超える。ペンテーション恐るべし。
793:majimanji
18/12/02 16:33:34.14 aXpZsQml.net
URLﾘﾝｸ(scratch.mit.edu)
794:巨大数が世間ではまったく関心がない件について。
18/12/04 03:51:44.34 w2H5e+yr.net
【教育】文系の大学生でも数学を 経団連提言★４
ｽﾚﾘﾝｸ(newsplus板: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）
を簡単に超える。
795:１３２人目の素数さん
18/12/04 07:22:44.74 w2H5e+yr.net
グラハム数 MODULAR 3 = 1, 俺の勝ち！
さあ、巨大数マニアよ、かかってきなさい！
どんな巨大数も3以下にしてやるわ！ ははっはっは！
巨大数、破れたり！
796:１３２人目の素数さん
18/12/04 13:25:51.81 +F5YEy5l.net
グラハム数 x 0 = 0
どんな巨大数も0にしてやるわ！
797:１３２人目の素数さん
18/12/04 18:37:52.02 n8lrKlAe.net
0=1からグラハム数 MODULAR 3 > サスカッチ も グラハム数 x 0 > サスカッチ も導くことができる
0=1こそ最強！
798:１３２人目の素数さん
18/12/04 19:09:20.05 Z6QIltXf.net
そこで_paraconsistent logic ですよ
799:１３２人目の素数さん
18/12/04 19:12:12.36 ZIKzNcbg.net
カナモリかよ
800:１３２人目の素数さん
18/12/05 01:23:05.89 dgESM0uu.net
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
になるｗｗｗｗ
801:１３２人目の素数さん
18/12/05 02:20:13.19 RjLrja8S.net
１にしたいのなら０乗するのが手っ取り早いと思う
802:１３２人目の素数さん
18/12/05 08:46:21.82 ZRcQsFAM.net
Z/3Zに大小の概念は入るの
803:１３２人目の素数さん
18/12/05 13:03:28.71 Ijk8S02/.net
Z/3ZじゃなくてZ上の演算だろ
804:１３２人目の素数さん
18/12/05 14:22:55.96 sL2BPGiD.net
ほんとだ mod取ってるだけだ
恥ずかしい…
805:１３２人目の素数さん
18/12/05 20:49:58.20 QksS5LGE.net
Σ(100) mod 3 は求められるか
806:？
807:１３２人目の素数さん
18/12/05 21:50:05.80 ePvylCfL.net
おれは無理
神なら可能
808:１３２人目の素数さん
18/12/06 13:13:45.87 DlLnirUT.net
このシグマが分からないが、Σ(100) mod 3 = 1以上3以下じゃないの？
809:１３２人目の素数さん
18/12/06 18:46:34.56 55Wqu3sh.net
0以上2以下では？
810:１３２人目の素数さん
18/12/06 21:21:26.32 l8E1Pu1M.net
求められるかって聞かれてるのに
範囲を答えてもしょうがない
811:１３２人目の素数さん
18/12/06 21:24:20.54 l8E1Pu1M.net
おれの予想は1だな
誰も証明も反証も出来ないから何でも良い
812:１３２人目の素数さん
18/12/07 00:28:55.15 bCMZ+Elv.net
ここで言う狽ﾁてなんだ
813:１３２人目の素数さん
18/12/07 08:32:39.91 BMSmAJHi.net
ビジービーバー関数
でしょ？
814:１３２人目の素数さん
18/12/07 13:12:35.91 l7nPhxXE.net
ビーバーって、川にダムを作るげっ歯類の生き物でだと認識しているが、なんで忙しんだ？
815:１３２人目の素数さん
18/12/07 22:18:10.80 wlIl4RZ9.net
Σ(100) mod 3 = 2だよ。
証明しました。
ただし証明はΣ（100)文字位の長さになるからここにup出来ない。
残念。
816:majimanji
18/12/08 06:40:01.87 TfNVYBGo.net
>>784
なぜか、ちょっと笑った
817:１３２人目の素数さん
18/12/08 09:49:52.95 Ii3ahtJw.net
>>784
東大卒でも、フェルマーの「余白が無くて書ききれない」のハッタリ文章
を知らなかった人がいた。しかも中国の近代史を知らない。(文系）
東大院卒でも、「象牙の塔」と「人海戦術」の意味を知らない人がいた。(理系）
ちなみに両方とも知人ｗｗｗ
というか東大でも文系は、微積分とか線形代数を知らないんだ？ ふーん？ って思った。
818:１３２人目の素数さん
18/12/08 11:23:51.32 yh9aYAvL.net
【速報】朝日新聞社を罵倒した『日本国紀』、よりにもよってその朝日から無断転載
URLﾘﾝｸ(rondan.net)
819:１３２人目の素数さん
18/12/08 11:48:35.20 hfIsV+Kt.net
>>786
東大に夢見すぎ
820:１３２人目の素数さん
18/12/08 16:28:35.88 5yKox9V1.net
>>784
そんな長い証明を良く君の頭の中で組み立てられたね
821:１３２人目の素数さん
18/12/08 16:35:07.51 5yKox9V1.net
>>789に書きもらしたことの追加
というのも>>784さんの身体（高々100 kgのオーダーでしょ）には素粒子（特にフェルミ粒子…これは仮想的な生成消滅を除けば個数を勘定できる粒子）は
高々10^30個程度しか存在していないからさ
（ああ、もちろん>>785さんのレスのような>>784への感想は私も共有してますよ）
822:１３２人目の素数さん
18/12/08 17:09:51.96 Dg7n5FaO.net
人間の脳の容量は10TB無いからな
823:１３２人目の素数さん
18/12/08 21:46:43.63 SMX50bXK.net
このスレも落ちたもんだな。。
過去のスレを見返してみろよ
824:１３２人目の素数さん
18/12/09 08:38:50.99 rLkV1f7X.net
純粋数学って、数学科の人しか理解できないじゃん。物理で使う応用数学だって
常微分方程式とか偏微分方程式とか、ある程度の科学ファンなら、知っているけど
数学科が習う内容は高度過ぎて、物理学科の人ですら理解できないとか言ったぞ。
物理数学は20世紀初頭までの数学だし。
最新テクノロジーや少し科学が好きな程度の一般人(例えば俺）が高度な議論なんか
できなくて当然さ。
文系の大学の入試に数学が必要なくなって何十年も過ぎたせい。
それどころか、ゆとり世代は科学啓蒙雑誌「ニュートン」すら、読まないとか聞いた。
数学得意な人って雑誌「大学への数学」とか読んでたんだろう。この推論は正しいはずだ！
知人の東大卒がそうだったから。
825:１３２人目の素数さん
18/12/09 08:57:42.77 n8v4PcMK.net
雑誌を読んでると偉い
読まないとダメ
みたいな考え方が古い
東大の数学科を出たけど、
雑誌はほとんど読んでない
826:１３２人目の素数さん
18/12/09 09:20:40.69 rLkV1f7X.net
あなたは、日本のラマヌジャンか？
827:１３２人目の素数さん
18/12/09 10:45:56.97 p5rFlWlz.net
でもここ数学板だし、
数学科レベルは求められても仕方ない
巨大数は院の専攻レベルだから分からなくてもしゃーないが
828:１３２人目の素数さん
18/12/09 15:40:53.67 /n0lO1ix.net
巨大数に求められる知識って数学のなかでもけっこう異端な気がする
829:１３２人目の素数さん
18/12/10 18:08:26.42 M/mGgX8/.net
少しづつ理解するしかない気がする。
最近、順序数が何かを知ったぐらいの人間の感想としては。
830:１３２人目の素数さん
18/12/10 23:03:21.85 iRMk5dl8.net
計算可能な関数ならプログラム書いて動かしてみるのが一番いいと思われる。
831:１３２人目の素数さん
18/12/10 23:18:56.90 MJaQX+K4.net
n=10^80
' 10^80はエディントン数
for i=1 to n
print "10↑↑↑"；
next i
print "10"
end
832:１３２人目の素数さん
18/12/11 13:17:11.73 le8uObfj.net
>>799
このスレて扱うレベルだと
リソースも時間も足りない
つまりプログラムで計算するのは不可能です
833:１３２人目の素数さん
18/12/11 21:12:23.62 EDDGs60Z.net
例え学部生に難しいレベルでも、1万時間やれば出来るはずだからな
834:１３２人目の素数さん
18/12/11 22:17:49.50 1eCdj9E0.net
' -- 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
835:１３２人目の素数さん
18/12/12 21:32:57.39 tmjWGmTh.net
超えてなくね？
836:１３２人目の素数さん
18/12/13 10:40:12.17 51RsH9Se.net
URLﾘﾝｸ(lihachevss.ru)
837:１３２人目の素数さん
18/12/15 10:35:19.35 6nOhVDg4.net
>>804
じゃあ、 print"↑↑"; を、print"↑↑↑"; に置き換えるまで！
838:１３２人目の素数さん
18/12/15 11:45:02.60 ELde8vno.net
ほとんど変わってないし
839:１３２人目の素数さん
18/12/16 09:42:31.93 x3rGq8Iy.net
とか言うけど、フランスでは燃料税16%ほどでも暴動が起きるレベル。
とてつもなく変わってるでしょ！
ひと月の手取り￥2＊(10^5)が、\2*（10^7）になったらすごいのに、
\10↑↑↑2= 10↑（10↑↑2)= 10↑（10^10)＝\10＾10,000,000,000
になったらすごすぎ。巨大数マニアはもしかしてニートか何か？
840:１３２人目の素数さん
18/12/16 13:20:08.67 k/DmFgTx.net
燃料税がグラハム数%からグラハム数+16%上がったところで暴動は起きないでしょ
・・・燃料税がグラハム数%って時点でいろいろ破綻してそうだけど
841:１３２人目の素数さん
18/12/17 00:37:21.59 pzFJuQs/.net
１グラハム旧円=1新円にデノミしそう。
842:１３２人目の素数さん
18/12/17 10:34:15.96 N1kyaNkS.net
一般的な庶民：「消費税を10パーセントにあげる自民、ふざけてるの？」
巨大数マニア：「燃料税がグラハム数%からグラハム数+16%上がったところで
暴動は起きないでしょ」
結論：巨大数マニアはニートな非国民（労働の義務を果たしていないのは非国民）
843:１３２人目の素数さん
18/12/17 12:58:10.37 bnHCPIEu.net
数学板の巨大数探索スレッド
844:で何を言ってるの？
845:１３２人目の素数さん
18/12/17 22:02:14.15 7g+YGqht.net
巨大数の逆数をとってみようか？
例として、1-｛（10↑↑↑2）＾-1｝＝0.9999999………9999999．
巨大数ほど1に近づく。1-｛lim (O→∞）＾-1｝ = 1
巨大数マニアなら逆に微小な数字にも気を配るべき！
水素原子の大きさ（ボーア半径*2）を光が横切る時間とか、考えてくださいよ！。
どんな巨大数でも、逆数で近似値の1にしてやるぜ！
巨大数マニアよ、かかってきなさい！
846:１３２人目の素数さん
18/12/17 22:35:21.66 6Fo/pKGp.net
値が１に近かろうが正確に表現するならたくさんの文字数が必要になる。
おまえさんが少ない文字数で微小数を定義できるってなら負けを認めてもいいぞ。
847:１３２人目の素数さん
18/12/17 22:58:01.71 7g+YGqht.net
あははっ！ 「円周率を言ってみて！」って、誰かに言われたら、
現在、分かっている最高の桁数を全部言うの？ 3.14ぐらいしか言わないだろw
数字に興味ない人でも、電卓叩いて20桁ぐらいを読み上げるかもしれないが。
スーパーπとかの演算ソフトで計算しても、実際は1000桁ぐらい見て、
後は画面をスクロールさせてしまう。
「ゆっくり」のような読み上げソフトで聞いていても、5分もしたら、停止してしまう。
正確性って結局、バタフライ効果が発見された逸話でも、コンピュータに入力する
数字が小数点以下6桁なら、かなり現実の気象データーと近かったが、
それを3桁にしたら大きく違ったって話。
細かい数字の正確性は、応用数学では小数点以10桁で十分なのさ。
不可説不可説転程度の、グラハム数から比べたら砂粒のような数でも、
その逆数を十進数で完全に正確に書くことはできない。
以上を要約したら、俺の圧倒的な勝利！
848:１３２人目の素数さん
18/12/17 23:41:53.26 GrfNgafL.net
すごいよ！
とてもかなわない！
われわれの完敗だ！
それはそうと、計算可能にしろ不可能にしろ、2階以上の言語による表現を対角化して定義した巨大数って
well definedであれば1階言語による表現の対角化に直せると思う。
BIG FOOTやサスカッチみたいに1階言語を強くしていく方針でいいのかなと、高階言語でなくて
849:１３２人目の素数さん
18/12/18 10:10:35.36 7Jech1xH.net
そもそもよく分かってないんだが、
まず東方巨大数のルールでは確かZFCは無矛盾だけを仮定していて、ZFCの中でゲーデル数で形式言語を作って、その言語でZFC自身のモデルを扱っているという認識なんだけど、
その上で二階述語論理でしか表現できないZFCのモデルって直感的にはあるようには思えないな
こういうのってどういう本で勉強したらいいかも良く分からないから合ってるか分からん
850:１３２人目の素数さん
18/12/19 21:45:14.05 7H7kejl+.net
集合論とかまでいいだしたら大学レベルでやるしかないと思う 大学の教科書とか
数列とかをいじくるのであれば、そこまでの知識を必要としないから楽しいと思うんだけどな。。
851:１３２人目の素数さん
18/12/19 22:39:24.84 IxK1VKeJ.net
いや、俺はキューネンの本とか読んでるし、チューリングマシンや形式言語も少しは勉強した
こういう分野は非常に面白いし、リトルビッゲドンやサスクワッチも好きなんで、むしろそこまでの知識を皆が勉強してほしいと思ってる
でも、platnist universeやらモデルの対角化やらは見たことがない(勿論対角化定理は知っている)
正直これらが意味するところも良く分かってない
これらについて書いてる本も分からない
だから困ってるし、他の人なんか更に着
852:いていけないだろうな、と思う
853:１３２人目の素数さん
18/12/19 22:41:55.99 gB6X/y8p.net
俺もキューネン買ったけど全く理解できず積読orz
854:１３２人目の素数さん
18/12/20 07:45:33.59 s0SpWR+O.net
俺も理解しきってるとはとても言えないけど、質問があったら出来る限り答えるぞ
855:１３２人目の素数さん
18/12/20 11:29:34.77 mpHLRxbM.net
とりあえず初心者は計算可能からはじめるべし
856:１３２人目の素数さん
18/12/20 21:04:33.23 mGxAr6DP.net
計算可能なんかやらんでいい
857:１３２人目の素数さん
18/12/21 14:11:21.16 ri416Lwe.net
>>823
可哀想に
858:１３２人目の素数さん
18/12/21 15:19:10.51 EoqLRxT6.net
ぶっちゃけ初心者はまず数学科2年レベルまでの数学をやった方がいいんじゃね
859:１３２人目の素数さん
18/12/21 23:01:19.84 ST6rmvuB.net
巨大数も好きだけど、いつか連続体仮説の独立性とか理解してみたい。
860:１３２人目の素数さん
18/12/22 10:38:28.06 HcxU1sRO.net
そういえばこの順序数の存在を仮定すれば連続体仮説が成り立つみたいな順序数はあるの？
861:１３２人目の素数さん
18/12/22 11:51:32.88 z9XqYMEv.net
URLﾘﾝｸ(logika.ff.cuni.cz)
カレル大学のこのペーパーによれば、そのような巨大基数(巨大数ではない)はない
でも巨大基数は「特別な性質を持つ基数」という自然言語で一まとめにしたものだから数学的に証明されたものではない
らしい
ちゃんと読んでないけど
862:１３２人目の素数さん
18/12/22 12:09:22.30 p3mRcLCb.net
おお、ありがとうございます
863:１３２人目の素数さん
18/12/22 12:10:29.42 p3mRcLCb.net
あれid違うな
なんでだろ
864:１３２人目の素数さん
18/12/22 13:43:18.60 m+Gy3ZBn.net
>>822
計算可能な関数を学んでも計算可能でない関数の創造には役に立たない
865:１３２人目の素数さん
18/12/22 14:02:03.58 95NMZe90.net
間を取って半計算可能からはじめよう
866:１３２人目の素数さん
18/12/22 14:03:55.32 gTpS7ul7.net
チューリングマシンなしで計算可能でない関数どうやって定義すんのさ
867:１３２人目の素数さん
18/12/22 14:34:08.57 XXbRSl5U.net
ある意味（ZFCなんかを基準とした）証明可能ベースかモデル依存ベースかの違いに過ぎなくて、
計算可能か不可能かはどちらでもいいっちゃどちらでもいい。
BIG FOOTのZFC上の証明論的類似がZFC+マーロ基数の存在になるんだろうか
868:１３２人目の素数さん
18/12/22 17:17:03.88 OwKan1q5.net
>>827
BSPFA+可測基数の存在から実数の濃度がアレフ2になることが導かれるというゲーデルが喜びそうな結果ならある
869:１３２人目の素数さん
18/12/22 19:29:13.48 ZobxK5YQ.net
p進さんが英語版巨大数wikiにビッグフットとかのill-defined性についてブログ投稿してたね
結局何がill-definedなのか全く分かってないけど
870:１３２人目の素数さん
18/12/22 20:01:26.51 XXbRSl5U.net
reasonableな公理系ってなんだよとかOrdのとり方とか。
871:１３２人目の素数さん
18/12/23 10:29:32.00 ARatInII.net
reasonableな公理系は無茶言ってるの何となく分かるが、
Ordって「順序数である」という式の省略形以外にあるんか
872:１３２人目の素数さん
18/12/24 09:00:16.97 AHRj0df+.net
この指標で巨大数評価するはなしとかあるのかな
＞コルモゴロフ複雑性（コルモゴロフふくざつせい、英語: Kolmogorov complexity）とは、
＞計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。
873:１３２人目の素数さん
18/12/24 11:08:49.76 L+FvpzGo.net
実際に複雑性を求めることが出来ないんだから役に立たない
874:よ
875:１３２人目の素数さん
18/12/24 11:10:35.81 L+FvpzGo.net
それの逆関数みたいなのがビジービーバー関数
876:１３２人目の素数さん
18/12/24 12:14:46.22 GawZznGH.net
初歩的だったらすまないが、
ZFCの中で「ZFCの全てのモデル」って扱えないの？
877:１３２人目の素数さん
18/12/25 02:24:50.16 YnmL+DdG.net
もう少し正確なstatementが無いと何とも
878:１３２人目の素数さん
18/12/25 09:39:08.98 vWZxEE5A.net
完全性定理により1階述語論理による公理系は無矛盾であればモデルが存在する。
不完全性定理により数論を含む理論は自身の無矛盾性を証明できない。
ZFCはZFCの無矛盾性を証明できない。
ZFCでZFCのモデルの存在は保証されない。
879:１３２人目の素数さん
18/12/25 10:39:31.82 QgbVWN8J.net
なるほど
だからplatnist universeとやらが問題視されるのか
ZFCの外からZFCの全てのモデルを考えてるから
880:１３２人目の素数さん
18/12/25 21:57:35.50 ovz3Lz6V.net
コルモゴロフ複雑性と急増加関数の対応がわかったとしたらちょっと面白い
881:majimanji
18/12/26 13:09:25.55 O5mjTwrO.net
話を遮ってすまん
誰か↓の巨大数を評価してくれないか?
[n]m,f(k)=[n-1]f^m(m),f^m(m)
[1]m,f(k)=f^m(m)
{n}m,f(k)=[[・・・n回・・・[[n]m,f(k)]m,f(k)]]・・・n回・・・]]m,f(k)
{10}10,10^kをTrES-2数とする
882:１３２人目の素数さん
18/12/26 15:01:17.70 eLAYsxb+.net
1行目の定義に従うと
[2]10,10^k=[1]f^10(10),f^10(10)
(ただしf(k)=10^k)
と計算されるが、
[1]自然数,自然数
の時のルールがないのでわからん
883:１３２人目の素数さん
18/12/26 17:32:27.95 Ym8cT8a6.net
BB(n)は、ビジービーバー関数
A(1,n)=BB(n)
A(m+1,n)=BB(A(m,n))
C(n)=A(BB(n),n)
C(n) の強さは、F_[ω_1^CK×2](n) ぐらい？
884:majimanji
18/12/26 19:23:45.32 O5mjTwrO.net
[1]自然数a、自然数b=a*b
885:１３２人目の素数さん
18/12/26 21:21:36.27 rsJa4tPg.net
1行目の定義に従うと
[3]10,10^k=[2]f^10(10),f^10(10)
(ただしf(k)=10^k)
と計算されるが、
[2]自然数,自然数
の時のルールがないのでわからん
886:majimanji
18/12/27 06:37:29.72 pqWAsW5V.net
じゃあ一気に定義しちゃいますか
[a]b,c=b↑^[a]c
887:１３２人目の素数さん
18/12/27 07:53:30.82 oGZKrTb0.net
>>849
F_[ω_1^CK +1](n) ぐらい
888:１３２人目の素数さん
18/12/27 12:58:20.49 WO+ycPob.net
>>852
適当かよw
889:majimanji
18/12/27 13:33:30.10 pqWAsW5V.net
>>854
まあ定義できただけいいだろ
890:１３２人目の素数さん
18/12/27 15:23:29.28 BMr6GCfo.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ .⌒ ⌒ | |
（Ｓ|| | （●） （●） |
| || | .ﾉ ）| （ "''''''':::::.
| || |ヽ､＿ ▽ _／|ﾉ--'''''"""" ヽ ゛゛:ヽ.
|::::::::"""" . ＼::. 丿
|::::: ..........::::::::::::彡''ﾍ::::....ノ
/ ::::::::::;;;;;,,---"""￣ ＾｀｀
／ ￣￣ ＼
/:::::::: : ヽ
|::::: :: |
( ( ヽ:::::: :::.. ﾉ ) )
＼::::::: ／＼:::;;;;;;__ ノ
891:majimanji
18/12/27 16:23:53.99 pqWAsW5V.net
ここがAAやリーマン予想に洗脳され始めてると思うのは俺だけか?
892:１３２人目の素数さん
18/12/27 17:20:23.69 WO+ycPob.net
ここのスレにはもう何も望めない
Twitterかdiscordの界隈で研究した方が君のためだよ
893:１３２人目の素数さん
18/12/27 18:19:19.81 37hLnwuO.net
reasonableな公理系としてフォン・ノイマン宇宙を扱えるような2階の理論をもってくるとOrdの取り方
というかα_0の取り方の時点で矛盾してしまう。
FOSTによる任意の閉論理式の判定がVと一致するようなoodle（集合と呼んでいいと思うけど）
としてのモデルを作る、という趣旨だとは思うし公理系の取り方によっては矛盾しないだろう。
ただ計算不可能レベルである以上その公理系が実際に構成不可能であることが求められるため、
ちとわかりづらい
894:１３２人目の素数さん
18/12/27 21:03:26.21 QDYnvpNl.net
なるほど
そんなこと巨大数wikiのどこに書いてあるのやら
895:１３２人目の素数さん
18/12/27 22:42:00.50 37hLnwuO.net
ちょっと言い方が悪かった
構成不可能であることが求められるため
→構成不可能であるほど強力であることが求められるため
896:１３２人目の素数さん
18/12/28 12:52:22.05 8b5AHwJz.net
俺の実力が足らないから、まだまだ完全には理解できてないな……
そもそもZFCではZFCのモデルの存在が証明できないが、断片ではないfullZFCのモデルVは認めるルールなのだろうか？
そのVと、ZFCの中で一階ウードル論理を作りそのモデルであるウードルバースとの閉論理式の真偽を比較することはZFCあるいはメタ理論で可能なのだろうか？
897:１３２人目の素数さん
18/12/28 13:18:57.09 gWux6RmG.net
そのVはどのZFCのモデルでどのZFCに棲んでいるの
898:１３２人目の素数さん
18/12/28 13:30:46.96 8b5AHwJz.net
むしろZFCのモデルが何であっても存在しさえすればVは作れるので、Vを舞台に考えてるのだと思ってたけど
元のモデルが何であるかまでは仮定として強いんじゃないんか？
899:１３２人目の素数さん
18/12/31 12:35:27.06 MU4KaQpA.net
Vは1階の言語で扱える対象の上限であって、なんらかの1階の理論でZFCのモデルの存在を
保証できるからといってVまで扱えるわけではない
2階の理論としてのZFCならわからんでもない
900:１３２人目の素数さん
18/12/31 13:12:42.82 5vcVYDjH.net
つまり、ZFCのなかの一階述語論理で構成できるVαの上限Vでの真偽と、
oodleのモデルでの真偽は、
ZFCの中の一階述語論理では扱えないので、ZFCの中でreasonableな公理系を持つVを扱えるような二階の理論を導入する必要があるが、それだと構成不可能なほど強力であることが求められてしまう
ということだろうか
こういうのって何の分野の本を読めば勉強できるんだ
モデル理論？
901:１３２人目の素数さん
18/12/31 13:41:44.74 9U+imPi1.net
この分野だと2階集合論としてどの公理系を使うことが多いですか?
902:majimanji
19/01/03 12:00:40.61 gvMX8JKe.net
このスレはゴミ箱だ。
嫌な広告、AA、リーマンの3つが、このスレをゴミ箱にしている。
Twitterやdiscordで研究した方がまだましだ。
903:１３２人目の素数さん
19/01/03 12:44:52.14 iPdLg+cc.net
どのへんがリーマンなんだ?
904:１３２人目の素数さん
19/01/03 12:53:33.63 +sMFo9DY.net
こういう世の中なんで、うまくいってる人でも
不満の当たり所探してるってのはあるような気も・・
内実どんな職種でも楽観してないです
905:１３２人目の素数さん
19/01/03 12:55:58.32 +zlr8mZX.net
宮内庁警察本部で７２億なんですよ、何なんだろ、たかだか２２人の皇族を警備するために、年間７２億。
ｽﾚﾘﾝｸ(liveplus板)
国 民 を 思 い や る 天 皇 は 演 出 で す よ
906:１３２人目の素数さん
19/01/03 17:48:23.95 UQOzr4bt.net
>>871
お前と違って守られるべき存在だからだよ
907:１３２人目の素数さん
19/01/03 18:11:54.96 nto4aFUD.net
まあどういった公理系を選ぶかによる話だな
908:１３２人目の素数さん
19/01/03 23:37:30.45 iPdLg+cc.net
「どういった公理系を選ぶか」もどういった公理系を選ぶかによる
「「どういった公理系を選ぶか」もどういった公理系を選ぶかによる」もどういった公理系を選ぶかによる
・・・ 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
909:１３２人目の素数さん
19/01/04 07:56:57.92 MI5EF/Qj.net
まだこのスレあったのか
910:１３２人目の素数さん
19/01/04 09:18:18.41 /gUAFkPO.net
>>871
72億円を日本の労働人口6700万人で割ったら
911:、一人当たり110円以下。 110円も払えないなんてどこの無職だよ。
912:majimanji
19/01/04 15:04:05.71 QAoKBxLf.net
>>871 スレチ
913:１３２人目の素数さん
19/01/04 16:10:55.84 RIHCHDep.net
>>877
ところでリーマン予想要素はどこのこと言ってるんだ?
914:majimanji
19/01/04 17:28:45.10 QAoKBxLf.net
>>878
ログを遡ってたらそれっぽいのがあるよ
915:１３２人目の素数さん
19/01/04 17:33:55.61 RIHCHDep.net
>>879
ないけど……
916:１３２人目の素数さん
19/01/04 17:37:41.88 uEWV9QNl.net
あるだろ
917:majimanji
19/01/04 17:42:07.38 QAoKBxLf.net
>>880
>>600らへんにある
918:１３２人目の素数さん
19/01/05 10:38:40.05 fkz09qru.net
3↑↑↑↑3＝3↑↑3＝ 3↑↑7625597484987＝3↑↑3
を3↑↑7625597484987回繰り返すことであっている？
そしてグラハム数はそれを64回繰り返すことであっている？
919:１３２人目の素数さん
19/01/05 11:09:27.37 fkz09qru.net
URLﾘﾝｸ(livedoor.blogimg.jp)
グラハム数のイメージ画像。3ペンテーション3のタワー表記が横にも
伸びて言っているイメージ。
920:１３２人目の素数さん
19/01/05 19:12:47.06 jzBSPooA.net
TREE関数はリーマン予想関係ないがな
921:１３２人目の素数さん
19/01/05 19:21:10.36 As5C8/sn.net
それな
922:majimanji
19/01/06 08:12:14.70 drDNELBn.net
>>885
周辺を見ろ
>>616とか
923:低学歴超変態食糞愛好家井口千明の連絡先：葛飾区青戸６－２３－１６
19/01/06 11:41:10.77 HlqGsCVU.net
☆★☆【神よこの者たちはもはや人間ではない悪魔であるこのような悪魔どもを一匹残らず殺してくださいお願いします】★☆★
《超悪質！盗聴盗撮・つきまとい嫌がらせ犯罪首謀者の実名と住所／死ねっ!! 悪魔井口・千明っ!!》
【要注意!! 盗聴盗撮・つきまとい嫌がらせ犯罪工作員】
◎井口・千明（東京都葛飾区青戸６－２３－１６）
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在／犯罪組織の一員で様々な犯罪行為に手を染めている
低学歴で醜いほどの学歴コンプレックスの塊／超変態で食糞愛好家である／醜悪で不気味な顔つきが特徴的である
【超悪質！盗聴盗撮・嫌がらせつきまとい犯罪者の実名と住所／井口・千明の子分たち】
①宇野壽倫（東京都葛飾区青戸６－２３－２１ハイツニュー青戸２０２）
※宇野壽倫は過去に生活保護を不正に受給していた犯罪者です／どんどん警察や役所に通報・密告してやってください
②色川高志（東京都葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
※色川高志は現在まさに、生活保護を不正に受給している犯罪者です／どんどん警察や役所に通報・密告してやってください
【通報先】
◎葛飾区福祉事務所（西生活課）
〒１２４－８５５５
東京都葛飾区立石５－１３－１
℡０３－３６９５－１１１１
③清水（東京都葛飾区青戸６－２３－１９）
※低学歴脱糞老女：清水婆婆 ☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
清水婆婆はコンプレックスの塊でとにかく底意地が悪い／醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
④高添・沼田（東京都葛飾区青戸６－２６－６）
※犯罪首謀者井口・千明の子分／いつも逆らえずに言いなりになっている金魚のフン／親子孫一族そろって低能
⑤高橋（東京都葛飾区青戸６－２３－２３）
⑥長木義明（東京都葛飾区青戸６－２３－２０）
⑦若林豆腐店店主（東京都葛飾区青戸２－９－１４）
⑧肉の津南青戸店店主（東京都葛飾区青戸６－３５ー２
924:majimanji
19/01/06 13:50:56.49 drDNELBn.net
このスレ情報保管庫化しやがった()
925:１３２人目の素数さん
19/01/06 15:12:09.78 cNGAwYZv.net
>>883 typoかもしらんが、
3↑↑↑3=3↑↑3↑↑3=3↑↑(3↑3↑3)
=3↑↑(3↑27)
926:１３２人目の素数さん
19/01/06 15:22:03.87 OsNW8xBs.net
キューネン数学基礎論講義って巨大数の理解に繋がる？
927:１３２人目の素数さん
19/01/07 22:15:09.91 Ebvlnvq3.net
Twitterで「巨大数で計算可能関数を絶対認めない人は何故Twitterに来ないのか」という意見があったが、
Twitterで名前を出してイベントを開く人物が「俺は計算不可能関数を巨大数として認めてない」という個人的な主張を展開することの方が問題視されるべきだろう
チューリングマシンで出力できないから巨大数ではないというのはまるで理解不能だ
928:１３２人目の素数さん
19/01/07 22:31:12.72 VjwjMI7O.net
計算可能と計算不能じゃクラスが違うってだけの話。
どちらも巨大関数だよ。
929:１３２人目の素数さん
19/01/07 22:37:12.86 Ebvlnvq3.net
私もそう思うが、
どちらか一方を認めないという主張を2ちゃんねるで匿名でやるのとイベント主催者がTwitterでするのでは、後者の方が問題だと考える
930:１３２人目の素数さん
19/01/07 23:04:53.29 sZAcHkkS.net
計算不可能レベルにおける言語の拡張を特定の理論を基準として計算可能レベルに実装する、
というのはある意味巨大基数公理や順序数崩壊関数の研究となる
931:１３２人目の素数さん
19/01/08 23:48:04.48 KIHDjQ3/.net
2章までは役に立つ
3章以降は読んでないから分からん
932:１３２人目の素数さん
19/01/09 08:37:51.44 qKVL35Ds.net
いいじゃんどっちでも
933:１３２人目の素数さん
19/01/10 21:32:48.26 24r+hKp+.net
／￣`Y ￣ヽ､
/ / / / l | | lヽヽ
/ / // ノ ヽ､ヽ
| | |/oﾟ（●） （●）ﾟo ウンコうめえおｗｗｗｗｗｗｗｗ
（Ｓ|| | ⌒ ･ｨ ヽ
| || | ミ;;'';;;､;:..,.,,, ﾝｸﾞ ﾝｸﾞ
| || | i;i;i; '',',;^′ヽ
| || | ＼_ﾞゞy､､;:..､） ｝
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
934:１３２人目の素数さん
19/01/10 21:51:56.48 nwVddK4B.net
ウルフラムの2状態3記号チューリングマシンはチューリング完全、すなわちω＾CK_1の表現力
では2状態2記号チューリングマシンの表現力でどこまでいける？
935:majimanji
19/01/11 15:34:44.28 yW+yfkzg.net
このスレも遂に900か
936:１３２人目の素数さん
19/01/13 13:24:16.97 pKNorktt.net
巨大数研究wikiの「巨大数コンテストのレギュレーション一覧」というユーザーブログが面白い
レギュレーション分けを通して今の巨大数たちの分類も見えてくる
937:１３２人目の素数さん
19/01/16 09:11:22.37 2ToEjNSD.net
ゴミスレッドやな。。
938:１３２人目の素数さん
19/01/17 10:46:09.61 /gJRet7+.net
無量大数 ↑ 無量大数＝ 10 ↑ 68 ↑（10↑68）
＝ 10 ↑ 10 ↑ 10 ↑ 68. 2630460955 8040934916 532254411477782071991438968011
間違いだった！？
10^68^10^0=1の後に0が68個 =68*10^0個
10^68^10^1=1の後に0が680個 =68*10^1個
10^68^10^2=1の後に0が6,800個 =68*10^2個
10^68^10^3=1の後に0が68,000個 =68*10^3個
10^68^10^4=1の後に0が680,000個 =68*10^4個
10^68^10^5=1の後に0が6,800,000個 =68*10^5個
・・・・・・
10^68＾10^68=1の後に0が68*10^68(無量大数)個並ぶ。すなわち、
10^10^｛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^10^（68*10^68） ・・・・・・ これであってる？
939:１３２人目の素数さん
19/01/17 13:55:46.13 FaRGClBj.net
意味が変わるからカッ�
940:Rを省略しないで
941:１３２人目の素数さん
19/01/19 08:18:24.04 y33SOovl.net
もしもセンター試験に巨大数が出たら
942:１３２人目の素数さん
19/01/19 10:52:35.35 jRde8QDH.net
センター数学
問１ 巨大数を作りなさい。あなたの作った巨大数をそのまま点数とします。
943:１３２人目の素数さん
19/01/19 10:55:59.87 jRde8QDH.net
つかセンターってマーク式だっけW
忘れてた。
944:１３２人目の素数さん
19/01/20 22:08:28.13 Vn0GCtSE.net
東方巨大数3の仮ルールが発表されたけど、
「計算可能関数と計算不可能関数には絶対的な違いがあり、比べることに意味はない」とあるが、
計算不可能である最小の証明を書けなくても戦え数は計算可能であるグラハム数より大きいのではないのか？
計算可能かどうかが絶対的な違いというのがよく分からんのだが
945:>>904
19/01/21 11:05:25.33 XHU6+fDk.net
無量大数 ↑ 無量大数を計算する！！
（10^68）^10^0=1の後に0が68個 ・・・無量大数の一乗で無量大数のまま。
（10^68）^10^1=1の後に0が680個 : (10^68）^10^2=1の後に0が6,800個
（10^68）^10^3=1の後に0が68,000個 : （10^68）^10^4=1の後に0が680,000個
（10^68）^10^5=1の後に0が6,800,000個 ・・・・・・
（10^68）＾10^68=1の後に0が68*10^68(無量大数)個並ぶ。すなわち、
10^10^｛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^10^（68 * 10^68）
べき乗は右から計算する。――無量大数の無量大数乗でも感じで表せる最大の数字、「不可説不可説転」
を超えてはいるが、グーゴル・プレックスには程遠かった。
946:１３２人目の素数さん
19/01/21 13:43:09.40 bZLMBWf5.net
a,n,m := 0以上の整数
X := 0個以上の0以上の整数
b#a := a個のb
b#a+c := b#(a+c)
A_0(0#a,n)=n+1
A_0(X,m+1,0#a+1)=A_0(X,m,1#a+1)
A_0(X,m+1,0#a,n+1)=A_0(X,m,A_0(X,m+1,0#a,n)#a+1)
A_1(0#a,n)=A_0(n#n)
A_1(X,m+1,0#a+1)=A_1(X,m,1#a+1)
A_1(X,m+1,0#a,n+1)=A_1(X,m,A_1(X,m+1,0#a,n)#a+1)
A_2(0#a,n)=A_1(n#n)
A_2(X,m+1,0#a+1)=A_2(X,m,1#a+1)
A_2(X,m+1,0#a,n+1)=A_2(X,m,A_2(X,m+1,0#a,n)#a+1)
A_3(0#a,n)=A_2(n#n)
上記の定義のとき
A_1(n)がF_ω^ω(n)の強さだとわかるのですが
A_2(n)、A_3(n)の強さはどれぐらいなのでしょうか？
947:１３２人目の素数さん
19/01/21 15:59:38.85 +sDvlacg.net
1の後に0がN個並んだ数は10^Nであって10^10^Nじゃない
948:１３２人目の素数さん
19/01/21 16:46:58.75 XHU6+fDk.net
おお、間違い指摘ありがとお！
wolframalpha.comで、(10^68)^10^68と入力すると
Power of 10 representation:
10^(10^69.83250891270623)
Number length:
6.8×10^69 decimal digits
と表示される件。
つまり、無量大数＾無量大数乗は10^（68*10^68）だったか。
949:１３２人目の素数さん
19/01/21 21:00:20.30 1/Ynb3Ie.net
ラヨ数などはill-definedであるorZFC公理系の上の話じゃない←分かる
計算不可能関数は計算可能と絶対的に違う←？
例えばビジービーバーは何の問題もなく計算可能関数より大きい、特に比較可能だし、全域性を再帰理論では証明できないという話もあったが明確に否定された
逆にローダー数はC言語で書かれている通り明確に計算可能だが、チューリングマシンと違って実際の今のパソコンではメモリが圧倒的に足りず計算できない
絶対的な違いがあるとはとても思えないのは俺だけだろうか
950:１３２人目の素数さん
19/01/21 21:13:23.30 XHU6+fDk.net
計算できない巨大数は、韓国の妄言と同じ。
951:１３２人目の素数さん
19/01/21 21:21:52.50 DbqXFOjH.net
計算不可能関数で定義された数を評価するための自然な理論がなんなのかがどんどん曖昧
になってくとか無矛盾性がどんどん疑わしくなるとか。
グラハム数レベルならKPなんかで評価できるしKPを比較する基準として受け入れられないという人も
そうそういないだろう。
あと計算不可能関数の全域性については、例化可能な形では再帰理論では証明不可能だけど
ただ全域性を証明するだけなら可能という話です。
ラヨ数はwell definedであることを数学的に証明できないほど強いけどwell definedであると
信じようというあれなんだろう。
952:１３２人目の素数さん
19/01/21 21:36:16.60 DbqXFOjH.net
つきつ
953:めてしまえば計算可能関数と不可能関数を区別しなくてもいいだろうとは思う。 でかさじゃなくて芸術点を競うみたいな
954:１３２人目の素数さん
19/01/21 21:39:30.52 SYCcdPIF.net
オリンピックでも男子と女子は別扱いだろ？
そういうことだ。
955:１３２人目の素数さん
19/01/21 21:56:26.42 1/Ynb3Ie.net
なるほど、結局再帰理論では無理なのか、すまん
確かにビジービーバー関数では過去の話題として「ビジービーバー関数の値を保証する公理を無限個(計算不可能関数だから当たり前だけど)帰納的公理化して付加することができない」といった話題もあったし、オラクルを付け加えるとしても無矛盾性は疑わしいかもしれない
ただ、戦え数は理論も明確でZFCの中なのでZFCが無矛盾というルールでは無矛盾だ
それでも評価するための自然な理論は曖昧なのか、？
956:１３２人目の素数さん
19/01/21 22:53:07.03 DbqXFOjH.net
ビジービーバー関数の値の存在を保証する公理を無限個追加するというのは帰納的公理化可能
それらの値すべてが本当に、我々の想像する普通の自然数である、というのは帰納的公理化不可能
とりあえず箇条書き
ビジービーバー関数の値をすべて「自然に」決定する理論というのは帰納的公理化不可能
すべてでなく特定の引数に対しても、自然な帰納的公理化可能な理論で決定できるが、
その引数が大きくなれば大きくなるほど無矛盾性が怪しくなる。
自然な無矛盾な理論がなんなのかわからなくてもとりあえずそういうのが存在すると仮定して
オラクルで呼び出すことにする。
コンパクト性により、任意の有限部分が無矛盾であれば全体でも無矛盾。
957:１３２人目の素数さん
19/01/21 22:55:43.59 DbqXFOjH.net
日本語を微修正
>すべてでなく特定の引数に対しても→すべてでなく特定の引数に対しては
958:１３２人目の素数さん
19/01/22 02:27:49.47 mvwK2+pd.net
ビジービバーアビバノンノン
959:１３２人目の素数さん
19/01/22 02:33:42.07 mvwK2+pd.net
ネットの中では韓国に勝てる！
960:１３２人目の素数さん
19/01/22 08:04:12.80 ShhYZVRQ.net
大分認識が間違っていたようだ
コンパクト性定理をオラクルを付加した公理に使うとか言われてみればなるほどだが、俺の頭が良くないから気づけなかったな
ビジービーバー関数は巨大数で見れば、自然な(超準自然数を含まないような)理論は帰納的公理化できないが、とりあえずオラクルとして付加すればコンパクト性定理から元の公理系が無矛盾であれば無矛盾性が保証されると
東方巨大数3ではこの辺りどうなるんだろうな
そして戦え数のこういう隙のない完成度の高さに改めて驚くわ
961:１３２人目の素数さん
19/01/22 15:23:25.26 Nv0C4Qvx.net
「計算可能関数と計算不可能関数には絶対的な違いがあり、比べることに意味はない」
という文言を仮ルールに入れた者です
東方巨大数は、Twitter上で、みんなで巨大数を作って大きさを競うイベントです
例えば、バシク行列やY数列といった、明らかに計算可能であり再帰的に定義される関数は、いくら工夫を凝らしても、増加速度においてビジービーバー関数には勝つことが出来ません
巨大数の大きさを競うのであれば1位を目指すと思うのですが、well-definedな計算不可能巨大数が出てきた時点で、計算可能な巨大数達は絶対に1位になることは出来ません
それでは計算可能関数を作ることに意味がなくなってしまうため、計算可能と不可能を別の部門として扱っています
また、計算不可能関数を、「現実的に計算不可能な関数」としている方がいらっしゃるようですが(914等)、「数学的に計算不可能な関数」という意味ですのでお間違えの無いよう
詳しくは、巨大数wiki等見てください
962:１３２人目の素数さん
19/01/22 22:19:12.87 x1Q43hhp.net
なるほど、確かに計算可能の中でもランクが分かれているし、エンターテイメントとしてレギュレーションは分かる
だがやはり「絶対的に違う」という点に引っ掛かりを感じる
1. ビジービーバー関数は上で教えてもらったように何らかの公理を追加する必要があるが、東方巨大数3のルールでそれは出来るのか？
もし出来ないのなら計算可能関数にも普通に勝機はありそう
2. 確かにビジービーバー関数は全ての計算可能関数を押さえ込むことが証明されているようで、それは計算不可能関数を包含するけど、計算不可能関数だからといって全ての計算可能関数を押さえ込むわけではないのでは
特に過去「書けて戦え数」は結果的に計算不可能だったものの、計算可能
963:関数で計算不可能関数を越えられる可能性はありそうだと思ったが 要するに決定的に違うのはビジービーバー関数やZFC公理系の上ではない巨大数、ill-definedな巨大数たちなだけで計算不可能巨大数自体はそこまで決定的に違わないと感じる
964:１３２人目の素数さん
19/01/22 22:37:49.36 NAwHI9f4.net
計算可能と計算不能じゃ、将棋で例えるなら片方だけ2手連続で打てるってくらい違うぞ？
それでも勝負はわからないといってるようなもの。
965:１３２人目の素数さん
19/01/22 22:59:58.58 IBpGnHQh.net
別の計算可能関数でおさえられる計算不可能関数は存在することは存在する
停止性述語とか ビジービーバー関数を100で割った余りとか
966:１３２人目の素数さん
19/01/23 14:30:00.41 qeMV2rxb.net
計算可能関数を作る時は、大きさに上限があります(一般にf_{ω^CK_1}と表される)が、ビジービーバーを初めとする計算不可能関数はそれを超えることができます
上限があるかどうかの問題ですかね
もちろん、BB(2000)(これはZFCで存在が証明できない)を1000で割った余りなどは、計算不可能且つ大体の計算可能な巨大数より小さいです(これは東方巨大数3では1兆より小さいので失格となる)
あとは、チューリングマシン(プログラムの1種？)で計算できるかどうかといったところでしょうか
私は計算不可能に詳しくないので、これくらいしか説明することができませんが。。
967:１３２人目の素数さん
19/01/23 14:37:02.81 JF7m6dzy.net
>>925
>「絶対的に違う」という点に引っ掛かりを感じる
>>924が理解できてないのか？
計算不可能関数の増加度は、計算可能関数では実現不可能
これは質的な違いであり、絶対的なもの
>計算可能関数にも普通に勝機はありそう
ないよ
円積問題とか角の三等分問題に挑戦する
トンデモ野郎みたなこというなよ
>計算不可能関数だからといって
>全ての計算可能関数を押さえ込む
>わけではないのでは
だから？そりゃ増加度なんかいくらでもコントロールできるよ
でも、より大きな増加度を競ってるんだろ？
だったら計算可能関数では実現できない増加度をもつ
計算不可能関数があるという事実だけで絶対的な違いだろ
>計算不可能巨大数自体はそこまで決定的に違わないと感じる
「俺様の計算可能関数はビジービーバー超えられる！」
とかほざくトンデモはどっかいってくれ
ここは第二の「角の三等分野郎」の来るところじゃない シッシッ！！！
968:１３２人目の素数さん
19/01/23 14:45:37.38 JF7m6dzy.net
計算可能関数と計算不可能関数の区別は
鳥人間コンテストでいったら
滑空機部門と人力プロペラ機部門
みたいなもん
そりゃ人力プロペラ機も呆れるほどすぐ落ちる場合も多々あるが
そのことは混合で競う根拠にならないだろ
969:１３２人目の素数さん
19/01/23 20:19:28.46 5jhAriq1.net
>>930
少し言い方がきついですよ()
まぁあとは、主催者の権限があるから、というのも大きいですね。
もしこの部門分けに意義がある等、進行に納得できない場合は無理に参加していただく必要はないとのことです。
ちなみに、東方巨大数3の計算可能部門には、バシク行列を超える増加度をもつ関数が投稿される可能性がありますので、頑張ってください
970:１３２人目の素数さん
19/01/23 21:55:08.50 E77cVR6k.net
計算可能関数はビジービーバー関数を越えられると言ってないどころかむしろ、計算可能関数はビジービーバー関数を越えられないことが証明されてると書いてるし、
混合でやるべきだとも言ってないし、
参加するとも言ってないんだが
絶対的な違いって言うほどあるか？って話な
計算不可能関数って非可算無限個あるし、その中の一部が特別なだけだろ？
971:１３２人目の素数さん
19/01/23 22:09:54.30 v+hbHM17.net
絶対的な違いは言うほどあるぞ？
972:１３２人目の素数さん
19/01/23 22:44:32.31 2fOG9J7y.net
でかさで評価するなら区別せざるをえないよ
973:１３２人目の素数さん
19/01/23 23:03:16.43 UjR+dL5P.net
例えば計算可能関数の中でも原始帰納的関数と原始帰納的でない帰納的関数の間には増大度の違いがある
これを絶対的な違いと言うかは人に依るが
974:１３２人目の素数さん
19/01/23 23:49:47.31 WLcEfs3L.net
まぁ混戦すると計算可能巨大数はものすごくめちゃめちゃほとんど勝ち目がないので分けました、くらいの意味でしょう言いたかったのは。
めちゃめちゃ弱い失敗作の計算不可能関数しか投稿されなくてたまたまそれより大きな計算可能関数が投稿された超激レアケースでは計算可能関数が勝つし、
計算可能関数より弱い計算不可能関数が１つもないわけでもないが、それを「絶対的な違い」と断言調で書いてしまうのは主催者の言葉使いが甘いけどそれが気になるなら本人に直接言えば。
975:１３２人目の素数さん
19/01/24 00:24:22.21 RVxTHiAw.net
増加率の増加率の増加率の…というアプローチは弱い？
関数fの増加率を求める関数をRI(f_0)とする
関数fを、「RI(RI(RI...(f_n-1)...))と繰り返しても関数fより高い増加率を持つ最弱の関数」に変換する関数をRI(f_n)とする
とか
976:１３２人目の素数さん
19/01/24 01:55:03.66 c0L++UuU.net
,ｒ- ､,ｒ- ､
／// | | | l iヾ
/./ ⌒ ⌒ ＼ヽ､
＿,,......._ // （●） （●） ヽヽ おっぱい出しちゃった！！
／ "''-.,,_ ｒ-i./ ｀⌒,(･･)⌒´ ヽ.l-､
/ ｀ヽ__ | | | ),ｒ=‐､( | | ﾉ
!、 ._ ＼｀''-.,, ｀| |ヽ ⌒ ﾉ| ||
ヽ、'''ｰ-- ''"´ （ ,. ,. ､ヽ ｀,x | | | |＼ ｀ｰ-‐'' ／| || ||
｀''-.,, 丨 ﾉ .,ｒ ｨ i _ ￣￣￣ 一一 ￣￣--‐‐::..,,_
｀''-.,,_ ｀ﾞ^‐トtｲ,,ｨク三ﾆミ＝- ...,,,,＿ / ／, ｀ﾞ''''ｰ-::...,,＿
''-.,, |;'{ `ｰ'´￣￣""'''''ー-=ﾆ､三三Y _/／ ｀ ヽ、
｀i/ ｀ﾞ''＝t.｀''ヾ､ｒ'''ﾄ‐‐'^ヽ、 ＼
/ ￣V ﾉ ! ＼ i
ノ .:, l ∧ ＼ ﾉ
／ /i '; } i !｀''ｰ--:::..,,,_ _,.:-''´
/ / ! ij ,!./ ￣￣￣
ｉ / l |l!´
.|::::.:.. / ! . . . !'
!;;::::::::.. / ﾍ . ..:.:::::::::::::::. /
ヾ;;::::::::: ／ ヽ:.::::::::::::r,､::::::.: ノ!
｀ー‐'i''´ ｀''-;;::::::::.:;;;;:-'' ﾉ
977:１３２人目の素数さん
19/01/24 11:08:29.08 RVxTHiAw.net
>>937訂正
RI[1](f)は増加率の増加率をいくら繰り返しても元の関数fより高い増加率の関数F1を出力する関数。この時点で増加率を競う全ての関数より遥かに強い。
RI[1]^n(f)の増加率はもはや増加率では表現不能なため第1強化率と呼ぶ。ただの増加率は第0強化率とする
RI[2](f)は第1強化率の第1強化率をいくら繰り返してもRI[1](f)より高い第1強化率の関数F2を出力する関数
これ以降は陳腐な対角化の連鎖になる。まっとうな再帰はまっとうな計算不能関数より弱いが、結局は「増加率を参照した再帰」こそが最強であり、計算不能な手続きと再帰的手続きの融合は「大きさ比べ」を終結させた。
978:１３２人目の素数さん
19/01/24 12:05:01.60 1dO0k687.net
増加率の定義は何で、どのような順序が定まってるの
979:１３２人目の素数さん
19/01/24 15:12:49.71 jgp+ZsgL.net
>>936
本人に言おうにも本人がマシュマロとかやってないとツイ垢が必要だからなぁ
結果的に来
980:てくれたけど 断言するほどのことではないけど主催側はそこまで気にしてなかったってことで納得するわ サンクス
981:１３２人目の素数さん
19/01/24 20:07:05.18 XpIGjXje.net
過去レスにもあったが2の超べき乗でさえすごい。
２↑↑５は、指数表記等えを使わず10進法表記した場合、数字1文字ずつ1cm間隔で表記すると数字の長さは約200m。200mなら日常生活レベルだから
２↑↑６は宇宙レベルか？と思いきや、10進法表記だと数字の長さは観測可能な宇宙をはるかに超える。
もっともこのレベルの超べき乗の場合は、数字の左上に超指数を書く、シンプルな表記法があるが、これなら最新のグラハム数は
2の左上の6つ書けば表記できる。それでも宇宙レベルをはるかに超えるが、旧グラハム数は、数学的意味がなくなり、数学的意味
を持つ最大数はモーザー数ということになるのかな。
982:１３２人目の素数さん
19/01/25 17:04:17.94 m0Lnt/Ay.net
ボクの考えた巨大数生成関数 ZZ(a)
a,b,n = 非負整数
m = 自然数
X = 0個以上の非負整数
a#n = n個のa
a#n+m = a#(n+m)
Z[X]^{1}(a) = Z[X](a)
Z[X]^{m+1}(a) = Z[X](Z[X]^{m}(a))
Z[](a)=a+1
Z[0#n+1](0)=Z[Z[0#n](0)#n]^{Z[0#n](0)}(Z[0#n](0))
Z[0#n+1](a+1)=Z[Z[0#n+1](a)#n]^{Z[0#n+1](a)}(Z[0#n+1](a))
Z[X,b+1,0#n](0)=Z[X,b,Z[X,b,0#n](0)#n]^{Z[X,b,0#n](0)}(Z[X,b,0#n](0))
Z[X,b+1,0#n](a+1)=Z[X,b,Z[X,b+1,0#n](a)#n]^{Z[X,b+1,0#n](a)}(Z[X,b+1,0#n](a))
ZZ(a)=Z[Z[a#a](a)#Z[a#a](a)]^{Z[a#a](a)}(Z[a#a](a))
983:１３２人目の素数さん
19/01/25 22:01:44.11 fQuU00vE.net
サスクワッチについて疑問があるんだが、詳しくないもので間違いがあったら教えてくれ
サスクワッチのWikiの説明によると、フォンノイマン宇宙Vの整列順序が一般的には定義可能でないために、Vを強制拡大したV[G]がV=HODを満足するようにし、HODの標準の順序を使う、とあるが、
半順序Pの元pに対するジェネリックフィルターが存在することの有名な証明のように、可算である仮定が必要なはずで、
これは実際にはVの立場から可算推移的モデルMを作って、それを強制拡大したM[G]がZFC+V=HODを満足するということだよな
で、M[G]がV=HODを満足するとしてVに整列順序を入れた、というのはM[G]の住人の立場で、依然としてメタ理論の視点では整列順序が定義可能とは言えず、V=HODのモデルに限定するなら戦え数とかの方が大きいと思うんだけど、認識の誤りってある？
984:１３２人目の素数さん
19/01/26 16:38:46.35 vSKDTpKc.net
いくら大きな計算可能関数を作っても、「ビジービーバーに比べたらゴミ」などと、あたかも自分が作った関数かのようにマウント取ってくる人がいるので分けてるってのはあるかも
985:１３２人目の素数さん
19/01/27 16:33:52.05 yjqqveLO.net
計算可能にこだわる意味がわからん
巨大数探索スレなのに
わざわざ小さい数に限定するのはなぜ？
986:１３２人目の素数さん
19/01/27 16:43:05.28 ozYeFWNl.net
計算可能に限定してるわけじゃなくて
計算不能に限定してないんやで
987:１３２人目の素数さん
19/01/27 16:50:49.44 yjqqveLO.net
その理屈だと
合成数に限定してないから
巨大な素数探しについて延々語るのも有りになる
988:１３２人目の素数さん
19/01/27 16:51:24.53 9Cbmf/7Y.net
ところで>>944に誰か答えてくれると有りがたい
989:１３２人目の素数さん
19/01/27 18:44:38.11 w1JgJ/aI.net
巨大数番目の素数とすれば巨大な素数になるし、計算不可能レベルの言語の拡張も
証明論的類似で計算可能なシステムができるし、逆もまた然りでそこはあまり本質的な問題でない
990:１３２人目の素数さん
19/01/27 18:48:39.91 w1JgJ/aI.net
ラヨ数系列は背景が、すくなくとも形式的にwell defdinedでないし、どうもも向こうではwell definedに
できないからこそいかなるwell definedなシステムより強いとしているようで、ちょっとね・・・
991:１３２人目の素数さん
19/01/27 23:24:30.46 BcwXI4id.net
>>946
計算不可能にこだわる意味がわからん
巨大数探索スレなのに
わざわざアルゴリズムで求められないものに限定するのはなぜ？
992:１３２人目の素数さん
19/01/27 23:27:00.52 BcwXI4id.net
順序数表記の中で最大級の「Y数列」というのを作ったので、Twitterで見てくれると嬉しいです
調べれば出てくる
993:１３２人目の素数さん
19/01/27 23:29:27.78 BcwXI4id.net
さぁ、お約束の「ビジービーバーよりは弱い」というフレーズを誰が言うかな。。？
994:１３２人目の素数さん
19/01/27 23:35:51.78 BcwXI4id.net
あ、別に計算不可能嫌いなわけじゃないんよ
ただ、順序数を大きくしていく感じ(原始→ペア→バシク行列みたいな)の楽しさを946にも知って欲しい。。
995:majimanji
19/01/28 08:20:27.95 nwATmDUM.net
>>952-955
自作自演だな
IDで分かる
996:１３２人目の素数さん
19/01/28 09:18:51.46 D102dPXA.net
何が自作自演なの？
997:majimanji
19/01/28 09:29:05.50 nwATmDUM.net
>>957
とりま>>956は撤回なう
998:１３２人目の素数さん
19/01/28 12:24:02.15 s3snldZY.net
>>952
巨大数を求めれば自然と計算不可能な領域に入る
わざわざ大きな数を作れないように勝手に制限を加え
それを他の人にも求めるのはスレの趣旨に反する
999:１３２人目の素数さん
19/01/28 15:16:21.34 0t9ocrVC.net
>>959
勿体ねぇなぁ楽しいのに
1000:１３２人目の素数さん
19/01/28 21:01:54.95 D102dPXA.net
>>944
に巨大数スレの住人が答えられないと、他に聞くところがないのも難点だな
1001:１３２人目の素数さん
19/01/28 21:16:51.15 8ZE4rM12.net
>>949
残念ながらその質問に答えられるほどモデル理論に詳しい人がいなさそうだ。
英語版のgoogology wikiならもっとましな人がいるかもしれない。
>>946
標準的自然数にこだわる意味がわからん
巨大数探索スレなのに
わざわざ超準的でない数に限定するのはなぜ？
有限にこだわる意味がわからん
巨大数探索スレなのに
わざわざ有限の数に限定するのはなぜ？
無矛盾にこだわる意味がわからん
巨大数探索スレなのに
わざわざ存在を仮定しても矛盾を導けない数に限定するのはなぜ？
1002:１３２人目の素数さん
19/01/28 22:05:27.78 9ndR+j+2.net
これだけ長文を英語にするのは俺には厳しいな……
強制法にも突っ込んでるモデル理論の本でも探して勉強してみる
1003:１３２人目の素数さん
19/01/29 00:27:27.37 tewiYPnU.net
サスカッチにツッコミ入れるとそれ以前にBIG FOOTの時点でどうなのってなるしなあ。
そのへん向こうはplatonist universeで済ませてるんだろうが
1004:１３２人目の素数さん
19/01/29 01:01:14.55 tewiYPnU.net
BIG FOOTのOrdは、VにおけるFOSTのreasonableな(platonicな)理論のモデルとなる集合（作者は集合という言葉を使わずにoodleと呼んでいる）の最小のランク、という扱いと考えるのが順当か
1005:１３２人目の素数さん
19/01/29 01:04:19.76 7vqoD688.net
各々の好き好きのレギュレーションでそれぞれ話をすればいいさ
大きさだけが大事なら巨大基数スレ作ってそこでやってくれ
1006:１３２人目の素数さん
19/01/30 08:18:00.20 +LBG2b9I.net
>>962
>>1
1007:１３２人目の素数さん
19/01/30 08:55:33.82 FAzexVo5.net
数学はさっぱりだが、言わせてもらう。
俺の巨大数＝お前らの作った巨大数の二乗。
はい、俺の勝ち！
1008:１３２人目の素数さん
19/01/30 09:37:29.20 X2yxXz5E.net
>>962は>>946への皮肉のつもりで書いたんだが、
どうやら分かりにくかったようでごめん。
あと無限や矛盾は当然論外としても、
超準数は標準数との区別が非自明で、
しかも前スレで言われてた通り
大きな計算不能関数は標準数を引数にしても超準数を返す可能性を
健全かつ実効
1009:的な論理体系では否定できない(肯定もできない) という事情があるから、超準数を認めるかどうかは 大きな計算不能関数を認めるかどうかにダイレクトに関わるぞ。
1010:１３２人目の素数さん
19/01/30 12:35:20.32 FBIA3mA/.net
>>969
巨大数の探索が矛盾との戦い、
well-definedとの戦いなわけだから、
当然そういうことも考えなくてはならないけど
明確に定義されたものまで一律に否定することはない
数学板の巨大数探索スレッドなのに
計算可能というところに線を引くのは低すぎる
1011:１３２人目の素数さん
19/01/30 12:37:08.45 FBIA3mA/.net
単純明快がお望みなら指数関数に限定すれば良いよ
1012:１３２人目の素数さん
19/01/30 13:28:58.29 u47dSmHx.net
>>970
こう言っている奴ほど計算不可能はもとより計算可能関数でも大したもの作れないんだよなぁ
1013:１３２人目の素数さん
19/01/30 18:33:57.12 RftMasxx.net
計算不可能レベルにこだわるのは自由だけどさっきからモデル理論とか証明論とか把握できてるのか疑問なんだわ。
個人的には面白かったり斬新だったりすれば指数関数レベルの巨大数でもいいよ。
well definedかどうか確かめようがないけどwell definedだという主張なんかはどう扱うんだろう
1014:１３２人目の素数さん
19/01/30 18:50:31.60 RftMasxx.net
計算可能レベルはwell definedであることをある論証体系のもとで実効的に判定できる。
計算不可能レベルはできない。非構成的な、形式的に把握しきれないなにかを仮定しなければならない。
直観的に、日常的な言葉でちゃんとした定義になってるからいいと言えばかまうこたないが、
直観に反する結果（超準モデルの存在とか）が得られたり、日常的な言葉で矛盾が見つかったり
してきた歴史があるわけで。
なんなら無数の自然数の存在が矛盾しないというのも根拠がないまま仮定されている。
でもとりあえず無矛盾と仮定したり、言葉で表せないなにかも仮定したしすることでレギュレーション分けされている
1015:１３２人目の素数さん
19/01/30 19:04:56.73 DQ0EZ/5b.net
105 １３２人目の素数さん 2019/01/04(金) 18:58:57.05 ID:s68Y7dWN
リチャード・テイラーっていうイギリスの数学者はどのくらいのレベルの数学者ですか？
現役ではそこそこ上位の方に入るぐらいの学者ですか？
106 １３２人目の素数さん 2019/01/04(金) 23:19:10.56 ID:UTaC5hnL
>>105
底辺のものが語るべき話題にあらず
1016:１３２人目の素数さん
19/01/30 20:50:24.95 vs6lFvAO.net
戦え数って形式的に把握できない仮定あるん？
1017:１３２人目の素数さん
19/01/30 22:42:47.93 +LBG2b9I.net
>>974
全ての正しい事は証明可能なんて妄想は捨てなさい
1018:majimanji
19/01/31 07:07:41.50 OhyqM8t3.net
こんにちは、majimanjiです。
私は、巨大数論を引退しようと思います。
理由は、>>868でも書いたように、ここがゴミになりかけてると思ったためです。
また理由はもう一つあります。
ライフゲームやその別ルールに研究を集中させるためです。
巨大数論より、ライフゲームが面白く、手間もなく、そして多くの変種があるためです。
突然ですがすいません。
さようなら。
010
100
111
1019:１３２人目の素数さん
19/01/31 10:50:18.19 kTY3m9NJ.net
とっくの昔からゴミだぞ
まともに語られてたのは初期のころだけ
1020:１３２人目の素数さん
19/01/31 12:23:02.13 8x9dB1ud.net
元々学問は勉強を重ねた一部の人間による閉じた世界だしな
5ちゃんねるは自由に書き込めるから参加したくなるが、オリンピック観戦者の気持ちで眺めるのが正解と言える
1021:１３２人目の素数さん
19/01/31 13:04:31.09 oDApAcW+.net
>>977
すべての正しいことが証明可能とは言ってないし、「確かさ」にいろんな段階があって、
計算不可能レベルはそのひとつの区切りみたいな趣旨で
1022:す。
1023:１３２人目の素数さん
19/01/31 23:52:56.40 iZ7gW0wq.net
3^6+4^6+4^6-2*(4^12+2*3^6*4^6))=3*3*5054383
3^6+5^6+5^6-2*(5^12+2*3^6*5^6)=3*3*59312419
3^6+6^6+6^6-2*(6^12+2*3^6*6^6)=3*3*3*3*3*3*3*2052821
1024:１３２人目の素数さん
19/01/31 23:54:25.86 iZ7gW0wq.net
3^6+6^6+6^6-2*(6^12+2*3^6*6^6)=3*3*3*5118623717
1025:１３２人目の素数さん
19/01/31 23:54:47.40 iZ7gW0wq.net
3^6+8^6+8^6-2*(8^12+2*3^6*8^6)=3*3*3*5118623717
1026:１３２人目の素数さん
19/02/01 00:45:13.39 yx1W6Vji.net
閉じた世界だと局所解に陥るリスクが大きい
1027:１３２人目の素数さん
19/02/01 08:55:13.75 NfFn5j1z.net
>>982-984
きっとスルーすべき場面ではあるだろうが、
あえて愚かにも指摘しよう。
その等式の両辺を実際に計算しても=で結べない。
1028:１３２人目の素数さん
19/02/02 02:02:09.38 x+fkBvw0.net
>>986
3^3+11^3+11^3-2*(11^6+2*3^3*11^3)=-3684181
3^3+9^3+9^3-2*(9^6+2*3^3*9^3)=-3*3*3*42227
3^n+2*X^n-2*(X^2n+2*3^n*X^n)=-3^m*素数
1029:１３２人目の素数さん
19/02/02 09:39:51.53 hmQ4uwMS.net
10＾37218383881977644441306597687849648128 ≒ 10^10^37 (不可説不可説転）
10^（68*10^68) ≒ 10^10^69 （無量大数の無量大数乗）
10^10^100 (グーゴルプレックス）
1030:１３２人目の素数さん
19/02/02 13:03:46.68 Fw4BKVsR.net
残念ながらX=5, n=3とすると
3^3+2*5^3-2*(5^6+2*3^3*5^3)=-44473=-11*13*311で全く-3^m*素数ではない。
わざわざ指摘はしてこなかったが、この人の別の書き込みもデタラメだらけだ。
スレ違いなだけで数学的には正しいことを書いているだろうと、
万が一思っている人がいるかもしれないから釘を刺しておく。
1031:１３２人目の素数さん
19/02/02 20:43:55.89 x+fkBvw0.net
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n+Y^n*Z^n+X^n*Z^n))=0
X^(n/2)=Y^(n/2)+Z^(n/2)
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n-Y^n*Z^n+X^n*Z^n)-4*Y^n*Z^n)=0
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n-Y^n*Z^n+X^n*Z^n))=2*Y^(n/2)*Z^(n/2)
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n-Y^n*Z^n+X^n*Z^n))=|X^n-Y^n-Z^n|=2*Y^(n/2)*Z^(n/2)
nが6以上の正の偶数のとき
|X^n-Y^n-Z^n|=2*Y^(n/2)*Z^(n/2)
をみたす整数X,Y,Zの組み合わせは存在しない
√(X^2n+Y^2n+Z^2n+A^2n-2*(X^n*Y^n+Y^n*Z^n+X^n*Z^n+X^n*A^n+Y^n*A^n+Z^n*A^n))=0
X^2n-X^n*2*(Y^n+Z^n+A^n)+Y^2n+Z^2n+A^2n-2*(Y^n*A^n+Z^n*A^n+Z^n*Y^n)=0
X^n=(Y^n+Z^n+A^n)+2*√(Y^n*A^n+Z^n*A^n+Z^n*Y^n)
nが6以上の正の偶数のとき
|X^n-Y^n-Z^n-A^n|=2*√(Y^n*A^n+Z^n*A^n+Z^n*Y^n)
をみたす整数X,Y,Z,Aの組み合わせは存在しない
1032:１３２人目の素数さん
19/02/04 21:47:11.45 0Gxs6L+E.net
計算可能で計算不可能を超えようとするのは加算無限で加算無限を超えようとするようなもの。
1033:加算無限で加算無限
19/02/04 21:47:39.85 0Gxs6L+E.net
訂正
加算無限で不加算無限
1034:１３２人目の素数さん
19/02/06 18:03:21.50 q32LwTOR.net
定義
A[](a)=a+1
A[0#(n+1)](0)=A[A[1#n](1)#n]^{A[1#n](1)}(A[1#n](1))
A[0#(n+1)](a+1)=A[A[0#(n+1)](a)#n]^{A[0#(n+1)](a)}(A[0#(n+1)](a))
A[X,b+1,0#n](0)=A[X,b,A[X,b,(b+1)#n](b+1)#n]^{A[X,b,(b+1)#n](b+1)}(A[X,b,(b+1)#n](b+1))
A[X,b+1,0#n](a+1)=A[X,b,A[X,b+1,0#n](a)#n]^{A[X,b+1,0#n](a)}(A[X,b+1,0#n](a))
1035:１３２人目の素数さん
19/02/06 18:05:55.48 q32LwTOR.net
以下、展開例
A[0](0)=A[]^{A[](1)}(A[](1))=A[]^{2}(2)=4
A[0](1)=A[]^{A[0](0)}(A[0](0))=A[]^{4}(4)=8
A[0](2)=A[]^{A[0](1)}(A[0](1))=A[]^{8}(8)=16
A[0](3)=A[]^{A[0](2)}(A[0](2))=A[]^{16}(16)=32
A[0](n)=2^(n+2)
A[1](0)=A[0]^{A[0](1)}(A[0](1))=A[0]^{8}(8)=N0=2^(2^(2^(2^(2^(2^(2^(2^(8+2)+2)+2)+2)+2)+2)+2)+2)
A[1](1)=A[0]^{A[1](0)}(A[1](0))=A[0]^{N0}(N0)=N1
A[1](2)=A[0]^{A[1](1)}(A[1](1))=A[0]^{N1}(N1)=N2
A[1](3)=A[0]^{A[1](2)}(A[1](2))=A[0]^{N2}(N2)=N3
A[2](0)=A[1]^{A[1](2)}(A[1](2))=A[1]^{N2}(N2)=NN0
A[2](1)=A[1]^{A[2](0)}(A[2](0))=A[1]^{NN0}(NN0)=NN1
A[2](2)=A[1]^{A[2](1)}(A[2](1))=A[1]^{NN1}(NN1)=NN2
A[2](3)=A[1]^{A[2](2)}(A[2](2))=A[1]^{NN2}(NN2)=NN3
A[3](0)=A[2]^{A[2](3)}(A[2](3))=A[2]^{NN3}(NN3)=NNN0
A[3](1)=A[2]^{A[3](0)}(A[3](0))=A[2]^{NNN0}(NNN0)=NNN1
A[3](2)=A[2]^{A[3](1)}(A[3](1))=A[2]^{NNN1}(NNN1)=NNN2
A[3](3)=A[2]^{A[3](2)}(A[3](2))=A[2]^{NNN2}(NNN2)=NNN3
1036:１３２人目の素数さん
19/02/06 18:07:23.61 q32LwTOR.net
A[0,0](0)=A[A[1](1)]^{A[1](1)}(A[1](1))=A[N1]^{N1}(N1)=M0
A[0,0](1)=A[A[0,0](0)]^{A[0,0](0)}(A[0,0](0))=A[M0]^{M0}(M0)=M1
A[0,0](2)=A[A[0,0](1)]^{A[0,0](1)}(A[0,0](1))=A[M1]^{M1}(M1)=M2
A[0,1](0)=A[0,0]^{A[0,0](1)}(A[0,0](1))=A[0,0]^{M1}(M1)=MM0
A[0,1](1)=A[0,0]^{A[0,1
1037:](0)}(A[0,1](0))=A[0,0]^{MM0}(MM0)=MM1 A[0,1](2)=A[0,0]^{A[0,1](1)}(A[0,1](1))=A[0,0]^{MM1}(MM1)=MM2 A[0,2](0)=A[0,1]^{A[0,1](2)}(A[0,1](2))=A[0,1]^{MM2}(MM2)=MMM0 A[0,2](1)=A[0,1]^{A[0,2](0)}(A[0,2](0))=A[0,1]^{MMM0}(MMM0)=MMM1 A[0,2](2)=A[0,1]^{A[0,2](1)}(A[0,2](1))=A[0,1]^{MMM1}(MMM1)=MMM2 A[1,0](0)=A[0,A[0,1](1)]^{A[0,1](1)}(A[0,1](1))=A[0,MM1]^{MM1}(MM1)=L0 A[1,0](1)=A[0,A[1,0](0)]^{A[1,0](0)}(A[1,0](0))=A[0,L0]^{L0}(L0)=L1 A[1,0](2)=A[0,A[1,0](1)]^{A[1,0](1)}(A[1,0](1))=A[0,L1]^{L1}(L1)=L2 A[1,1](0)=A[1,0]^{A[1,0](1)}(A[1,0](1))=A[1,0]^{L1}(L1)=LL0 A[1,1](1)=A[1,0]^{A[1,1](0)}(A[1,1](0))=A[1,0]^{LL0}(LL0)=LL1 A[1,1](2)=A[1,0]^{A[1,1](1)}(A[1,1](1))=A[1,0]^{LL1}(LL1)=LL2
1038:１３２人目の素数さん
19/02/08 18:49:39.45 bs50Azst.net
>>865
もう残り4レスで済まんがこれがよく分からん
ZFCの中で一階述語論理を形式化したものでは｢任意の順序数αに対してVα｣の上限としてVがクラスとなってしまい扱えない、ということなのだと思うけど、
このVを｢クラス(論理式)｣｢ZFCのモデル｣として捉えるのはZFC公理系を形式化している一階述語論理の視点だから扱えるし、二階論理が出てくる必要性がないと思うのだが
1039:１３２人目の素数さん
19/02/09 07:38:51.57 focDYhs5.net
Vの定義は∀x(x∈V←→x=x)でおｋ？
1040:１３２人目の素数さん
19/02/09 19:03:10.11 WEah+vDH.net
次スレ
ｽﾚﾘﾝｸ(math板)
1041:１３２人目の素数さん
19/02/10 14:55:13.47 Eg2BwSS6.net
合ってるけどx∈Vをx=xの略記と見た方が良い
1042:majimanji
19/02/10 16:02:06.70 Z0x3g5v2.net
1000
1043:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 197日 16時間 53分 41秒
1044:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています