TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
統計学の分かりやすい本教えろください
数学科の就職って……
集合論について
9―3÷1/3+1=? 新入社員の正答率4割
教授はなぜ学部生にも数学を教えないとダメなのか?
『解析概論』について5
SNS死神ムラカミ
【自称数学者】三鷹の大類昌俊2018-2【つどい出禁】
数学書が高すぎる、安くで学びたい
グロタンディーク 追悼スレ
巨大数探索スレッド15
- 1 :2019/02/09 〜 最終レス :2020/05/21
- 大きな実数を探索するスレッドです。
前スレ
https://rio2016.2ch.sc/test/read.cgi/math/1532700505/
巨大数研究室
http://www.geocities.co.jp/Technopolis/9946/
巨大数 (Wikipedia)
http://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E6%95%B0
ふぃっしゅっしゅ氏の巨大数論PDFと書籍
http://gyafun.jp/ln/
たろう氏のまとめ
http://gyafun.jp/ln/archive/7-571.txt
Dmytro Taranovsky の順序数表記
http://web.mit.edu/dmytro/www/other/OrdinalNotation.htm
寿司虚空編
https://comic.pixiv.net/works/1505
巨大数研究Wiki
http://ja.googology.wikia.com/wiki/
過去スレ
http://ja.googology.wikia.com/wiki/2ch
- 2 :
- 保守
- 3 :
- 誰もいない…。
もう需要なかったかな?
- 4 :
- >>3
巨大数探索スレッドシリーズがクソスレになっちまったみたいだ。
もうここには何も望めない
- 5 :
- >>1
乙
- 6 :
- なんらかのメタ理論で定義された1階述語論理のドメインとしてVを定義することはできるが、
それが本当にVである保証は無い、ということだろうか
- 7 :
- Vに∀x(x∈V←→x=x)と形式的定義を与えても、Vがxの動く範囲にない2階以上の対象としてとらえないと
ZFCと矛盾するし、純粋にメタ言語としての1階述語論理はVを扱えないことになるのでは
- 8 :
- 集合論の言語においてドメイン(=項の集まり)Vは、関数記号を(定義による拡大を除いて)持っていないから、自由変数のみだろう
このメタ理論でZFCの宇宙V={x:x=x}は全ての自由変数を含む(全ての自由変数がVという論理式を満たす)から、メタ理論から見てこれは紛れもなくドメインVと変わらないような気がするが
- 9 :
- 確かに一階述語論理において議論領域は論理式ではないので、
ドメインV(議論領域)とZFCのモデルV(論理式)を同一視することはできないのか
二階述語論理はドメインも項として扱えるので、ドメインVの元であることとモデルVという論理式を満足することが同値であることも確認できそうではある
だとしたらその辺の集合論の本は当たり前のように、二階述語論理からVがZFCのモデルであると扱ってるんだろうか?
それはそれで受け入れがたいな
- 10 :
- >>3
鳥乙
- 11 :
- 自由変数は可算個しかない
- 12 :
- メタ理論では可算個だがVの住人にとっては集合は非可算個というだけでは
むしろメタ理論でも非可算個だと有限主義者も黙ってないだろう
- 13 :
- 東方巨大数3のルールの議論を見て前スレの疑問が晴れた気がする
東方巨大数3では「ZFC+con(ZFC)を公理とする」ルールではなく「メタ理論でZFCを無矛盾としZFCを公理とする」ルールで落ち着いたようだが、
この後者のルールの立場ではZFCの中の一階述語言語ではVをZFCのモデルとして扱えない(扱えるものの上限)けども、
メタ理論の一階述語論理の言語であれば扱える
一方ZFCをメタ理論で無矛盾としなくても、二階述語論理で形式化されたZFC(いわゆるZFC2)では、
(stack exchangeの「What is the truth predicate of ZFC?」という質問の回答によると)クラスを量化出来る関係でZFCの真理述語が定義可能となり、
ZFC2の中でZFCのモデルが考えられるということか
これをあっさり書く前スレの人の凄さが改めて分かった
- 14 :
- POL(ZFC)が国産最強の巨大数かもって言われてたけど、
普通に戦え数の方が大きいと思ったが違うんかな
- 15 :
- 384=8!!
53760=2(10!!)+12!!
8755200=8(12!!)+13(14!!)
1805690880=15(14!!)+12(16!!)+9(18!!)
471092428800=10(16!!)+15(18!!)+16(20!!)+5(22!!)
153043438141440=4(18!!)+2(20!!)+3(26!!)
60836834554675200=(20!!)+17(22!!)+15(24!!)+16(26!!)+12(28!!)+(30!!)
規則性を見つけてくれ〜(・ω・)ノ
- 16 :
- コルモゴロフ複雑性の高い数をシードに使えばより効率的に巨大数を生み出せるの?
それとも全然関係ない?
- 17 :
- 「巨大数コンテストのレギュレーション一覧」という巨大数wikiのページを見ていて、これによるとラヨ数はラヨ部門に当たるらしいのですが、
ラヨ数は二階述語ZFCで定義可能のはずです
詳しくないので間違ってたらすみませんが、計算不可能部門で最小の部門において
ML FOST
MT ZFC+con(ZFC)
L SOST(second order set theory)
T ZFC2(ZFCの図式を論理式量化で置き換えたもの)
A PA
でLによってTに真理述語を入れることでラヨ数は定義可能で、エントリー可能だと思うんですが、誤りはあるでしょうか?
- 18 :
- このML〜Aの設定を主催者側は提示しない、デフォルトルールやMLを持つメタ理論でZFCを無矛盾として〜とするでしょうから実際投稿出来ることにはならないでしょうけれども……
計算不可能部門で既にラヨ数などを投下できる枠組みがあるのですから、あえてラヨ数部門を極大無矛盾集合を使って用意するのも疑問符が浮かびます
- 19 :
- 今の巨大数は集合論だ、みたいなツイートがあったけど、
ZFCの中なら任意のモデルで真になる証明論の方が便利だし、外ならメタ理論での論理とか公理でZFCの任意のモデルを扱うから、
基本ZFCの特定のモデルの中で話す集合論はむしろ不利だよなあと思う
- 20 :
- どうもレギュレーションを書いた人はラヨ数は二階述語論理体系が不明のためwell-definedでない、と考えているようですが、
ZFCが具体的な一階述語論理体系を要しないように、ZFC2も同様なので、
その上でラヨ数はwell-definedですよね
日本でこの辺りが分かる他の方が入ってくださればありがたいのですが。
- 21 :
- その「具体的な一階述語論理体系」というものをplatonist universeとやらに一任する、という一つの解釈が形式主義的な厳密さに欠ける、という意味なのでは。
「コード化された形式体系のPlatonist universeで命名可能な巨大数をエントリーする。」というレギュレーションの下ではたぶんwell definedになるんじゃないですかね
と書かれているし
- 22 :
- 真意が理解できず申し訳ないのですが、
そうすると全ての巨大数は一階述語論理を含むメタ理論の具体的な体系を提示していないので、全てill-definedになりませんか?
- 23 :
- 元祖天才バカボンの
パパーだーかーらー
- 24 :
- 誤爆
- 25 :
- 理想を言えば1階の言語による具体的な体系まで提示すべきだろうが、計算可能なら帰納的公理化可能で、具体的に記述可能であることは分かってるし、超越整数レベルでもない限りそこまでうるさく言われることもそうないだろう。
計算不可能だと具体的な記述が不可能で、言語を定義するメタ理論の健全性を信じるしかない。
そして記述しきれない、全体像を把握できないがとりあえずそういう体系が存在すると仮定するか、という話になるけど、
たとえば「俺の巨大数はお前のplatonist universeよりも強いsuper platonist universeを使ってるから、どう足掻こうが俺の方が強い」という理屈も通るっちゃ通ってしまう。
モデル依存による定義とか、わりかし分かりやすい基準はある。
- 26 :
- 無知で申し訳ないですが、ラヨ数はZFC2で定義可能である以上、ZFCで定義可能なもの達(無限基数など)と同様メタ理論がなんであっても展開できるように思うのですが、
何故ラヨ数では、急にplatnist universeという数学書で見ないような概念が出てくるのでしょうか?
集合論などは何の問題もなくZFCで計算不能関数を扱ってるように見えるのですが
- 27 :
- そもそもなんですが、ZFC2(二階述語論理で形式化したZFC)でラヨ数は定義可能である(well-definedである)ということには異存はありませんよね?
- 28 :
- 自民ゴキブリ党変態議員國場パイズリ不倫血税麦卵秘書田中奇形自殺しろ轢き殺されてR
- 29 :
- (3!!/3+0)/3!!=1/3
(5!!/3+0)/5!!=1/3
(7!!/3+1)/7!!=12/35
(9!!/3+14)/9!!=47/135
(11!!/3+190)/11!!=731/2079
(13!!/3+2799)/13!!=1772/5005
(15!!/3+45640)/15!!=20609/57915
(17!!/3+823724)/17!!=1119109/3132675
(19!!/3+16372071)/19!!=511144/1426425
(21!!/3+356123690)/21!!=75988111/211527855
規則性を見つけてくれ〜(・ω・)ノ
- 30 :
- ここ無法地帯になってる。
- 31 :
- ベクレミシェフの虫とブーフホルツのヒドラってアルゴリズム的に似てる?
ベクレミシェフの虫が理解出来たらブーフホルツのヒドラの理解も進むとかだと嬉しいんだけど。
- 32 :
- 東方巨大数3ってZFCが無矛盾ってルールあるけど、俺と別の参加者って同じモデルなのかな
- 33 :
- https://news.yahoo.co.jp/byline/tokurikimotohiko/20181123-00105139/
ヒトモドキニホンザルゴキブリは市場対象にもなってない害虫乞食民族絶滅しろ
- 34 :
- ZFCが無矛盾ってことは完全性定理からモデルVが存在するわけで、
全てのモデルを対角化してる訳ではないけども、Vを含めて対角化した巨大数を提出した場合、他の巨大数以上となるの?
- 35 :
- ラヨ関数はどういう理論のもとで定義されているのか明示されてないから、ZFCやZFC2を使うかどうかはこちらが察するしかない。
特に理論を指定せずに、「モデルが存在するかつ値が一意に定まる」だとビジービーバー関数と同等になるし、「モデルが存在するかつ値の最小の候補」だと証明が書けない戦え数と同等になるかと
モデルの存在は(形式的に定義するのでなく)プラトニズムにゆだねるとして。
- 36 :
- 戦え数のようなモデル依存によって定義された関数を同じ言語でモデル依存で定義できないというのは、言語の階層の厳密性で保証されるのね。
たとえば戦え数の定義には、帰納的公理化可能な理論のモデル全体を量化できる2階の言語なり超越的な1階の理論が必要で、
超越的にどんどん拡張していくのがBIG FOOTやBigeddonの方針で、言語の階層をあげていくのがp進さんの方針かな。
しかしこういう計算不可能レベルの拡張は、KPからの証明論的類似物で考えるとあまり大したことないような。
- 37 :
- ラヨ関数自体はそうですね
ただZFCが矛盾してるとすると、0 > 全ての巨大数が証明可能なので、無矛盾と仮定するのが自然でしょう
するとプラトニスト宇宙が存在するとするのは自然だと思います
「戦え数と同等」のパターンは証明可能性は全てのモデルで真であることと同等なのでimmediateですが、
「ビジービーバーと同等」のパターンはobviousではないように思えるのですがどこかに説明はあるでしょうか?
- 38 :
- 戦え数はZFCをメタ理論に課していたから、ZFCのメタモデル依存のモデルの依存となるのか
- 39 :
- 戦え数は証明可能性で定義しているのでモデル依存ではないのではないでしょうか
- 40 :
- 【超悪質!盗聴盗撮・つきまとい嫌がらせ犯罪者の実名と住所を公開】
@井口・千明(東京都葛飾区青戸6−23−16)
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在/犯罪組織の一員で様々な犯罪行為に手を染めている
低学歴で醜いほどの学歴コンプレックスの塊/超変態で食糞愛好家である/醜悪で不気味な顔つきが特徴的である
A宇野壽倫(東京都葛飾区青戸6−23−21ハイツニュー青戸202)
※色黒で醜く太っている醜悪黒豚宇野壽倫/低学歴で人間性が醜いだけでなく今後の人生でもう二度と女とセックスをすることができないほど容姿が醜悪である
B色川高志(東京都葛飾区青戸6−23−21ハイツニュー青戸103)
※色川高志はyoutubeの視聴回数を勝手に短時間に何百何千時には何万回と増やしたり高評価・低評価の数字を一人でいくつも増やしたり減らしたりなどの
youtubeの正常な運営を脅かし信頼性を損なわせるような犯罪的業務妨害行為を行っています
※色川高志は現在、生活保護を不正に受給している犯罪者です/どんどん警察や役所に通報・密告してやってください
【通報先】
◎葛飾区福祉事務所(西生活課)
〒124−8555
東京都葛飾区立石5−13−1
рO3−3695−1111
C清水(東京都葛飾区青戸6−23−19)
※低学歴脱糞老女:清水婆婆 ☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
清水婆婆はコンプレックスの塊でとにかく底意地が悪い/醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
D高添・沼田(東京都葛飾区青戸6−26−6)
※犯罪首謀者井口・千明の子分/いつも逆らえずに言いなりになっている金魚のフン/親子孫一族そろって低能
E高橋(東京都葛飾区青戸6−23−23)
※高橋母は夫婦の夜の営み亀甲縛り食い込み緊縛プレイの最中に高橋親父にどさくさに紛れて首を絞められて殺されそうになったことがある
F長木義明(東京都葛飾区青戸6−23−20) ※日曜日になると風俗店に行っている
- 41 :
- ここが治安悪くなるということはここが過疎るということ
ここが過疎るとより民度が下がり治安悪くなる
........もう需要なくなったかな?
- 42 :
- まだラヨ数や戦え数関連は議論が終わってないと思うのですが、
まず理解できるようになるまで努力する方があまりいないですからね
- 43 :
- 筑波大学の春の合宿で巨大数について発表があったようですね
最早このスレを離れて大学で盛り上がるトピックになっていますね
- 44 :
- >>37
>ただZFCが矛盾してるとすると、0 > 全ての巨大数が証明可能なので、
定義にZFCを含む巨大数がそうなることが自明になるだけじゃないの
- 45 :
- >>39
否定の証明不可能性による定義で、また、1階述語論理の完全性より
「恒真であれば証明可能である」
対偶より
「証明不可能であれば恒真でない」
すなわち
「x_k=tとなるモデルが存在する」
ということでモデル依存になるんじゃ
- 46 :
- >>44
まずそもそもルールとしてZFCが矛盾してると全ての文が証明可能なので、
無矛盾とする他ないでしょう
- 47 :
- >>46
ええと、巨大数を定義するルールにZFCが課せられていること前提の話ですか?
- 48 :
- >>47
はい
モデルの存在はプラトニストに委ねる、と言ってますが、
ZFCが矛盾している場合全ての巨大数が0より小さいことが証明可能なので、巨大数の意味をなさず、無矛盾とするのが自然であり、
すると完全性定理からモデルが存在することになるので、これをプラトニストに委ねると表現するのに奇妙さを感じます
ルールそのものと考える方が自然ではないでしょうか
- 49 :
- >>45
それはモデル依存の言葉のあやですね
モデルを用いた巨大数の定義はモデル依存ですが、戦え数は証明可能性からの帰結なのでモデル依存にはなりません
詳しくは「形式論理のお勉強(その8)」をご覧ください
- 50 :
- ラヨ関数がwell definedであるというのも気になってたけど、これももしかしてwell definedになるように、
証明可能ベースであればなにかしらの理論、モデルベースであればなにかしらのモデル(向こうのグーゴロジストのいうPlatonist universeとか)
の存在を暗に前提としている?
- 51 :
- モデルの存在を明に前提としてますよ
ZFC2において定義できる真理述語によってZFCのモデルを分別してラヨ関数を定義するわけですから
証明可能性ベースであればそこまで大きくないでしょう
- 52 :
- http://web.mit.edu/arayo/www/bignums.html
ここの定義を見てもZFCの文字列がどこにも見当たらないのですが。
どこかにそういう補足があるのでしょうか
- 53 :
- 元の定義を見ても難しいですよ
正式な定義になってないので
それを噛み砕いて実現するものの一つが一階述語論理のZFCのモデルの対角化を使った定義です
- 54 :
- つまり、一階述語論理のZFCのモデル(具体的にどういうモデルを使うのかは分かりませんが)の対角化、
とこちらが独自に噛み砕いて初めてwell definedになるが、あれだけではwell definedにはならない、ということですか
モデルを使ったら使ったで多くの場合そのモデルを構成不可能で、比較や検証がなかなかできないという問題があって、
戦え数のような技術を使わない限りあまりすっきりするものでもないし、構成できたらできたぶんだけ非常に弱くなってしまうと思う。
- 55 :
- そういうことですね
ラヨ関数の実現のもう一つとして証明可能性を使ってZFCで定義したものは、戦え数考案者の人が戦え数より小さいと考察してます
- 56 :
- 解決しました。ありがとうございます。
- 57 :
- x^n+y^n+z^n-2*√((x*y)^n+(x*z)^n+(z*y)^n)=0
x^6+y^6+z^6-2*√((x*y)^6+(x*z)^6+(z*y)^6)≠0
1/2≠√(Σ(a^n*b^n)/Σ(k^n)^2)
- 58 :
- https://ja.wikipedia.org/wiki/24_-TWENTY_FOUR-_%E3%81%AE%E7%99%BB%E5%A0%B4%E4%BA%BA%E7%89%A9#%E3%83%81%E3%83%A3%E3%83%BC%E3%83%AB%E3%82%BA%E3%83%BB%E3%83%AD%E3%83%BC%E3%82%AC%E3%83%B3
ゴキブリシロンボは首切り落として死刑にしろゴキブリシロアリ民族アメ公強盗ヒトモドキはニホンザルゴキブリの飼い主共に自殺しろ
- 59 :
- 計算可能関数f(x)にx=BB(10^100)を入れたものを巨大数とする場合、計算可能巨大数扱いで良いの?
- 60 :
- f(n)<BB(n)だけど、BB(n)<f(BB(n))となることはあり得るしな
- 61 :
- 計算不能関数を合成したものは計算不能扱いだろ
- 62 :
- 0
1
5
36
329
3655
47844
721315
12310199
234615096
4939227215
113836841041
2850860253240
77087063678521
2238375706930349
69466733978519340
2294640596998068569
80381887628910919255
2976424482866702081004
116160936719430292078411
4765574829979508677295855
205035878625838303415800176
9231380112992703162388303775
434079901189282886935666077601
21279146538387854163010026106224
1085670553358969845200446997495025
57561818474563789649786700893342549
3166985686654367400583468996131335220
180575745957773505622907519480379450089
10657135997195291199152127118338518890471
650265871574870536653902661738130031768820
40977407045214039100395019816620530520326131
2664181723810487412062330190742072613852967335
Table[(2n-1)!!(1F1(-n, -2n, -2)),{n,1,33}]
- 63 :
- いや、値が確定してる数なので計算可能だよ
メモリが無限であればBB(10^100)という定数をマシンで定義できる
- 64 :
- BB(10^100)という定数を定義するためには最低10^100文字位必要なんだが?
- 65 :
- チューリングマシンはメモリが無限なので余裕
- 66 :
- >>65
おまえが、BB(10^100)を実際に10進数かなにかでで書き下したら認めてやる。
- 67 :
- >>66
俺が使ってるコンピュータはメモリが有限で正確にはチューリングマシンと同等ではない
- 68 :
- BB(10^100)が原理的に計算可能というのは認めるが。
巨大数スレで計算可能数を定義したと言い張るなら、計算不能な表現が入ってる時点でアウトや。
計算可能な表現のみでBB(10^100)を表現できたときにはじめてf(BB(10^100)も計算可能数として認められる。
- 69 :
- 1不可説不可説転=10^(7 2^122)
1グーゴルプレックス=10^(10^100)
1不可説不可説転
↓
10^37218383881977644441306597687849648128
なので
- 70 :
- 任意の自然数はある定数関数によって計算可能なので計算可能巨大数
- 71 :
- >>68
そういうルールなんか?
東方巨大数3とかそうでもなかった気がするが
>>70
そう
BB(x)という関数が計算不能なだけ
- 72 :
- >>71
まあ、公式のルールがあるかどうかは知らない。
現状、俺一個人の意見ではあるが多分このスレの住人の大半は俺に味方してくれると思うぞ?
- 73 :
- なにか数学的に扱いきれない理想的な理論が存在することを前提とすれば、BB(10^100)の値も決定できるし、おそらくそう考えるのが一般的
形式的な厳密さを要求されるとあまり自明でない。
いちおう「理想的な理論」ほどでなくとも、数学的に扱いきれる(1階の言語で帰納的公理化可能な)適当な理論で必要十分ではある。でも10^100となると現実的でないかな
- 74 :
- 海外の数学通に聞いたことがあるが、ラヨ数でもS……S(……(0)……)としてZFCで定義可能だと言ってたからな
それが普通の考え方
- 75 :
- 独自に定義可能なのはいいが作者自身の定義ではないのは留意しておくべき
- 76 :
- しょせんグラハム数の敵ではない
- 77 :
- 東方巨大数3、Twitterアカウント持ってないと質問もできなくてワロタ
今の時代仕方ないのか
- 78 :
- S1=1/2+1/2^2+1/2^3+1/2^4+・・・+1/2^n1=1-1/2^(n1)
S2=1/3+1/3^2+1/3^3+1/3^4+・・・+1/3^n2=1/2-1/2*1/3^(n2)
S3=1/5+1/5^2+1/5^3+1/5^4+・・・+1/5^n3=1/4-1/4*1/5^(n3)
2^n1*3^n2*5^n3*(S1-S2-2*S2)
2^n1*3^n2*5^n3*(1/2*1/3^n2+1/2*1/5^n3-1/2^n1)
2^2*3^2*5^2*(1/2*1/3^2+1/2*1/5^2-1/2^2)=-157
2^5*3^2*5^2*(1/2*1/3^2+1/2*1/5^2-1/2^5)=319
2^5*3^2*5^3*(1/2*1/3^2+1/2*1/5^3-1/2^5)=1019
n1,n2,n3に整数を入れると素数になる
- 79 :
- 東方巨大数のルール作成に関わったものです
まず、BB(10^100)を計算可能関数にぶち込んだものですが、計算可能関数がいかなる大きさであってもこの巨大数はBB(10^100)と近似されるため、「既知の関数を使っていて、かつその関数を本質的に拡張することに成功していない」
- 80 :
- と見なされるため、計算可能部門不可能部門問わず無効となりそうです
要は、BB(n)を、ただでかいというだけで使わずに、それを理解した上で拡張できれば良いということです
- 81 :
- また、もし計算可能関数と不可能関数がごちゃ混ぜになっている表記(スパゲティですね)を投稿された場合は、計算不可能部門で扱うことになります。
- 82 :
- ここからコンマ00で誰かが何かの巨大数をライフゲームと結びつける
- 83 :
- Table[((n-13)(a-4n-125))/(a(n-52)-7n^2+92n+6500),{a,10^(7 2^122),10^(7 2^122)+15},{n,3,3}]
を出力してくれ〜(・ω・)ノ
- 84 :
- なるほど、そういうのは弾かれてるんだなぁ
- 85 :
- 2^2*3^2*5^3*(1/2^2+1/3^2+1/5^3)=11*151=2*3*5*(1/2-1/3+1/5))*2*3*5^2*(1/(2*5^2)-1/(3*5^2)+1)
X^2+Y^2+Z^3=(X-Y+Z)*(X*Z^2-Y*Z^2+1)
1/X^a*1/Y^b*1/Z^c*(X^a+Y^b+Z^c)
(X^a+Y^b+Z^c)が式変形できないとき
1/X^a*1/Y^b*1/Z^c*(X^a+Y^b+Z^c)は素数になる
- 86 :
- List of common mistakes on formal logic appearing in googology
って記事良記事だな
英語だけど
- 87 :
- エクゾディアは攻撃力∞
- 88 :
- 3132人目の素数さん2019/03/10(日) 00:53:01.15ID:T0MC3AGv
別にこれはゴールドバッハ予想の本筋の話じゃないし
3次元版黄金比(8つの線形独立な数のなんらかの比)だから
虚数が出てくるのは分かりきってるから実数解だけが出てくる必要性はあまりないんだが
実数解での近似値しかでねーんだよなwolfram
8乗根の1/8版
(1^(1/8)+7^(1/8)+11^(1/8)+13^(1/8)+17^(1/8)+19^(1/8)+23^(1/8)+29^(1/8))/8
結果:1.359492973752185331215785959543067512600248663925938276460...
URL: https://www.wolframalpha.com/input/?i=(1%5E(1%2F8)%2B7%5E(1%2F8)%2B11%5E(1%2F8)%2B13%5E(1%2F8)%2B17%5E(1%2F8)%2B19%5E(1%2F8)%2B23%5E(1%2F8)%2B29%5E(1%2F8))%2F8
こっちが立方根の1/3版
(1^(1/3)+7^(1/3)+11^(1/3)+13^(1/3)+17^(1/3)+19^(1/3)+23^(1/3)+29^(1/3))/3
結果:6.214704335326685035221796173334212598695902925051971985536...
URL: https://www.wolframalpha.com/input/?i=(1%5E(1%2F3)%2B7%5E(1%2F3)%2B11%5E(1%2F3)%2B13%5E(1%2F3)%2B17%5E(1%2F3)%2B19%5E(1%2F3)%2B23%5E(1%2F3)%2B29%5E(1%2F3))%2F3
8乗根の1/3版
(1^(1/8)+7^(1/8)+11^(1/8)+13^(1/8)+17^(1/8)+19^(1/8)+23^(1/8)+29^(1/8))/3
結果: 3.625314596672494216575429225448180033600663103802502070560...
URL: https://ja.wolframalpha.com/input/?i=(1%5E(1%2F8)%2B7%5E(1%2F8)%2B11%5E(1%2F8)%2B13%5E(1%2F8)%2B17%5E(1%2F8)%2B19%5E(1%2F8)%2B23%5E(1%2F8)%2B29%5E(1%2F8))%2F3
3乗根の1/8版
(1^(1/3)+7^(1/3)+11^(1/3)+13^(1/3)+17^(1/3)+19^(1/3)+23^(1/3)+29^(1/3))/8
結果:2.330514125747506888208173565000329724510963596894489494576...
URL: https://ja.wolframalpha.com/input/?i=
- 89 :
- アドレスを保持するレジスタが1個
アドレスは全ての整数値になりうる
各アドレスに対して1bitのデータを保持する
プログラムはn個の命令からなる
各命令は以下のような動作をする
switch (*addr){
case 0:
5種類の動作のどれか
case 1:
5種類の動作のどれか
}
5種類の動作は以下
A : *addr++ = 0; goto 「n個の命令の1個」;
B : *addr++ = 1; goto 「n個の命令の1個」;
C : *addr-- = 0; goto 「n個の命令の1個」;
D : *addr-- = 1; goto 「n個の命令の1個」;
E : 動作停止
データとaddrは全て0の状態で
1個目の命令から動作を開始する
- 90 :
- 巨大数を作ろうと考えてるんだけど全然上手く行かない
思い付く人すげーな
- 91 :
- 順序数崩壊関数はε-δ論法と同じくらい難しかった
やっと理解できました
- 92 :
- ω^CK_1を崩壊させるとなにになるの?
- 93 :
- 不可説不可説転^無量大数=(10^(7×2^122))^(10^68)
=(10^37218383881977644441306597687849648128)^(10^68)
=10^10^3721838388197764444130659768784964812800000000
000000000000000000000000000000000000000000000000000000000000.
≒10^(10^105.5707575110199) ・・・
1グーゴルプレックスを超えた!
- 94 :
- >>92
関数によって違う。
順序数崩壊関数は、その関数ではどうやってもたどり着けない(次元が違う)順序数を使って、それより小さい順序数を作ろうというものなので。
計算可能な手順ではどうやっても構成することはできないという性質は、
ω_1の、可算な手順ではどうやっても構成することができないというのと同じような感じなので、
これを使って順序数崩壊関数を作ることができる。
ところで、ω_1^CKより小さくて、似たような性質がある順序数って存在するんだろうか。
なんとなくやってる人の意見でした。
- 95 :
- しまった、上げてしまった!
- 96 :
- Loader.cって、たしかn文字のCoCで書かれたプログラムのうち、最大の数を出力するものみたいな感じなんだっけ?
CoCは、ZFCと同じ強さ、表現力があるうえ、
なんと、必ず停止するという最強の利点があるから、これで総当たりしたら絶対でかい数ができるじゃんずる・・・賢いなー
- 97 :
- 必ず停止するのにZFCと同じ強さってなんか違和感が
- 98 :
- >>97
あ、ZFCと同じなのはCICだったか
停止するって↓に書いてあった
https://www.slideshare.net/qnighy/coq-13942184
関係ない話:
順序数を表すのにチェーン表記が不便だと思った
やはり時代はBEAFだな今回のでそれがよく分かったよ>>wiki感謝
- 99 :
- >>98
CoCの証明論的強さの順序数って何になるの?
- 100 :
- 必ず停止する=>ω^CK_1未満だよね?
- 101 :
- グジェゴルチク階層とは何か?
- 102 :
- 戦え数の証明論的順序数はどのくらいだろう
- 103 :
- (100!/10^71)/10^71≧9×10^15
なので100!は
1000無量大数×1000無量大数×9000兆以上の大きさ
- 104 :
- Buchholzのψ関数について解説、ψ_0(1)まで
http://ja.googology.wikia.com/wiki/%CE%A8%E9%96%A2%E6%95%B0
順序数の集合を返す関数C_v(α)を補助的に使用している。
ψ_v(α)はC_v(α)に含まれない最小の順序数。
C_v(α)は、すべてのnについてのC^n_v(α)の和集合。
ψ_0(0)を求めるには、まずC_0(0)を求める必要がある。
C^0_0(0)=1={0}【順序数の定義より、α<β⇔α∈β】
C^1_0(0)={0}∪{0}【P(0)=∅】∪∅【ξ∈0となるようなξはない】={0}
・・・
C_0(0)={0}、よってψ_0(0)=1
つぎに、ψ_0(1)。同様にC_0(1)を求める。
C^0_0(1)={0}
C^1_0(1)={0}∪{0,1,2,…}【P(1)=P(2)=…={1}】∪{1,Ω,Ω_2,…,Ω_ω}【ψ_μ(0)】
・・・
C_0(1)={0,1,…}∪{Ω,Ω+1,……}
C_0(1)にωは含まれないのでψ_0(1)=ω
同様にすると、ψ_0(α)=ω^αとなる
- 105 :
- log(100!)/log(10)=157.97… wolframalphaより
つまり100!は158桁の数
Buchholzのψ関数を使ってツリー状の順序数表記を作ることができる。
・すべての節点には0以上の整数、またはωのラベルが付いている。
・ただし、根には+というラベルが付いている。
・同じ節点から複数の枝が生えているとき、和を意味する。
・ラベルνの節点から枝αが生えているとき、ψ_ν(α)を意味する。
0 = (+)
1 = ψ_0(0) = (+(0))
2 = ψ_0(0)+ψ_0(0) = (+(0)(0))
ω = ψ_0(ψ_0(0)) = (+(0(0))
ω^2 = ψ_0(ψ_0(0)+ψ_0(0)) = (+(0(0)(0)))
ε_0 = ψ_0(ψ_1(0)) = (+(0(1)))
φ(2,0) = ψ_0(ψ_1(ψ_1(0))) = (+(0(1(1))))
Г_0 = ψ_0(ψ_1(ψ_1(ψ_1(0)))) = (+(0(1(1(1)))))
- 106 :
- >>99
やはり私の読み間違えかもしれないので調べてみてください。
Ordinal Strength of Logic-Enriched Type Theories
https://www.cs.ru.nl/R.Adams/20120327cambridge.pdf
が参考になるかもしれません。
- 107 :
- 1000!は何桁ですか?
- 108 :
- >>107
https://www.wolframalpha.com/input/?i=ceil(log10(1000!))
2568桁
十分大きなnに対してはa^n<n!<n^nということを使って、
10^1000<1000!<1000^1000=10^3000
1000桁以上3000桁以下といってもいい
この方法はwolframで計算できないほど大きい階乗にも使える
10^10^10<(10^10)!<(10^10)^10^10=10^10^11
(10^10)!は10 000 000 000桁以上、100 000 000 000桁未満
- 109 :
- あ、log10ならこの方法で計算できるじゃん
function factorialDigits(n){
let digits = 0;
for(let k = 2; k <= n; k++) digits += Math.log10(k);
return Math.ceil(digits);
}
- 110 :
- 結局巨大数の探索とは複雑さの探索であり、どれだけ複雑にできるかということであり、複雑さの度合いは順序数で表すことができる。
これはつまり自己エントロピーとの闘いであり、整然とした複雑さの追求は、生きている限りエントロピーの増大に抗う生命という存在の、自然な欲求といえるのではないか?
- 111 :
- 多相型の強さを知るために、多相型を使って順序数をつくる
0, f_0, +を用意する
ただし、f_0、+は多相であり、何を入力してもいい。
・f_0(χ) = χ´
・f_α+f_β=f_(α+β)
f_0(α) = ω^α
f_0(f_0) = f_1
f_1(α) = φ(1,α)
f_1+f_1 = f_2
f_η(α) = φ(η,α)
f_0(f_1) = f_ω
f_0(f_1+f_1) = f_{ω^2}
f_0(f_ω) = f_{ω^ω}
f_1(f_0) = f_ε_0
f_α(f_0) = f_φ(α,0)
fの限界はf_Г_0、つまりこの表記の限界はφ(Г_0,0) = Г_0
- 112 :
- 別の構成法
・f_0(f_α) = f_{ω^α}なのは同じだが
f_1(0) = Ω
f_0(Ω) = ψ_0(Ω)
f_1(α) = Ψ_1(α)
f_1 + f_1 = f_2
f_ν(α) = Ψ_ν(α)
f_2(f_0) = f_Ω
f_1(f_Ω) = f_{ψ_0(Ω)}
f_2(f_Ω) = f_{ψ_1(Ω)}
f_1(f_α) = f_{ψ_0(α)}
f_2(f_α) = f_{ψ_1(α)}
f_2(f_0) = f_{Ω_2}
この限界はおそらくψ(ψ_I(0))
- 113 :
- 計算可能関数が好きだからビジービーバーは嫌って人居るけど、
ビジービーバー関数を10^100によって制限した関数って計算可能だよな?
- 114 :
- a - 137!=0 を満たすaの値はいくつですか?
- 115 :
- >>113
BB(10^100)と言っても、計算可能な定義が示されてないから、計算可能な部分だけ見れば「西暦3000年1月1日の時点で最大の数」って言うのとほとんど変わらない
依存型のようなものを追加してみる
[0]_α(β) = φ(α,β)
[0]_0([0]_0) = [0]_Ω
ここまではたぶん同じ
ここから:[1] :: A → (A → A)
[1](0) = [0]_{ψ_I(0)}
いつかしっかり定義したい
※[0]_0の_0部分はわかりやすくするために名前をつけるためのものなので、[0]_0=[0]
- 116 :
- おっと間違えた(7行目)
[0]_0([0]_0) = 1
その他、>>112と同じ
- 117 :
- >>103
100!=
93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
10 LET N=1
20 LET MAX=100
30 FOR I=0 TO MAX-1
40 LET A=I+1
50 LET N=N*A
60 PRINT I+1;
70 PRINT N
80 NEXT I
90 END
- 118 :
- I=Ω_Ω_Ω_...のI番目の不動点であってる?
- 119 :
- >>115
BB(10^100)ではなく定義域を10^100に制限したBB(x)
- 120 :
- >>119
最低でも10^100状態以上のチューリングマシンが必要だぞ?
- 121 :
- >>120
でも計算可能じゃないか?
- 122 :
- BB(10^100)は計算可能だが結局のところBB(10^100)と10文字で書けるのはBBの計算不能性によるところが大きい。
- 123 :
- BB(10^100)は一つの自然数だから計算可能関数はおろか関数ですらない
BBの10^100による制限とは異なる
- 124 :
- 定数関数ととらえることもできることはできるが
- 125 :
- それもそうだが
どちらにせよ計算可能ニストもビジービーバーは受け入れられるはずだろう
- 126 :
- なるほど。例えば
f(x) = BB(x) (if x < 10^100)
f(x) = 0 (otherwise)
という関数は計算可能だという訳か。
確かにその通りだが、計算可能ニストは納得しないだろう。
任意のxについてBB(x)の値を知る神様がいれば、n=10^100として
BB(0)=a0, BB(1)=a1, ... ,BB(n)=an
を満たす定数a0,a1,...,anを知っているから、
その神様は、入力がmかつm<nならamを出力し、m<nでないなら0を返す、
C言語で言うswitch文が10^100まで続く感じのプログラムを書ける。
しかし、BB(10^100)どころかBB(100)の値も知らない人間には、
このようなプログラムを実装できない。
おそらく計算可能ニストは、アルゴリズムがあるというだけでなく、
具体的なアルゴリズムを示すことまで求めるはずだ。
- 127 :
- Σ_1健全性を要求する!
- 128 :
- Σ1健全ではないの?
- 129 :
- >5-状態ビジービーバーについて(中略)
他に約40個の非正則な振る舞いをするチューリングマシンが残されている。これらは停止しないと信じられているが、停止しないことの証明がいまだ得られていない
停止しないと信じられている非正則な振るまいって具体的にどういうこと?
例えば2-状態で、
(1RB)(1LB)(1RA)(1LA)という挙動をするマシンが停止しないのは明らかだけどこれは非正則といえるの?
- 130 :
- >>129
https://web.archive.org/web/20121026023118/http://web.mit.edu/~dbriggs/www/
ここにリストがあるけど
正則なチューリングマシンってどういう定義なんだろう
- 131 :
- 1-状態のマシンが取りうる全挙動
1RA、1LA、0RA、0LB←無限に動き続ける為失格
1RH、1LH←優勝
0RH、0LH←2着
失格=非正則
ゴール(停止)する=正則
でいいんじゃね?
5-状態だと挙動の全パターンが多過ぎて失格する無限ループも複雑になるから判明しないとか
- 132 :
- 0LBってなんだ0LAで
- 133 :
- 40個のうちどれか一つでも停止か無限ループになることが言えたらそれだけで論文になるレベル?
- 134 :
- Twitterでこんな文見つけた
>一番シンプルな停止性問題というと2記号5状態チューリングマシンの停止判定かなって思って調べてたら英語版巨大数Wikiの方で解明が進んでた。
停止するかが判明していなかった42個のチューリングマシンのうち14個が無限ループすることを証明(2014)
非正則=停止するかしないかどちらかわからない、
って意味だな。
- 135 :
- 14個が無限ループするすることの証明になにか目新しいテクニックは使われたのだろうか?
- 136 :
- BB(n) (n<10^100)
の値を求めるアルゴリズムは確かに存在するだろう
BB(1)は計算可能だし、ある決まった値についてはBB(n)もその次も計算可能だから
でも、そのアルゴリズムを書くにはこのスレの余白は余りにも小さすぎる
おあとがよろしいようで
- 137 :
- お久しぶりの、majimanjiです。
一秒だけ巨大数論復帰します。
質問です。
F_φ(ε_ω+1,0)(n)はBEAFで近似するとどうなりますか?
- 138 :
- {X,X,(X↑↑X^X)+1}&n
あたりじゃないか
- 139 :
- >>138
と言うことはF_φ(ε_ω+1,0)(3)は余裕で鳥アクルス超えてる...!?
- 140 :
- C: 複素数全体
R: 実数全体
Q: 有理数全体
Z: 整数全体
N: 自然数全体
使用例. 1 ∈ N ⊂ Z ⊂ Q ⊂ R ⊂ C.
- 141 :
- Buchholzのψ関数で、わざわざカントール標準形の集合を加えてる意味はあるんだろうか
{γ+δ|γ,δ∈C_ν^n(α)}みたいに書いた方が個人的にはわかりやすいと思うが、そうしてもいいのだろうか
あとC_ν^n(α)∪のとこいらなくね?
- 142 :
- User_blog:Deedlit11/Ordinal_Notations_III:_Collapsing_Higher_Cardinalities を参考にした
ψ function up to ψ_0(Ω_Ω_Ω_...)
C_n(ν,α) = α∪{0}
C_n(ν,α) = {β+γ,Ω_β, ψ_μ(ξ) | μ∈C_n(ν,α); ξ∈C_n(ν,α)∩α; ξ∈C(μ,ξ)}
C(ν,α) = ∪[n < ω] C_n(ν,α)
ψ_ν(α) = min{β | β∉C(ν,α)}
- 143 :
- おかしかったな、ミスだ
C_n(ν,α) = {β+γ,Ω_β, ψ_β(ξ) | β,γ∈C_n(ν,α); ξ∈C_n(ν,α)∩α; ξ∈C(β,ξ)}
- 144 :
- 巨大数作ろうとするとすぐ自然数の無限集合になってしまってうまく行かんなぁ
- 145 :
- 多変数アッカーマンを順序数を使って1変数アッカーマンにする
どこまでいけるか?
まず、手抜きの定義を
A(a_n, …, a_1, a_0)をたろう氏の多変数アッカーマン関数とする
α=ω^n×a_n+…+ω^0×a_0とおく
A(α) = A(a_n, …, a_1, a_0)
この時点では、α<ω^ωについて定義されている
後はお楽しみ!
ところで、順序数崩壊関数って、いろいろなギリシャ文字とかが割り当てられているけど、人によって仕様が違うからめんどくさいな
例えば、Deedlit11氏のブログではψ関数の中で+,φが使われてるがBuchholz's ψでは+だけが使われてるし、Madore's ψでは+、×、↑が使われてる
in my ψ function, なんて言う人もいるし統一するかわかりやすくしてほしいもんだ
まあϑ関数は定義が一つしかないし、これを使えば安泰かな
- 146 :
- まあ、どの関数を使おうがBHOでは同じ強さになるのだが
ϑ(ε_(Ω+1)) = ψ_0(ε_(Ω+1)) [Rathjen] = ψ_0(ε_(Ω+1)) [Buchholz] = ψ(ε_(Ω+1))
- 147 :
- 間違えた、というかRathjenのψわかってなかった
ψ_0 [Buchholz] ≒ ψ_Ω [Rathjen]
だった
- 148 :
- 到達不能階層というのがあるのか!
χ(0,β) = Ω_(1+β):1+β番目の非可算な基数
χ(1,β) = I_(1+β):1+β番目の1-到達不能基数
χ(2,β):1+β番目の2-到達不能基数
χ(α,β):1+β番目のα-到達不能基数
χ(M,β):1+β番目のhyper-到達不能基数
χ(M+α,β):1+β番目のhyper-α-到達不能基数
χ(M_2,β):1+β番目のhyper-hyper-到達不能基数
- 149 :
- また間違えたみたいだ・・・
・まず、到達不能基数ではなく“弱”到達不能基数
あと、Iは1-弱到達不能基数ではなかった、つまり
χ(α,β):1+β番目の1+α-弱到達不能基数
- 150 :
- 「BB(5) Calculating Challenge」企画
もうそろそろ始めるか?
- 151 :
- やってみたいけどビジービーバー関数の定義をまだ知らない
- 152 :
- >>151
http://ja.googology.wikia.com/wiki/%E3%83%93%E3%82%B8%E3%83%BC%E3%83%93%E3%83%BC%E3%83%90%E3%83%BC%E9%96%A2%E6%95%B0
なう
- 153 :
- 空のテープってのは空の配列ってことか
- 154 :
- n=5のビジービーバー候補って綺麗すぎじゃね?
なんとなく、もっとぐちゃぐちゃなのが真のビジービーバーだと思う。
- 155 :
- BB(85)>>fε_0(1907)って書いてあるけど、真のBB(85)の値は多分もっと遥かにでかいよね?
- 156 :
- >>155
その可能性もある
fφ(ω,0)(10)越えかもしれないし、
もっとでかいかもしれない
- 157 :
- >>155
その可能性もある
fφ(ω,0)(10)越えかもしれないし、
もっとでかいかもしれない
- 158 :
- 超限順序数のBEAF
https://googologyforeveryone.fandom.com/wiki/Transfinite_BEAF
巨大数Wikiでもこの記事みたいなの作らない?
- 159 :
- X↑↑↑X&ω = θ(φ(2,Ω+1))
{X,2,1,2}&ω = θ(φ(ω,Ω+1))
{X,X,1,2}&ω = θ(Ω_2)
{X,X,2(1)2}&ω = θ(Ω_2^Ω_2)
X↑↑X&X&ω = θ(ε_(Ω_2+1))
X↑↑↑X&X&ω = θ(φ(2,Ω_2+1))
{X,X,1,2}&X&ω = θ(Ω_3)
{X,X,1,2}&X&X&ω = θ(Ω_4)
{ω,ω/2} = θ(Ω_ω)
- 160 :
- ω^ε_α=ε_α
ω^(ε_α+1) = ω^ε_α・ω = ε_α・ω
ω^(ε_α・2) = (ω^ε_α)^2 = ε_α^2
ω^(ε_α^2) = (ω^ε_α)^ε_α = ε_α^ε_α
ω^(ε_α^ε_α) = (ω^ε_α)^ε_α^ε_α = ε_α^ε_α^ε_α
ε_(α+1) = ω^ω^・・・^ω^(ε_α*2) ?
- 161 :
- 日本の巨大数はレベルが高いらしいな
応募するの辞めとこ
- 162 :
- (´・ω・`)↑↑(*´▽`*)↑↑↑(/・ω・)/
- 163 :
- サラダ数を作ってみた。
トマト(a,b)=トマト(a-1,b)+トマト(a,b-1)とし、トマト(1,a)=a,トマト(a,1)=a+1とする
次に、シャリシャリレタス(a,b,c)を次のように定義する。
トマト(a,b)↑^[トマト(a,c)]トマト(b,c)
続いて、粉チーズ(a,b,c)を次のように定義する。
シャリシャリレタス(トマト(a,b),トマト(a,c),トマト(b,c))
最後に、マヨネーズ(a,b,c,d)をこう定義する。
粉チーズ(シャリシャリレタス(a,a+b,トマト(c,d)),トマト(a,b^2),トマト(a,d))
そして、マヨネーズ(114,514,810,1919)をサラダうまいとする
- 164 :
- 100!中の二進数字の桁数を求める:
In[1]:=IntegerLength[100!, 2]
Out[1]=525
- 165 :
- ハイパー演算の、f_ω^ωレベルの自然な拡張を目指す
X: 0個以上の整数, Y: 0個以上の1, A: Yと同じ個数のa
a, b, c: 整数
hyper(a, Y) = a+1
hyper(a, b, Y) = a+b
hyper(a, 1, X) = a
hyper(a, b+1, Y, c+1, X) = hyper(a, A, hyper(a, b, Y, c+1, X), X)
- 166 :
- ミス 最後の行
hyper(a, b+1, Y, c+1, X) = hyper(a, A, hyper(a, b, Y, c+1, X), c, X)
- 167 :
- rT階層を次のように定義する
rT_0(n)=n
rT_n+1(m)=rT_n(rT_n(m))
rT_順序数(n)=rT_順序数[n](n)
ここで順序数[n]=順序数のn番目の基本列とする
だれか増加速度の比較作ってくだXi
- 168 :
- ,X,2(1)2}&ω = θ(Ω_2^三_2)
X↑↑X&X&ω = θ(ε_(Ω_2+1))
X↑↑↑X&X&ω = θ(φ(2,Ω_2+1))
{X,X,1,2}&X&ω = θ(D;ap-./
- 169 :
- 3/3]0〜2sin∠OPO'=1/3
2sin∠OPO'-(8/3)(sin∠OPO')^3=1/3
6sin∠OPO'-8(sin∠OPO')^3=1
前問同様、∠OPO'=10゜ ⛟⛴✈,I'm
- 170 :
- >>167
rT_m(n) = n
増えてねーぞ何かの間違いではないか?
仮に、rT_0(n) = n+1とすると
rT_m(n) = n+2^m
rT_ω(n) = n+2^n
f_0(n) ≦ rT_m(n) < f_1(n) < rT_ω(n) < f_2(n) < rT_ω+1(n)
Hardy<rT<FGH
H_ε_0 ≒ rT_ε_0 ≒ f_ε_0
- 171 :
- 超現実数というのがある
これは、実数を超限順序数まで拡張したようなものらしい
0 = {|}
1 = {0|}
2 = {1|}
-1 = {|0}
-2 = {|-1}
1/2 = {1|2}
3/4 = {1/2|1}
詳しくはWikipedia参照だが、巨大数に使えないか気になる
- 172 :
- >>170
それは単なるミス
補遺
rT_ω^ω(n)を急増化関数にしてみた
rT_ω^n(n)
こっから分からん
- 173 :
- 『与えられた数より小さい素数の個数について』
- 174 :
- リーマンの論文なのか
ググっちまったぜ
- 175 :
- 2^i = 3^j-1 となる (i, j): (1, 1), (3, 2), ?
・無数に存在するだろうか?
・増加速度は?
- 176 :
- 新しい巨大数を考えた。
V(n)=n↑^[n]n
V^n(n)=R(n)
R(n)_m=R^V(m)(n)
R(n)_n=Ce(n)
Ce^64(4)をNaNaSi数v1とする
- 177 :
- >>176
V(n) ≒ f_ω(n)
R(n) ≒ f_ω+1(n)
Ce(n) = R^V(n) (n) ≒ f_ω+2(n)
- 178 :
- 【登録約8000人】思ってたよりYouTube儲かる件
https://www.youtube.com/watch?v=1C5Wuw8sZnI
【初任給】YouTubeを始めて初めていただいた月収はこちらです!広告収入って一体いくらなの?
https://www.youtube.com/watch?v=xpS27gElY0A
YouTubeって儲かるの?収益化審査通過!Googleアドセンス初入金のご報告。
https://www.youtube.com/watch?v=MUhXdi4ipFk&t=613s
1再生「0.1円」は全部嘘です。登録者7万人の広告収入で生活できる?
https://www.youtube.com/watch?v=zNpPgzTSigI&t=118s
YouTuber最新給料事情|vol.093
https://www.youtube.com/watch?v=XwT5qla4_Iw
シバターがヒカルとラファエルの収入を暴露
https://www.youtube.com/watch?v=eHn41HlXe1g&t=10s
【20万人目前】アディ男月収いい波乗ってんの?
https://www.youtube.com/watch?v=m0GXxtNOgsw
YouTubeの広告収益が月200万を超えました。【収益公開】
https://www.youtube.com/watch?v=GCgOrRnXhFA&t=377s
登録者15000人の収益公開します。【第一回質問コーナー】
https://www.youtube.com/watch?v=PDlYNLjMN-o
底辺YouTuberの収益公開!
https://www.youtube.com/watch?v=3oolmH_XOiM
- 179 :
- >>175
それしか無いのは高校生なら示せるようにしたいところ。
- 180 :
- NaNaSi数v2は以下のような定義です。
V(n),R(n),Ce(n)....って感じの関数の列のn番目の関数をXu[n]とする
例:Xu[3](3)=Ce(3)
By(n,m)=Xu[n](m)↑^[Xu[n](m)] Xu[n](m)とする
By(10,10)をNaNaSi数第1定数とする
By(NaNaSi数第1定数、NaNaSi数第1定数)をNaNaSi数v2とする
- 181 :
- これってf_ω2+1(10)くらいか?
- 182 :
- 段階的に定義
======================
a,x={非負整数}
A=f[a+1](x)
f[0](x)=x+1
f[a+1](0)=f[a](1)
f[a+1](x+1)=f[a](A)
======================
a,n,x={非負整数}
X={0個以上の非負整数}
a#n={n個のa}
B=f[0#(n+1)](x)
A=f[X,a+1,0#n](x)
f[](x)=x+1
f[0#(n+1)](0)=f[1#n](1)
f[0#(n+1)](x+1)=f[B#n](B)
f[X,a+1,0#n](0)=f[X,a,1#n](1)
f[X,a+1,0#n](x+1)=f[X,a,A#n](A)
- 183 :
- ======================
a,m,n,x={非負整数}
X={0個以上の非負整数}
a#n={n個のa}
[]={0個のリスト}
[@]={0個以上の非負整数の0個以上のリスト}
[X]{m}={m個のXのリスト}
C=f[]{m+1}(x)
B=f[@][0#(n+1)][]{m}(x)
A=f[@][X,a+1,0#n][]{m}(x)
f(x)=x+1
f[]{m+1}(0)=f[1]{m}(1)
f[]{m+1}(x+1)=f[C#C]{m}(C)
f[@][0#(n+1)][]{m}(0)=f[@][1#n][1]{m}(1)
f[@][0#(n+1)][]{m}(x+1)=f[@][B#n][B#B]{m}(B)
f[@][X,a+1,0#n][]{m}(0)=f[@][X,a,1#n][1]{m}(1)
f[@][X,a+1,0#n][]{m}(x+1)=f[@][X,a,A#n][A#A]{m}(A)
- 184 :
- ======================
a,k,m,n,x={非負整数}
X={0個以上の非負整数}
a#n={n個のa}
[]={0個のリスト}
[@]={0個以上の非負整数の0個以上のリスト}
[X]{m}={m個のXのリスト}
[[]]={0個のリストのリスト}
[[@]]={0個以上の非負整数の0個以上のリストの0個以上のリスト}
[[X]{m}]{k}={m個のXのリストのk個のリスト}
D=f[[]]{k+1}(x)
C=f[[@]][[]{m+1}][[]]{k}(x)
B=f[[@]][[@][0#(n+1)][]{m}][[]]{k}(x)
A=f[[@]][[@][X,a+1,0#n][]{m}][[]]{k}(x)
f(x)=x+1
f[[]]{k+1}(0)=f[[1]]{k}(1)
f[[]]{k+1}(x+1)=f[[D#D]{D}]{k}(D)
f[[@]][[]{m+1}][[]]{k}(0)=f[[@]][[1]{m}][[1]]{k}(1)
f[[@]][[]{m+1}][[]]{k}(x+1)=f[[@]][[C#C]{m}][[C#C]{C}]{k}(C)
f[[@]][[@][0#(n+1)][]{m}][[]]{k}(0)=f[[@]][[@][1#(n+1)][1]{m}][[1]]{k}(1)
f[[@]][[@][0#(n+1)][]{m}][[]]{k}(x+1)=f[[@]][[@][B#n][B#B]{m}][[B#B]{B}]{k}(B)
f[[@]][[@][X,a+1,0#n][]{m}][[]]{k}(0)=f[[@]][[@][X,a,1#n][1]{m}][[1]]{k}(1)
f[[@]][[@][X,a+1,0#n][]{m}][[]]{k}(x+1)=f[[@]][[@][X,a,A#n][A#A]{m}][[A#A]{A}]{k}(A)
- 185 :
- ()の中の数字はともかく、関数はそれ・・・と同じ位だと思うけど
By(n,m)=Xu[n](m)としても同じ位の強さになる
↑を使う必要はあまりないと思う
- 186 :
- ちょっと頑張ってみる
[n,m]=By(n^2,m^2)
[n,m,1]=[[n,m],[n,m]]
[n,m,2]=[[n,m,1],[n,m,1],1]
[n,m,3]=[[n,m,2,],[n,m,2],2]
.....
Uu(n)=[n,n,n]とする
Uu^Uu(3)(3)をNaNaSi数v3とする
小さい自信はある
- 187 :
- 1次元 ω^n×a_n+…+ω^1×a_1+a_0 < ω^ω
2次元 ω^(ω×b+c)×a < ω^ω^2
n次元 < ω^ω^ω
- 188 :
- 俺もω_1^CKくらいの関数はいきたいんだけど
出来るだけ単純にしたいんだよなあ
- 189 :
- 海外はあまり集合論分かってないから巨大数が滅茶苦茶みたいな話があるけど、個人的に集合論はZFCの中で研究してるイメージあるから、メタ的な視点が大きく入り込むのは集合論ではなくモデル論や証明論といった別の分野な気はするよなぁ
集合論をやる上ではメタ理論という概念は形式上全く必要ないし
- 190 :
- ZFCって何ぞや?
- 191 :
- そうなるよな
巨大数にはZFC公理系の理解が必須だが(東方巨大数のルールにも記述されてる)
解説がどこにもないからなぁ……
- 192 :
- ただわかったと思うのと、使いこなすのは別かもしれないが、とりあえずWikipedia見ればわかった気になる
- 193 :
- なるほど、わからん!
- 194 :
- 皆ゲームやろうぜ!
関数T:Nk↦Nが区分線形 (piecewise linear) であるとは、整数係数の不等式による条件分けされた有限個の一次関数によって表記できることを意味するものとする。
区分線形関数Tに対して、ベクトルy∈Nkがxに対するTの逆変換であるとは、T(y)=xを満たすことを意味するものとする。
区分線形関数T:Nk↦Nと、2つの正の整数nとsが与えられた時に、
有限区分線形約束ゲーム (finite piecewise linear copy/invert game, 略してFPLCIゲーム) G(T,n,s) を、次のように定義する。G(T,n,s)は、マシモとうるかの間の2人ゲームで、nラウンドで終了する。マシモが先手である。
マシモの手番では、w! または y+z となるようなx∈[0,s] を選ぶ。ここで、yとzはうるかがそれまでに選んだ数字でなければならない。xがマシモの提案である。うるかは、その提案を受け入れるか拒否することを選ぶことができる。
提案を受け入れた時には、うるかはxを選んで、うるかは決してxのTによる逆変換の中から数字を選ばないと約束する。
提案を拒否した時には、xのTによる逆変換の中から好きな数字を選んで、決してxを選ばないと約束する。
うるかが約束を破ると、うるかの負けである。うるかがnラウンドすべて約束を破らなければ、うるかの勝ちである。ここで、約束はうるかの過去、現在、未来のすべての手番に適用される。
....うん。
- 195 :
- CoCがZFCより強いかはともかく、少なくとも2階述語論理と同じ強さがあるのは確かだろう
CoCでは述語を量化できるから
- 196 :
- いや、そうではないのか?
もしかするとCoCで量化できる述語には制限があるかもしれない
まだあまり理解してないからわからないけど
ところで、1階と2階があるなら3階以上の算術や述語論理はあるんだろうか?
1階算術→∀n:自然数
2階算術→∀X:集合
1階述語論理→∀x:物
2階述語論理→∀φ:述語
また、2階述語論理のサブセットは何かあるだろうか
ZFが集合の構成法を制限したように、述語の構成法を制限したようなものは
- 197 :
- 今Wikipedia見たら、高階述語論理の例として、CoCがあった
そうか、そうだよな、CoCでは述語に関する述語をつくることもできるもんな
- 198 :
- CoCはローダー数の理論であり同時に術後の一種でもある
すなっわちkskl、lhがgfぁ;うdpg
本編:CoCって何?
- 199 :
- CoCとは:ラムダ計算の親戚のようなもの。英語版Wikipediaを見ればたぶんわかる。
ラムダ計算を知らないならそこから調べてみるといいと思う。
ラムダ計算入門→https://www.slideshare.net/_yingtai/lambda-guide
- 200 :
- https://www.amazon.co.jp/gp/profile/ amzn1.account.AG7IMTGXGB7V5LN6Z2GH52VKIUWA
きちがいゴキブリニホンザル国産ゴミをフェイク主張世界のゴミ箱ヒトモドキニホンザル抹殺しろ
- 201 :
- https://www.youtube.com/channel/UCfuVOrOOKILz_GZbEzhyULw
マナー違反強姦虐殺迷惑戦犯非論理キチガイ反中ヒトモドキニホンザル自殺しろこの世から消え去れ
- 202 :
- >>201
>>200
今すぐそれをやめろ
- 203 :
- Loader.cをさらに少し展開してみた
https://pastebin.com/SuQmtjw5
CoCについて少し解説
AからNへの関数は「λx:A.N」と表す(「(x:A) N」と表記されることもある)
この関数の型は「∀x:A.B」である(このときN:B; 「[x:A] B」や「A⇒B」と表記されることもある)
自然数 (チャーチ数)
Nat = ∀A:P. ∀s:(A⇒A). ∀z:A. A
0: Nat = λA:P. λs:(A⇒A). λz:A. z
1: Nat = λA:P. λs:(A⇒A). λz:A. s z
真偽値
Bool = ∀A:P. A⇒A⇒A
true: Bool = λA:P. λx y:A. x
false: Bool = λA:P. λx y:A. y
- 204 :
- >>186の拡張チャレンジ&NaNaSi数v4
[a,b,c,d]=[[a,b,c],[a,b,c],d]
[a,b,c,d,e]=[[a,b,c,d],[a,b,c,d],e]
以下同様
本編
a[]b=[a,a,..b回...,a,a]
a[[]]b=a[]a[]a..b回..a[]a[]a
この表記が連なっているときは、右から計算する。
例:2[]3[]4=2[][3,3,3,3]
10[[[[[[[]]]]]]]10をNaNaSi数v4とする
↑[4,5,6]回
- 205 :
- チェーン表記は低位な数を見捨てた結果ω^2になったが
多変数アッカーマンやBEAFは見捨てなかった結果ω^ωになった
姥捨て山的好例といえるだろう
ということで右矢印表記作ります
…→1 = …
a→b+1 = a[↑(a→b)]a
a[↑m]1[↑n]…[↑o]y→z = a→z
a[↑m]…[↑n+1]y+1→z = a[↑m]…[↑n](a[↑m]…[↑n+1]y→z)→z
3→2 = チェーン表記 3→3→3
3↑3→2 = 3[↑(3↑2→2)]3 = 3[↑(3[↑(3→2)]3)]3 = 3[↑(3[↑(3[↑3]3)]3)]3 〜 チェーン表記 3→3→4→2
3↑n→2 〜 チェーン表記3→3→n→2
3↑↑2→2 = 3↑(3→2)→2 〜 チェーン 3→3→(3→3→n→2)→2
右矢印2つ以上は後で考える
- 206 :
- ε_0未満の順序数をエンコード
[2^n] = n
[3^2^n] = ω×(1+n)
[3^3^2^n] = ω×(1+ω×(1+n)) = ω^2×(1+n)
[3^3^3^2^n] = ω×(1+ω×(1+ω×(1+n))) = ω^3×(1+n)
[5^2^n] = ω^ω×(1+n)
- 207 :
- [1]=0, [2]=1, [3]=ω, [4]=2, [5]=ω^ω, [6]=ω+1, [7]=?, [8]=3, [9]=ω×2, ...
- 208 :
- 順序数を2種類のカッコで表現
[]=1
[][]=2
[][][]=3
[[]]=ω
[[]][]=ω+1
[[]][][]=ω+2
[[]][[]]=ω×2
[[]][[]][]=ω×2+1
[[]][[]][[]]=ω×3
[[][]]=ω^2
[[][]][]=ω^2+1
[[][]][[]]=ω^2+ω
[[][]][[]][[]]=ω^2+ω×2
[[][]][[][]]=ω^2×2
[[][][]]=ω^3
[[][][][]]=ω^4
[[[]]]=ω^ω
[[[]]][]=ω^ω+1
[[[]]][[]]=ω^ω+ω
[[[]]][[][]]=ω^ω+ω^2
[[[]]][[[]]]=ω^ω×2
[[[]][]]=ω^(ω+1)
[[[]][][]]=ω^(ω+2)
[[[]][[]]]=ω^(ω×2)
[[[]][[]][[]]]=ω^(ω×3)
[[[][]]]=ω^ω^2
[[[][]][]]=ω^(ω^2+1)
[[[][]][[]]]=ω^(ω^2+ω)
[[[][]][[][]]]=ω^(ω^2×2)
[[[][][]]]=ω^ω^3
[[[][][][]]]=ω^ω^4
[[[[]]]]=ω^ω^ω
[[[[[]]]]]=ω^ω^ω^ω
- 209 :
- [()]=ε_0
[()][]=ε_0+1
[()][[]]=ε_0+ω
[()][[[]]]=ε_0+ω^ω
[()][()]=ε_0×2
[()[]]=ε_0×ω
[()[[]]]=ε_0×ω^ω
[()[()]]=ε_0^2
[()[()][]]=ε_0^2×ω
[()[()][[]]]=ε_0^2×ω^ω
[()[()][()]]=ε_0^3
[()[()][()][()]]=ε_0^4
[()[()[]]]=ε_0^ω
[()[()[[]]]]=ε_0^ω^ω
[()[()[()]]]=ε_0^ε_0
[()[()[()]][]]=ε_0^ε_0×ω
[()[()[()]][[]]]=ε_0^ε_0×ω^ω
[()[()[()]][()]]=ε_0^(ε_0+1)
[()[()[()]][()][()]]=ε_0^(ε_0+2)
[()[()[()]][()[]]]=ε_0^(ε_0+ω)
[()[()[()]][()[[]]]]=ε_0^(ε_0+ω^ω)
[()[()[()]][()[()]]]=ε_0^(ε_0×2)
[()[()[()]][()[()]][()[()]]]=ε_0^(ε_0×3)
[()[()[()][]]]=ε_0^(ε_0×ω)
[()[()[()][[]]]]=ε_0^(ε_0×ω^ω)
[()[()[()][()]]]=ε_0^ε_0^2
[()[()[()][()][()]]]=ε_0^ε_0^3
[()[()[()[]]]]=ε_0^ε_0^ω
[()[()[()[[]]]]]=ε_0^ε_0^ω^ω
[()[()[()[()]]]]=ε_0^ε_0^ε_0
[()[()[()[()[()]]]]]=ε_0^ε_0^ε_0^ε_0
- 210 :
- [()()]=ε_1
[()()[]]=ε_1×ω
[()()[[]]]=ε_1×ω^ω
[()()[()]]=ε_1×ε_0
[()()[()()]]=ε_1^2
[()()[()()[()()]]]=ε_1^ε_1
[()()[()()[()()[()()]]]]=ε_1^ε_1^ε_1
[()()()]=ε_2
[()()()()]=ε_3
[([])]=ε_ω
[([[]])]=ε_(ω^ω)
[([()])]=ε_ε_0
[([()()])]=ε_ε_1
[([([])])]=ε_ε_ω
[([([()])])]=ε_ε_ε_0
[([([([()])])])]=ε_ε_ε_ε_0
- 211 :
- [(())]=ζ_0
[(())[]]=ζ_0×ω
[(())[()]]=ζ_0×ε_0
[(())[(())]]=ζ_0^2
[(())[(())[]]]=ζ_0^ω
[(())[(())[()]]]=ζ_0^ε_0
[(())[(())[(())]]]=ζ_0^ζ_0
[(())()]=ζ_1
[(())([])]=ζ_ω
[(())([()])]=ζ_ε_0
[(())([(())])]=ζ_ζ_0
[(())([(())()])]=ζ_ζ_1
[(())([(())([])])]=ζ_ζ_ω
[(())([(())([()])])]=ζ_ζ_ε_0
[(())([(())([(())])])]=ζ_ζ_ζ_0
- 212 :
- [a][b] = [a]+[b]
[a] = ψ_0(a)
(a) = ψ_1(a)
[((…()…))] = ψ_0(ψ_1(ψ_2(0))) = θ(ε_(Ω+1))
- 213 :
- あれ2種類のカッコでそんなに行くんだっけ?
- 214 :
- ラベルがない木の限界は、必ずε_0になるのだろうか?
ヒドラなどでは、同じ頂点から複数の枝が出ている場合、それらの和になるが、必ずしもそうする必要はないだろう
枝の並び替えに依存しない方が好ましいかもしれないが、そも、順序数の和は非可換だ
例えば1+ω≠ω+1だし、和にする必要はないだろう
- 215 :
- >>213
ブーフホルツのヒドラで、ラベルを0と1だけに制限した場合に相当する
- 216 :
- RCA_0の言語+集合A,Bから超現実数をつくる記号{A,B}でω_1^CKの基本列を定義できるかもしれない
RCA_0を対角化することでetc...
- 217 :
- ブーフホルツってデカイんだな
勉強になったわ
- 218 :
- ハイパー演算の二項演算子を一種類のカッコで表現したヒドラに置き換えるとfε0(n)になった
二種類のカッコでやったらそのサイズになるのかな
- 219 :
- >>216
おお!
なんか理解できないけどすごそう。
- 220 :
- >>219
発想
RCA_0って計算可能数学って呼ばれるらしいっすね
ならRCA_0で定義できる=計算可能ってことじゃね
計算可能な順序数すべての上の対角化って計算不可能になるんじゃね
- 221 :
- え、ω_1^CKの基本列を定義出来たらかなりすごいよね?
ビジービーバーの値が求まっちゃうくらいすごい?
- 222 :
- 関係ないかもしれないがくら寿司の求人サイトが虚空っぽい感じに(宇宙)
- 223 :
- ω_1^CKの基本列がRCA0により定義されようとしている今、東方巨大数3が始まろうとしている。
そして、このコメントを書いている今も、巨大数は進化し続けているだろう。
そこに、f_Γ_0(10)レベルの数を作る合作が始まる....!
というわけでf_Γ_0(n)の関数作りたい皆は、この合作に参加しよう!
後質問。
ω_ω_1^CK^CKって定義可能?
- 224 :
- y1=log(n1)*x-2*(m1)*π 2*(m1)/log(n1) ≦ x < 2*(m1+1)/log(n1) 0≦y1<2π
y2=log(n2)*x-2*(m2)*π 2*(m2)/log(n2) ≦ x < 2*(m2+1)/log(n2) 0≦y2<2π
y3=log(n1/n2)*x-2*(m3)*π 2*(m3)/log(n1/n2) ≦ x < 2*(m3+1)/log(n1/n2) 0≦y3<2π
m1、m2、m3=任意の整数
n1、n2=任意の実数
y1=y2=y3=πをみたすxは存在しない
y1=y2のとき
log(n1)*x-2*(m1)*π=log(n2)*x-2*(m2)*π
log(n1/n2)*x=2*(m1-m2)*π
x=2*(m1-m2)*π/log(n1/n2)
y3=2*(m1-m2-m3)*π
y2=y3のとき
log(n2)*x-2*(m2)*π=log(n1/n2)*x-2*(m3)*π
x=2*(m2-m3)*π/log(n2^2/n1)
y1=2*(m2-m3)*π*log(n1)/log(n2^2/n1)-2*(m1)*π
y1=y3のとき
log(n1)*x-2*(m1)*π=log(n1/n2)*x-2*(m3)*π
x=2*(m1-m3)*π/log(n2)
y2=2*(m1-m2-m3)*π
- 225 :
- >>224
...
......
- 226 :
- 自分的巨大数ランク分け
~ω Weak
ω+1~ω^ω Fate
ω^ω+1~ε_0 Dimensional
ε_0+1~φ(ω,0) Noah's ark
φ(ω,0)+1~ϑ(Ω^ω) Exalarge
ϑ(Ω^ω)~ψ(ψ_i(0)) Vendekanumber
ψ(ψ_i(0))+1~ω_1^CK Verseverse
ω_1^CK~ Beaver House
と言うわけだ。
- 227 :
- √(X^2+Y^2+Z^2-2*(X*Y+Y*Z+Z*X))=0
√X=√Y+√Zのとき√(X^2+Y^2+Z^2-2*(X*Y+Y*Z+Z*X))=0
√(X^2+Y^2+Z^2-2*(-X*Y+Y*Z+Z*X))=2*√(X*Y)
X+Y-Z=2*√(X*Y)のとき√(X^2+Y^2+Z^2-2*(X*Y+Y*Z+Z*X))=0で√X=√Y+√Z
√(X^2+Y^2+Z^2-2*(-X*Y-Y*Z-Z*X))=2*√(X*Y+Y*Z+X*Z)
X+Y+Z=2*√(X*Y+Y*Z+X*Z)のとき√X=√Y+√Z
X^6+Y^6+Z^6=2*√(X^6*Y^6+Y^6*Z^6+X^6*Z^6)のときX^3=Y^3+Z^3 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
- 228 :
- Cantor: 1, ω, ω^ω, ω^ω^ω, ... < ε_0
Veblen0: 1, ε_0, φ(2,0), φ(3,0), ... < φ(ω,0)
Veblen1: 1, ω, ε_0, Г_0, φ(1,0,0,0), φ(1,0,0,0,0), ... < θ(Ω^ω)
Veblen2: θ(Ω), θ(Ω^θ(Ω)), θ(Ω^θ(Ω^θ(Ω))), ... < θ(Ω^Ω)
Theta1: θ(Ω), θ(Ω^Ω), θ(Ω^Ω^Ω), ... < θ(ε_(Ω+1))
Theta2: θ(Ω), θ(Ω_2), θ(Ω_3), ... < θ(Ω_ω)
Theta3: θ(Ω), θ(Ω_Ω), θ(Ω_Ω_Ω), ... < ψ_0(ψ_I(0))
Psi1: ψ_0(ψ_I(0)), ψ_0(ψ_I(ψ_I(0))), ... < ψ_0(ψ_I(I))
- 229 :
- g_0 = λn:N. 0
g_α = min{f∊F | ∀β<α. g_β<f}
f<g ⇔ ∃n:N. ∀m:N. n≦m → f(m)<g(m)
g_m(n) = m
g_ω(n) = n
g_ω^2(n) = n^2
g_ω^ω(n) = n^n
g_ε_0(n) = n↑↑n
g_αの集合Fをどうやって定義するか?
- 230 :
- やっぱFじゃなくてGを使おう
G(α)={g_β|β<α}とすると
G(ω)={定数関数}
g_ω(n)はG(ω)の列挙
g_ω+1(n)はG(ω)-{0}の列挙
g_ω+1(n)はG(ω)-{0,1}の列挙
g_ω2(n)は・・・
- 231 :
- 久しぶりのNaNaSi数シリーズ
[a,b,c]_2=[[a,b,c],[a,b,c],[a,b,c]]
[a,b,c]_3=[[[a,b,c],[a,b,c],[a,b,c]],[[a,b,c],[a,b,c],[a,b,c]],[[a,b,c],[a,b,c],[a,b,c]]]
以降同様に拡張できる
[a,b,c]_[a,b,c]_[a,b,c]...と言う風に続く場合、下から計算する。
[a,b,c]_[a,b,c]_...[a,b,c]回...[a,b,c]_[a,b,c]をLe(a,b,c)とする
Le(10,10,10)をNaNaSi数v5とする
- 232 :
- >>231
[a,b,c]の定義がわからん。それがないと[a,b,c]_2とかが定義できなくない?
- 233 :
- BEAFを順序数で表現してみる
1. 線形配列: ω^ω未満の順序数で表すことができる
{3,3,1,2} = {ω^3+ω3+3}
2. 多次元配列: ω^ω^ω未満
{3,3(1)2} = {ω^ω 2+ω3+3}
{3,3(1)(1)2} = {ω^ω2 2+ω3+3}
{3,3(2)2} = {ω^ω^2 2+ω3+3}
{3,3(3)2} = {ω^ω^3 2+ω3+3}
3. テトレーション配列: ε_0未満
{3,3(0,1)2} = {ω^ω^ω 2+ω3+3}
{3,3(1,1)2} = {ω^ω^(ω+1) 2+ω3+3}
{3,3(0,0,1)2} = {ω^ω^ω^2 2+ω3+3}
{3,3((1)1)2} = {(ω↑↑4) 2+ω3+3}
{3,3(((1)1)1)2} = {(ω↑↑5) 2+ω3+3}
配列次元演算子: θ(Ω_ω)未満
a&b = {b,a(1)2} = {ω^ω 2+ω a+b}
(a↑↑a)&b = {ε_0 2+ω a+b}
{a,a,a}&b = {φ(ω,0) 2+ω a+b}
{a,a,1,2}&b = {θ(0) 2+ω a+b}
{a,a(1)2}&b = {θ(Ω^ω) 2+ω a+b}
(a↑↑a)&a&b = {θ(φ(1,Ω+1)) 2+ω a+b}
{a,a,1,2}&a&b = {θ(Ω_2) 2+ω a+b}
{a,a,1,2}&a&a&b = {θ(Ω_3) 2+ω a+b}
なお、θ(Ω_ω)未満の順序数は、α+β、φ(α,β)、θ(α)の組み合わせで表すことができる
- 234 :
- レギオン
{b,a/2} = {θ(Ω_ω) 2+ωa+b} ?
{b,a/1,2} = {θ(Ω_Ω) 2+ωa+b} ?
- 235 :
- >>232
>>204や>>186にある
- 236 :
- 京都大学霊長類研究所とかわらえてくるけど
まあボタン押ししかできなくなった人が何をするのか
昔牢屋から脱走するのはなんたら問題が在って
怖くなったら一瞬で出るっていったんだけど
まあ実際家を飛び出したりいろんなことがあった
平和だと言われていた時間はみんな閉じ込められてたんだね
おれそんなのしらなかったわ
おれいえからでなくなったけどただかんがえてただけだったからね
そもそもおとなしいこでした
でも学校に行くときだけは元気でした
最初から閉じ込められていると思っている人だと
さて問題です
最初から閉じ込められていたをおき
そこから大小
まあ・・・・・
比較のできぬものに対角関係などあるはずもなく
そんな位相の本が明倫館書店にあったことを覚えています
もしなんも知らなくても
僕の場合は旧ソ連の束論の1ページ目とその位相の最初で知覚をし
それがなんなのか
だったんですけど
その本を持てなかったことは残念です
おそらく法のシステムが在ります
各国がどのようなシステムなのかがわかり
領域を知ることができるので
要
です
これはにほんごでもかけないでしょう
必
これは運用ではないので
ああわかりました
ここで
約
ですね
- 237 :
- してみると
領域の査
は在るが
ここからどうのこうのは目的論で在り独立しています
というのもだいたいですけどね
即
強引ですが
領域 査
調
深
こんな風に書いてあってもわかればよい
これが技術ですから
すべて平和のためだとおもえば
まあ仕方がないかなともおもいます
重の問題については書いたので
書 重
論理で書いてもああそうなんだわかった
というだけであります
形式から始めろ
これで
函式は作れません
幻覚・妄想時に
創造物を見せろ
というのがあったのですが
まあ難しいですね
元気でね
- 238 :
- >>235
じゃあfω^2くらいになるんじゃない?
- 239 :
- 巨大数は宗教でもある
しかしスポーツでもある
サッカーでも同じだろう
サッカーをスポーツと見る人もいれば、宗教ととらえる人もいる
- 240 :
- 最初は巨大さを楽しみたかっただけかもしれない
しかし巨大さを崇め、巨大さをただひたすら求めるあまりに
そうしたらある日気が付いて 本当に自分には巨大さ以外がなくなってしまっていたんです
- 241 :
- 腸内細菌(善玉菌)を爆発的に増やす食べ物
1位キダチアロエ
2位ゴボウ
3位バナナ
4位玉ねぎ
5位にんにく
6位サツマイモ
10位リンゴ
- 242 :
- 有限約束ゲームがさっぱりわっからん
- 243 :
- https://www.sciencedirect.com/science/article/pii/S0168007298000463
ω^ω未満の順序数をCoCで表現する
On = ∀A:P. ∀L:(A⇒A)⇒(A⇒A). ∀s:A⇒A. ∀z:A. A
0: On = λA L s z. z
1: On = λA L s z. s z
2: On = λA L s z. s (s z)
ω: On = λA L s z. L s z
ω+1: On = λA L s z. s (L s z)
ω2: On = λA L s z. L s (L s z)
ω^2: On = λA L s z. L (L s) z
ω^3+ω^2×2+ω×2+1 = s (L s (L s (L (L s) (L (L s) (L (L (L s)) z)))))
- 244 :
- C_0(α,β) = β∪{0}
C_n+1(α,β) = { γ+δ, φ(ε,γ), φ(α,ζ) | γ,δ,ε,ζ ∈ C_n(α,β) ∧ ε < α ∧ ζ < β }
C(α,β) = { γ ∈ C_n(α,β) | n < ω }
φ(α,β) = min{ γ ∉ C(α, β) }
φ(Ω,0)=Г_0になるようにしたいが、どうやったらいいだろう・・・
- 245 :
- SKIコンビネータ―にRを加えSRKIコンビネータ―を作成
Rx,y,z=xy(xy)zとする
この時SK(RKI(K))ってどうなるんやろ
- 246 :
- R x y z = x y (x y) z
R x y = x y (x y)
R x = S x x
R = S S I
S K (R K I K) x = K x (R K I K x) = x
S K (R K I K) = I
- 247 :
- 巨大数の歌 lyrics.NaNaSi
皆が小学生のころ
不可説不可説転を使っていた
その不可説不可説転とはーー
しかし。
不可説不可説転の上は
いくらでも定義できる
たとえをいくつか挙げると
10^10^100とか3↑↑↑3とか
無限に作ることができる
日本の巨大数論は
「フィッシュ数」から始まった
FGHでF_ω^2+1(63)
そんなふぃっしゅ数は
バージョン7迄ある
それから巨大数論は
どんどん広がっていき
おこじょ数にBM1
ペアの算術の限界ε_0を
容易に超えるTREE(3)
Search and Make
巨大数を探索し
それから作って投稿する
唉 巨大数予
Making the large numbers
それこそが巨大数....zzz
- 248 :
- 2^x*3^y*(1+(1/2)^x+(1/3)^y) mod 6^2
6^2+3^2+2^2 mod 6^2 =7*7
6^3+3^3+2^3 mod 6^2 =5*7
6^4+3^4+2^4 mod 6^2 =5*5
6^5+3^5+2^5 mod 6^2 =23*1
6^6+3^6+2^6 mod 6^2 =1*1
6^7+3^7+2^7 mod 6^2 =1*11
6^7+3^7+2^7 mod 6^2 =1*13 ←6^7+3^7+2^7-36*46845=13
(1*2*3*5*7)^n*(1+1/2^n+1/3^n+1/5^n+1/7^n) mod (1*2*3*5*7)^2 はすべて7以上の素数の2乗もしくは素数になる
- 249 :
- (1*2*3*5*7)^n*(1+1/2^n+1/3^n+1/5^n+1/7^n) mod 11^2はすべて非素数かつ2か3か5か7の素因数のみで構成される
- 250 :
- >>248
>>249
今日は家のリビングで、紅茶でも飲みながらペンギンの映像とか見た方がいいよ
- 251 :
- [a,b,c,...]をNaNaSi配列表記とする
231で定義した[a,b,c,...]_[d,e,f....]_....を一桁で書くと、
[a,b,c,...<1>d,e,f...<1>...]となる
次に、これを「平面」と呼び、平面を重ねる。これが「立体」である
次に立体を重ね....
定義
n次元NaNaSi配列表記は、以下のように定義される。
全ての配列に入っている数を、<n-1>を<n-2>に置き換えた今の配列にする
<n-1>を配列から削除する
n次元、一辺がnで、すべての要素がnな配列を出力する関数をNo(n)とする
No(63)をNaNaSi数v6とする(つかれた
- 252 :
- 部員数損壊
- 253 :
- {α|cf(α)=Ω} = {Ω, Ω2, Ω3, ..., Ω^2, Ω^2+Ω, Ω^2+Ω2, ..., Ω^3, ..., Ω^4, ..., Ω^Ω, ...}
CNF_π = C^ω_π
C^0_π = {0}
C^α_π = {γ+δ | γ,δ ∈ C^β_π; β<α} (α≠0)
CNF_π = {0, 1}∪{α|cf(α)=Ω∧α<ε_(Ω+1)}
次にエプシロン数のようなものを定義したくなる
cf(ε_(Ω+1))=cf(Ω↑↑ω)=ω
Ω↑↑Ωを定義するには?
φ_π(0,0) = 1
φ_π(α,β) = {γ | γ∉C^π_π(α,β) ∧ cf(γ)=π} (α,β≠0)
C^0_π(α,β) = {0}
C^μ_π(α,β) = {γ+δ, φ_π(ε,γ), φ_π(α,ζ) | γ,δ,ε,η∈C^ν_π(α,β); ν<μ; ε<α; ζ<β} (μ≠0)
φ_Ω(1,0) = Ω↑↑Ω
VNF_π = C^ω_π
C^0_π = {0}
C^α_π = {γ+δ, φ_π(γ,δ) | γ,δ ∈ C^β_π; β<α} (α≠0)
- 254 :
- あ、ミス C^Ω_Ω(0,1)=ωになってしまう
とりあえず修正
φ_π(0,0) = 1
φ_π(α,β) = max C^π_π(α,β) (α,β≠0)
C^0_π(α,β) = {0}
C^μ_π(α,β) = {γ+δ, φ_π(ε,γ), φ_π(α,ζ), sup C^ν_π(α,β) | γ,δ,ε,η∈C^ν_π(α,β); ν<μ; ε<α; ζ<β} (μ≠0)
これで一応C^Ω_Ω(0,1)=Ωになるはず
でもこれでも、φ_Ω(0,β)=Ω^βにしたいところが、φ_Ω(0,ω)=Ω^Ωになってしまうんだよなあ・・・
どうしたらいいだろうなあ
- 255 :
- Cantor's Atticを見て勉強中
◆強極限: ℶ_λ (λは極限順序数) 例: ℶ_ωやℶ_(ω2)など
◆強到達不能: 非可算∧正則∧強極限
つまり、I番目のΩ不動点ということでよさそう
◆弱到達不能: 非可算∧正則∧極限
- 256 :
- 待って、集合論、分かんない
- 257 :
- ((1*2*3*5)^n*(1+1/2^n+1/3^n+1/5^n)) mod ((1*2*3*5)) =1
nが1以上の整数のとき必ず余りが1になる
- 258 :
- ((2*3*5)^n*(1/2^n+1/3^n+1/5^n)) mod ((2*3*5)) =1
((7*3*5)^2n*(1/7^2n+1/3^2n+1/5^2n)) mod ((7*3*5)) =1
nが整数のとき必ず余りが1になる
- 259 :
- ((7*11*5)^3*(1/7^3+1/11^3+1/5^3)) mod ((7*3*5))=83
((7*11*5)^3*(1/7^3+1/11^3+1/5^3)) mod ((7*2*5))=13
((7*11*5)^3*(1/7^3+1/11^3+1/5^3)) mod ((2*5*3))
- 260 :
- 数列を並べてやる
(1)=1 (1,1)=2 (1,1,1)=3 (1,2)=ω
・・・原始数列と同じ・・・
(1,2,4)=ε_0
(1,2,4,2,3,5)=ε_0^2
(1,2,4,2,4)=ε_1
(1,2,4,3,4,6)=ε_{ε_0}
(1,2,4,3,5)=φ(2,0)
(1,2,4,3,5,2,4)=φ(1,φ(2,0)+1)
(1,2,4,3,5,2,4,3,5)=φ(2,1)
(1,2,4,3,5,3,5)=φ(3,0)
(1,2,4,3,5,4,6)=ψ(Ω^Ω)
(1,2,4,4)=ψ(ψ{Ω_2}(0))
(1,2,4,4,4)=ψ(ψ_{Ω_3}(0))
(1,2,4,5)=ψ(Ω_ω)
(1,2,4,6)=ψ(Ω_Ω)
(1,2,4,6,5,7,9)=ψ(Ω_{Ω_Ω})
(1,2,4,6,6)=ψ(ψ_I(0))
(1,2,4,6,8,8)=ψ(ψ_{χ(2,0)}(0))
(1,2,4,6,…)=ψ(ψ_{χ(ω,0)}(0))
- 261 :
- >>251
これが案外でかいように見えて
F_ω^2+ωくらいなんだよな
ω^ωに達するにはどうすればいいだろうか
うーむ
- 262 :
- I――弱到達不能基数は、Ω_Ω_Ω_…とΩを何個つなげても辿り着けない基数である。
それはIがオメガ不動点でもあることを意味する。
しかし、最初のオメガ不動点、ψ_I(0)=Ω_Ω_Ω_…はIではない。
なぜか?それは、Iが正則だからだ。Iは正則故に、最初のオメガ不動点―ψ_I(0)―でも、ω番目のオメガ不動点―ψ_I(ω)―でもない。それらの共終数はωであり、Iではない。
Iの共終数はIそれ自身である。つまり、Iは、1+1+1+…という列のI番目1×Iであり、ω+ω+ω+…という列のI番目ω×Iでもある。
さらに言えば、I番目のエプシロン数ε_Iでもあり、I番目の非可算順序数Ω_Iでもある。
Iは、Iに上界なあらゆる順序数列のI番目である。
- 263 :
- >>262
それなんかおかしくね?w
- 264 :
- >>262
もう何が何だかw
- 265 :
- オメガ不動点とかは初めて見たけど、言ってることは普通に共終数の話だな
キューネン「集合論」で言えば第一章
- 266 :
- F_φ(ε_0,0)ぐらいの関数作りてえな
どんな発想が必要だろうか
- 267 :
- 参考
・ふぃっしゅ数バージョン5のm(n)変換
M_0:自然数として、M_n+1: M_n→M_nの写像、M_nの対角化がf[ε_0]の強さ
・ふぃっしゅ数バージョン6のm(m,n)変換
m(n)変換を2変数に拡張したもの、強さはf[φ(2,0)]
m(多変数)変換・・・φ(ω,0)
m(多重リスト)変換・・・φ(ε_0,0)くらい?
強くするには、単純に、構造の中に構造を埋め込んでいって複雑にするのが一番やりやすい方法だと思う
- 268 :
- ただ、構造を生かすには効率的にそれを強さにつなげる必要がある
急増加関数やハーディ階層は非常に効率的にやっていると思う
(1) H_0(n) = n
(2) H_α+1(n) = H_α(n+1)
(3) H_α(n) = H_α[n](n) (αが極限順序数のとき)
対して、緩増加関数は非常に効率が悪い(しかし、順序数そのものの強さを調べるには都合がいい)
(1) g_0(n) = 0
(2) g_α+1(n) = g_α(n)+1
(3) g_α(n) = g_α[n](n) (αが極限順序数のとき)
最も大きな違いは、それぞれの定義の(2)。
H_ω2(3)とg_ω2(3)をそれぞれ計算してみればわかるだろうが、ハーディーは計算した値を使って次の値を計算するのに対して、緩増加関数は中身の値はずっと変わらない
その結果、H_ε_0(n)の強さがf_ε_0(n)になるのに対し、g_ε_0(n)はたったのf_3(n)程度になる。
- 269 :
- とはいえ、ある程度以上巨大な順序数、例えばθ(ε_(Ω+1))とか、ではfとgの大きさは殆ど同じになるので、
ある程度以上巨大な関数f1とそこそこ巨大な関数f2を合成してもf1とほとんど変わらない現象が起きてしまうから、
順序数を使って巨大数を作るときは順序数以外は無視して良いと思う
つまり、何が言いたいかって言うと、サラダ数よりもシンプルに強力な定義をした方が強くなりやすいってばよ
- 270 :
- ほう
多重リストm(n)変換でφ(ε_0,0)なのか
となるとφ(ζ_0,0)は難しそうだな
- 271 :
- 2^a*3^b*5^c*(1/2^a+1/3^b+1/5^c) mod 2^a*3^b = X
a,b,c,,N,Xは1以上の整数
2^a*3^b*5^c*(1/2^a+1/3^b+1/5^c)=N*2^a*3^b+X
Nが2,3,5の素数のみで構成される際Xは必ず素数になる
(2^2*3^4*5^5*(1/2^2+1/3^4+1/5^5)) mod (2^2*3^4) =269
(2^2*3^4*5^5*(1/2^2+1/3^4+1/5^5))=820*(2^2*3^4)+269
- 272 :
- (2^2*3^2*5^5*(1/2^2+1/3^2+1/5^5)) mod (2^2*3^2) =17
(2^2*3^2*5^6*(1/2^2+1/3^2+1/5^6)) mod (2^2*3^2) =13
(2^2*3^2*5^7*(1/2^2+1/3^2+1/5^7)) mod (2^2*3^2) =29
(2^2*3^2*5^8*(1/2^2+1/3^2+1/5^8)) mod (2^2*3^2) =1
(2^2*3^2*5^9*(1/2^2+1/3^2+1/5^9)) mod (2^2*3^2) =9
(2^2*3^3*5^2*(1/2^2+1/3^3+1/5^2)) mod (2^2*3^3) =19
(2^2*3^3*5^4*(1/2^2+1/3^3+1/5^4)) mod (2^2*3^3) =43
(2^2*3^3*5^5*(1/2^2+1/3^3+1/5^5)) mod (2^2*3^3) =107
(2^2*3^3*5^6*(1/2^2+1/3^3+1/5^6)) mod (2^2*3^3) =103
(2^2*3^3*5^7*(1/2^2+1/3^3+1/5^7)) mod (2^2*3^3) =83
(2^2*3^3*5^9*(1/2^2+1/3^3+1/5^9)) mod (2^2*3^3)=23
(2^2*3^3*5^10*(1/2^2+1/3^3+1/5^10)) mod (2^2*3^3) =7
(2^2*3^3*5^12*(1/2^2+1/3^3+1/5^12)) mod (2^2*3^3) =67
(2^2*3^3*5^13*(1/2^2+1/3^3+1/5^13)) mod (2^2*3^3) =11
(2^2*3^3*5^15*(1/2^2+1/3^3+1/5^15)) mod (2^2*3^3)=59
(2^2*3^3*5^16*(1/2^2+1/3^3+1/5^16)) mod (2^2*3^3) =79
(2^2*3^3*5^17*(1/2^2+1/3^3+1/5^17)) mod (2^2*3^3)=71
(2^2*3^3*5^18*(1/2^2+1/3^3+1/5^18)) mod (2^2*3^3)=31
(2^2*3^3*5^19*(1/2^2+1/3^3+1/5^19)) mod (2^2*3^3)=47
(2^2*3^3*5^20*(1/2^2+1/3^3+1/5^20)) mod (2^2*3^3)=19
- 273 :
- (2^4*3^2*5^4*(1/2^4+1/3^2+1/5^4)) mod (2^4*3^2)=73
(2^4*3^2*5^6*(1/2^4+1/3^2+1/5^6)) mod (2^4*3^2)=97
(2^4*3^2*5^7*(1/2^4+1/3^2+1/5^7)) mod (2^4*3^2)=53
(2^4*3^2*5^9*(1/2^4+1/3^2+1/5^9)) mod (2^4*3^2)=29
(2^4*3^2*5^15*(1/2^4+1/3^2+1/5^15)) mod (2^4*3^2)=101
(2^4*3^3*5^2*(1/2^4+1/3^3+1/5^2)) mod (2^4*3^3)=211
(2^4*3^3*5^3*(1/2^4+1/3^3+1/5^3)) mod (2^4*3^3)=191
(2^4*3^3*5^4*7^2*(1/2^4+1/3^3+1/5^4+1/7^2)) mod (2^4*3^3)=139
(2^4*3^3*5^4*7^3*(1/2^4+1/3^3+1/5^4+1/7^3)) mod (2^4*3^3)=109
(2^4*3^3*5^4*7^4*(1/2^4+1/3^3+1/5^4+1/7^4)) mod (2^4*3^3)=331
(2^4*3^3*5^4*7^5*(1/2^4+1/3^3+1/5^4+1/7^5)) mod (2^4*3^3)=157
(2^8*3^3*5^4*7^5*11^2*13^3*(1/2^8+1/3^3+1/5^4+1/7^5+1/11^2+1/13^3)) mod (2^8*3^3)=1993
- 274 :
- 素数ツリーでTaranovsky's Cを表現
p[0] = 0
p[C(a,b)] = 3^p[a] * 2^p[b]
p[Ω_a] = 5^p[a]
例: https://pastebin.com/9ZAUh6Hp
とりあえずψ(ψ_I(0))まで
- 275 :
- 適当に作ったらふぃっしゅ数っぽくなった
L(x+1,f(n))=L(L(x,f^n(n)),f^n(n))
L(0,f(x))=f(n+1)
次に、L^a(x,f(n))を以下のように定義する。
L^a(x,f(n))=L^L^a-1(x,f^n(n))(x-1,f(n))
最後に、LL(x,f(n))を以下のように定義する。
LL(x,f(n))=LL^LL(x-1,f^n(n))^LL(x,f(n))(x-1,f(n))
LL^a(x,f(n))の定義はL^a(x,f(n))と同様だとすると、
LL^63(63,2^n)を三葉虫数とする。
- 276 :
- 巨大数研究wikiの弱コンパクト基数、「ZFCにWCCが存在という公理を加えたものは無矛盾だと推測されている」の出自が気になるな
弱到達不能基数ならまだ分かるが弱コンパクト基数はどうだろうと思う
wikipediaにあるカバル学派の話だろうか?
- 277 :
- ω番目の到達不能奇数は存在しますか?
特異基数になってしまうような気がするんですが
- 278 :
- とりあえずアッカーマン配列表記
Y=0個以上の1
X=0個以上の1以上の整数
a,b=1以上の整数
c,d=2以上の整数
A{Y,a}=a+(Yに含まれる1の数)
A{c,d}=従来のアッカーマン関数
A{X,b+1,0}=A{X,b,A{X,b}}
A{X,b+1,a+1}=A{X,A{X,b,a},b}
A{X,b+1,0,Y,a}=A{X,b,a+b,Y,a}
多変数アッカーマン70%,BEAF20%,普通のアッカーマン10%です。
ちゃんと定義できてるか不安...
- 279 :
- 計算を進めていったら、これA{c,Y}に対する処理が必要だ...
A{c,0,Y}=A{c-1,c-1,Y}
- 280 :
- □■■■■■□□□□□■
□□■■■■□□□□■■
□□□■■■□□□■■■
□□□□■■□□■■■■
□□□□□■□■■■■■
■■■■■□■□□□□□
■■■■□□■■□□□□
■■■□□□■■■□□□
■■□□□□■■■■□□
■□□□□□■■■■■□
- 281 :
- バシクではない
(0) = 1
(0)(0) = 2
(0)(1) = (0)...(0)= ω
(0)(1)(0) = ω+1
(0)(1)(0)(1) = ω2
(0)(1)(1) = (0)(1)...(0)(1) = ω^2
(0)(1)(2) = (0)(1)...(1) = ω^ω
(0)(1)(2)(2) = (0)(1)(2)...(1)(2) = ω^ω^2
(0)(1)(2)(3) = (0)(1)(2)...(2) = ω^ω^ω
(0)(2) = (0)(1)(2)(3)... = ε_0
(0)(2)(1) = (0)(2)...(0)(2) = ε_0 ω
(0)(2)(1)(2) = (0)(2)(1)...(1) = ε_0 ω^ω
(0)(2)(1)(3) = (0)(2)(1)(2)(3)... = ε_0^2
(0)(2)(1)(3)(2)(4) = (0)(2)(1)(3)(2)(3)(4)... = ε_0^ε_0
(0)(2)(2) = (0)(2)(1)(3)(2)(4)(3)(5)... = ε_1
(0)(2)(3) = (0)(2)(2)... = ε_ω
(0)(2)(3)(5) = (0)(2)(3)(4)(5)... = ε_ε_0
(0)(2)(3)(5)(6)(8) = ε_ε_ε_0
(0)(2)(4) = φ_2(0)
(0)(2)(4)(2)(4) = φ_2(1)
(0)(2)(4)(3) = φ_2(ω)
(0)(2)(4)(3)(5)(7) = φ_2(φ_2(0))
(0)(2)(4)(3)(5)(7)(6)(8)(10) = φ_2(φ_2(φ_2(0)))
(0)(2)(4)(4) = φ_3(0)
(0)(2)(4)(5) = φ_ω(0)
(0)(2)(4)(5)(7)(9) = φ_ε_0(0)
(0)(2)(4)(5)(7)(9)(10)(12)(14) = φ_{φ_ε_0(0)}(0)
(0)(2)(4)(6) = ϑ(0)
(0)(2)(4)(6)(8) = ϑ(Ω)
(0)(2)(4)(6)(8)(10) = ϑ(Ω^Ω)
(0)(3) = ϑ(ε_(Ω+1))
up to ϑ(Ω_ω)
- 282 :
- >>281
巨大数探索スレッド14の085と一緒やな
- 283 :
- >>281をpDAN風にすると>>260か
- 284 :
- >>279
結局撤回。
- 285 :
- >>269
fとgが同じ強さになるのはψ(Ω_ω)やで
- 286 :
- 113
- 287 :
- 115
- 288 :
- 117
- 289 :
- NaNaSi配列表記まとめ
3列NaNaSi配列表記
[a,b,c]=[[a,b,c-1],[a,b,c-1,c-1]
[a,b,1]=[[a,b],[a,b]]
[a,b]=By(a^2,b^2)
初出:186
近似(予想):F_ω^3(n)
n列NaNaSi配列表記
[a,b,c,d]=[[a,b,c],[a,b,c],d]
[a,b,c,d,e]=[[a,b,c,d],[a,b,c,d],e]
以下同様
近似(予想):F_ω^3+ω(n)
初出:204
配列A[]B表記
a[]b=[a,a,a,a...](aがb個)
a[[]]b=a[](a[[]]b-1)
a[[[]]]b=a[[]](a[[[]]]b-1)
以下同様
近似(予想):F_ω^4(n)
初出:上に同じく
下付きNaNaSi配列表記
[a,b,c]_2=[[a,b,c],[a,b,c],[a,b,c]]
[a,b,c]_3=[[[a,b,c],[a,b,c],[a,b,c]],[[a,b,c],[a,b,c],[a,b,c]],[[a,b,c],[a,b,c],[a,b,c]]]
以降同様に拡張できる
[a,b,c]_[a,b,c]_[a,b,c]...と言う風に続く場合、下から計算する。(原文ママ)
近似(予想)F_ω^4(n)
初出:231
多次元NaNaSi配列表記
[a,b,c,...]_[d,e,f....]_....を一桁で書くと、
[a,b,c,...<1>d,e,f...<1>...]となる
次に、これを「平面」と呼び、平面を重ねる。これが「立体」である
次に立体を重ね....
定義
全ての配列に入っている数を、<n-1>を<n-2>に置き換えた今の配列にする
<n-1>を配列から削除する
近似(予想):F_ω^5(n)
初出:251
近似が違ったら教えて下さい
- 290 :
- 今日巨大数のイベントあるらしいけど
何か日本の巨大数界隈はほぼTwitterの内輪コンテンツになってしまったな
- 291 :
- 有限個の自然数の組から「関数から関数への写像」への写像Fを以下のように定める.ただしfとは関数である.
n:非負整数
X:0個以上の非負整数
Z:0個以上の0 として,
F(X,Z)=F(X)
F(0)f(x)=f^x(x)
F(n+1,X)f(x)=(F(n,X)^x)f(x)
F(Z,0,n+1,X)f(x)=(F(Z,x,n,X))f(x)
ここで,f(x)=x+1として関数gを
g(x)=F((x個の0),1)f(x)
とする.
多分ε_0くらい行ったか?もうちょい拡張する予定
- 292 :
- ニッチなジャンルだし、あちこちのコミュニティでほそぼそとやっていてたまに交流があるくらいだ
- 293 :
- >>290
どこでやると良いと思いますか?
- 294 :
- https://docs.google.com/presentation/d/1GSBZ2dNyOhRS9oUv5FQPKycEQI5ek6lG23366hasEjw/edit?usp=drivesdk
- 295 :
- こんなのがあった
- 296 :
- >>277
ω番目の到達不能基数の存在はω番目の到達不能基数の存在と同値な公理を認めれば存在する。
ω番目の到達不能基数はI,I_2,I_3,...の極限ではないから特異基数ではない、と言いたいところだけど、文脈によっては極限とすることもあるみたいだし、それだと特異基数になる
- 297 :
- >>296
thx
- 298 :
- 10日ぶりのNaNaSi数シリーズ
今回は頑張る
No_m(n)=No_n(No(m-1))(m>n)
No_m(n)=No_No_m-1(m)(m)(n-1)(n>m)
No_1(n)=No(n)
No_No_No_...(Noがa回)...(b)(b)(b)(b)をNo_a,1(b)とする
んでaにNo_a,1を入れるのがa,2
a,2を入れるのがa,3
以下同様
No_64,1(64)をNaNaSi数v7をする
誰か評価お願いします
気になったとこがあったら突っ込んでください。
- 299 :
- 修正
No_a,1(n)=No_No_a-1,1(a)^n(n)
- 300 :
- 5^a×3^b×2^c×(1/5^a+1/3^b+1/2^c) mod 2^c×3^b = N
5^a×3^b×2^c×(1/5^a+1/3^b+1/2^c) = X×2^c×3^b +N
X-1を素因数分解しそこから2と3と5の素因数をのぞいた素数しかNは素数をもたない
X-1が2.3.5の素因数のみで構成される際はNは必ず素数
X-1が2.3.5以外の素因数を持つ際はその素因数でNを割り切れなくなるまでわることでNを素数に変えられる
- 301 :
- 3^3&10って急増化関数でどうなるんだろう
- 302 :
- ■志村 五郎氏(しむら・ごろう=数学者、米プリンストン大名誉教授)
プリンストン大の発表によると、5月3日死去、89歳
楕円関数の性質に関する「谷山・志村予想」を提唱
350年余り数学者を悩ませてきた「フェルマーの最終定理」の
証明につながった
東京大助教授、大阪大教授を経て1964〜99年にプリンストン大
教授を務めた(ワシントン=共同)
- 303 :
- 今回はガチ
通常のヒドラに、アッカーマンノードを追加する
アッカーマンノードは先っちょにA(n,m)が付いている
アッカーマンノードのルール
ここで、ターン数をnとする
ノードを木から削除する
もし親が根なら、何も変わらない。
それ以外は、cをbの親としノードをcにn個取り付ける
アッカーマンノードが付いている枝を、nノード分伸ばす
アッカーマン関数の計算を進める
先っちょに数字(数字をpとする)が付いてる場合、通常のノードをp個束ねたものと見なす
長さαの木、先っちょにA(β,γ)が付く関数をAckHyd(α,β,γ)とする
ポリプ数=AckHyd(10,10,10)
- 304 :
- m=0
B(n, 0) = n
B(z, y, #, 0) = B(z(y, _, ..., _), #, 0)
n=0
B(#, 0, m+1) = B(#, B(#, 1, 0), m)
m,n>0
B(n+1, m+1) = B(B(n, m+1), m)
B(g, n+1, m+1) = B(B(g, _, m), B(g, n, m+1), m)
B(h, g, n+1, m+1) = B(B(h, _, _, m), B(h, g, _, m), B(h, g, n, m+1), m)
B(z, #, g, n+1, m+1) = B(B(z, _, ..., _, _, m), ..., B(#, g, _, m), B(z, #, g, n, m+1), m)
s(x) = x+1
B(s, n, 0) = B(s(n), 0) = s(n) = n+1
B(f, 0, 1) = B(f, 1, 0) = f(1)
B(f, n+1, 1) = B(B(f, _, 0), B(f, n, 1), 0) = f(B(f, n, 1))
B(f, n, 1) = f^n+1(1)
B(s, n, 1) = n+2
B(f, 0, 2) = B(f, 1, 1) = f^2(1)
B(f, n+1, 2) = B(B(f, _, 1), B(s, n, 2), 1) = B(f^_+1(1), B(f, n, 2), 1) = [f^_+1(1)]^B(f,n,2)+1(1)
B(s, n+1, 2) = 2*B(s, n, 2)+3
B(s, n, 2) = 2^(n+3)-3
予測 B(s, n, n) ~ f_ω(n)
- 305 :
- B1(g, m, 1) = B(g, _, m)
B1(h, m, 2) = B(h, _, _, m)
B(f_α, n, m) ~ f_α+m(n)
B(B(_, _, m), f_α, n, 0) ~ f_α+m(n)
B(B(_, _, 1), f_α, n, 1) ~ f_α+2(B(B(_, _, 0), f_α, n, 1)) ~ f_α+3(n)
あんまおおきくならんな
使うべきは関数より数だったか
- 306 :
- 誰か303の評価をお願いします
- 307 :
- (2*3*5*7*11*13*17*(1/2+1/3+1/5+1/7+1/11+1/13+1/17)) mod (2*3**5*7*11*13*17) =205657
- 308 :
- (2*3*5*7*11*13*17*19*(1/2+1/3+1/5+1/7+1/11+1/13+1/17+1/19)) mod (2*3*5*7*11*13*17*19) =4417993
(2*3*5*7*11*13*17*19*・・・*(n番目の素数)*(1/2+1/3+1/5+1/7+1/11+1/13+1/17+1/19+・・・+1/(n番目の素数))) mod (2*3*5*7*11*13*17*19*・・・*n番目の素数) は必ず素数になる
- 309 :
- >>306
わかりやすく図解してくれ
- 310 :
- こういうことだ
http://o.8ch.net/1fzbw.png
- 311 :
- あ、まちがえた
右から3番目、本来ならあれを2伸ばすべきだったし、2段目にも通常のノードを2個つけないといけなかった
- 312 :
- (2*3*5*7^a*11^b*13^c*(1/(7^a*11^b*13^c)+1/(2*3*5))) mod (2*3*5) = y
a,b,cに任意の正の整数を入力する際yは必ず素数になる
(2*3*5*7^2*11^3*13^4*(1/(7^2*11^3*13^4)+1/(2*3*5))) mod (2*3*5) =29
(2*3*5*7^2*11^3*13^5*(1/(7^2*11^3*13^5)+1/(2*3*5))) mod (2*3*5) =17
(2*3*5*7^2*11^3*13^3*(1/(7^2*11^3*13^3)+1/(2*3*5))) mod (2*3*5) =23
- 313 :
- (2*3*5*7^a*11^b*13^c*(1/(7^a*11^b*13^c)+1/(2*3*5))) mod (2*3*5) =y
(2*3*5*7^a*11^b*13^c*(1/(7^a*11^b*13^c)+1/(2*3*5)))=x*(2*3*5)+y
((1-x)*(2*3*5)+(7^a*11^b*13^c))=y
(1-x)が7,11,13を因数に持たないyは30より小さく2,3,5,7,11,13を因数に持たない値になるため必ず素数になる
(2*3*5*7*11^a*13^b*17^c*(1/(11^a*13^b*17^c)+1/(2*3*5*7))) mod (2*3*5*7)
(2*3*5*7*11^a*13^b*17^c*(1/(11^a*13^b*17^c)+1/(2*3*5*7)))=x*(2*3*5*7)+y
((1-x)*(2*3*5*7)+(11^a*13^b*17^c))=y
(1-x)が11,13,17を因数に持たないyは210より小さく2,3,5,7,11,13,17を因数に持たない値になるため必ず素数になる
(2*3*5*7*11^2*13^2*17^2*(1/(11^2*13^2*17^2)+1/(2*3*5*7))) mod (2*3*5*7) =151
- 314 :
- 即興で巨大数作った
m,n:1以上の整数
█=1個以上の0
█s=█に含まれる0の数
□=1個以上の1以上の整数
(█)=1
(█,n)=n+█s
(█,□,m,n)=(█,□,(█,□,m-1,n-1),n-1)
(█,□,m,█)=(█,□,m-1,█s個のm-1)
(█,□,█,□)=(█,□,█s,□)
(□,m,n)=(□,m-1,(□,m,n-1))
最初が1以上で配列の途中に█が含まれる場合、その█を█sに置き換える
Y(n,m)=(n,n,n,..m個..n,n,n)
Y(57,57)を「57は巨大数」とする
- 315 :
- 訂正
最初の値をpとする
p=0,█と□が入り混じっている場合、一番最後の█を█sに置き換える
(□,m,n)=(□,m-1,(□,m,n-1))
↓
(□,m,n)=(□,(□,m,n-1),n-1)
- 316 :
- アッこれ計算終わらない気がしてきた
- 317 :
- 最近、日本巨大数協会が出来たり、東方巨大数3が始まったりと活発だね
- 318 :
- Y数列というのが興味深い
- 319 :
- 自称ω+99
J(1,x)=x!
J(x,1)=x^(x!)
J(x,y)=J(x!,J(x-1,y!))
JJ(x,y)=J(J(J(J(x,y),J(x,y)),J(x,y)),J(x,y))(x+y! times J)
JJJ(x,y)=nest JJ
JJJJ(x,y)=nest JJJ
Jx(x)(y,z)=JJJJJJJ(y,z)(x times J)
J^(x)(y,z)=JxJxJxJx(y,z)(y,z)(y,z)(y,z)(x times J
J^^(x)(y,z)=nest J^(x)
以下同様、JをJJなどに置き換えることもできる
J↑^(x)(y,z)=J^^^^^^^^^(y,z)(x times ^)
J↑^(100)(100,100)=Googfactrhdrorial
- 320 :
- >>318
それ、どこにあった?
- 321 :
- >>317
でもTwitterアカウントがないと参加すら出来ないようになってきたな
匿名の2ちゃんねるが主流だった頃は良かった
- 322 :
- >>321
匿名だと関係ない話題とかいっぱい流れてきたり、誰の発言か分からなくて追えなかったりするだろ
議論がその都度ぶつ切りになるし
ただTwitterアカウント作るだけだろ?
- 323 :
- >>322
その方が自由で好きだな
最近は一つの同人サークルが幅を効かせているけど、その内の一人は「計算不可能巨大数は巨大数と認めてない」と言ってるし、
今のところそのサークルが主宰するイベントでは認めてるようだがそういう意識が根底にあるっていうのはずっと付きまとう
それにTwitterで巨大数を投稿して「何だこれ滅茶苦茶じゃん」などと叩かれでもしたら投稿へのモチベーションは格段に下がるが、匿名で叩かれれば次の日から何事もなかったかのように議論に参加できる
そういう意味で匿名の方が好きだったなと
- 324 :
- 参加のハードルが低いといえば聞こえはいいが、自分の発言に責任を取りたくないと言ってるのと大して変わらないんじゃないか
ただの趣味が負担になるほど気負いたくないというのはわかるが
- 325 :
- phpBBやDjangoBBを使用したサイトなどもログイン制だな
xkcdはその一例だ
- 326 :
- >>260
(1,2)=ω
(1,2,3)=ω^ω
(1,2,3,4)=ω^ω^ω
(1,2,3,4,5)=ω^ω^ω^ω
(1,2,3,4,5,6)=ω^ω^ω^ω^ω
(1,2,4)=ε_0
(1,2,4,2,3,5)=ε_0^2
(1,2,4,2,3,5,3,4,6)=ε_0^ε_0
(1,2,4,2,3,5,3,4,6,4,5,7)=ε_0^ε_0^ε_0
(1,2,4,2,3,5,3,4,6,4,5,7,5,6,8)=ε_0^ε_0^ε_0^ε_0
(1,2,4)=ε_0
(1,2,4,2,4)=ε_1
(1,2,4,2,4,2,4)=ε_2
(1,2,4,2,4,2,4,2,4)=ε_3
(1,2,4,2,4,2,4,2,4,2,4)=ε_4
(1,2,4)=ε_0
(1,2,4,3,4,6)=ε_{ε_0}
(1,2,4,3,4,6,5,6,8)=ε_{ε_{ε_0}}
(1,2,4,3,4,6,5,6,8,7,8,10)=ε_{ε_{ε_{ε_0}}}
(1,2,4,3,4,6,5,6,8,7,8,10,9,10,12)=ε_{ε_{ε_{ε_{ε_0}}}}
(1,2,4)=ε_0
(1,2,4,3,5)=φ(2,0)
(1,2,4,3,5,3,5)=φ(3,0)
(1,2,4,3,5,3,5,3,5)=φ(4,0)
(1,2,4,3,5,3,5,3,5,3,5)=φ(5,0)
(1,2,4)=ε_0
(1,2,4,4)=ψ(ψ{Ω_2}(0))
(1,2,4,4,4)=ψ(ψ{Ω_3}(0))
(1,2,4,4,4,4)=ψ(ψ{Ω_4}(0))
(1,2,4,4,4,4,4)=ψ(ψ{Ω_5}(0))
(1)=1
(1,2)=ω
(1,2,4)=ε_0
(1,2,4,8)= ←ここを教えて?
- 327 :
- 見る限り、前の数+1ならψ_0、+2ならψ_1のようなので
(1,2,4,8) = ψ_0(ψ_1(ψ_1(0))) = ψ_0(Ω^2) = φ(2,0)
- 328 :
- あと, (1,2,4,3,5)はψ_0(ψ_1(0)+ψ_0(ψ_1(0)))=ψ_0(Ω+ε_0)=ε_0^2ではないか?
- 329 :
- ああ違う、φ(2,0)は(1,2,4,6)だ
(1,2,4,8)がもしψ_0(ψ_1(Ω_3))=ψ_0(ψ_1(ψ_2(Ω_3)))だとすると、?
- 330 :
- (2*3*5*7*11*13*17*19*23*29*(1/(11*13*17*19*23*29)+1/(2*3*5*7))) mod (2*3*5*7)=13
(2*3*5*7*11*13*17*19*23*29*31*(1/(11*13*17*19*23*29*31)+1/(2*3*5*7))) mod (2*3*5*7)=193
(2*3*5*7*11*13*17*19*23*29*31*37*(1/(11*13*17*19*23*29*31*37)+1/(2*3*5*7))) mod (2*3*5*7)=1
(2*3*5*7*11*13*17*19*23*29*31*37*41*(1/(11*13*17*19*23*29*31*37*41)+1/(2*3*5*7))) mod (2*3*5*7)=41
(2*3*5*7*11*13*17*19*23*29*31*37*41*43*(1/(11*13*17*19*23*29*31*37*41*43)+1/(2*3*5*7))) mod (2*3*5*7)=83
- 331 :
- >>326
私が以前作ったTY数列という数列と挙動が同じようなので、
(1,2,4,5)=ψ(Ω_ω)
(1,2,4,5,7)=ψ(Ω_Ω)
(1,2,4,6)=ψ(I)
(1,2,4,7)=ψ(Ω_{M+1})
(1,2,4,8)=ψ(M_ω)
だと思います。
- 332 :
- >>331
ありがとうです
TY数列というのですか。でかいですね
この数列はこう続いていくんですよね
(1,2)=(1,1,1,1,1,1,...)
(1,3)=(1,2,4,8,16,32,...)
(1,4)=(1,3,9,27,81,243,...)
(1,5)=(1,4,16,64,256,1024,...)
(1,6)=(...)
(1,7)=(...)
...
(1,ω)が気になります
- 333 :
- >>332
TY数列は(1,3)以降があいまいなので、極限を(今のところ)(1,2,4,8,16...)
としています。
今開催されている東方巨大数3に私が投降した「Y数列」は、(1,3)でちょうどバシク行列と大きさが一致し、さらに極限が(1,ω)なので大きさが期待できます。
よかったら見てみてください。
- 334 :
- >>332
あ、(1,3)や(1,4)の展開はそれであっています。
一般にY数列では、(1,n+1)は(1,n,n^2,n^3,n^4...)と展開されます。
- 335 :
- >>333
東方巨大数3のエントリー一覧みつけました
Y数列はまだ解析されていないんですね
期待してまってます
- 336 :
- (2*3*5*7*11*13*17*19*23*29*31*37*41*43*(1/(13*17*19*23*29*31*37*41*43)+1/(2*3*5*7*11))) mod (2*3*5*7*11)=1153
(2*3*5*7*11*13*17*19*23*29*31*37*41*43*47*(1/(13*17*19*23*29*31*37*41*43*47)+1/(2*3*5*7*11))) mod (2*3*5*7*11)=1061
2*3*5*7*11より小さく47までの素因数をもたないため
仮にyが非素数だとすると最小でもy=53*53になる必要がある 2310よりおおきくなるひつようがあるのでyは必ず素数になる
- 337 :
- (1,2,4,3,5,3,5,3,5,3,5...)=φ(ω,0)
(1,2,4,5,8,9,16,17,32,33...)=?
↑を教えてください
- 338 :
- >>337
そのような数列は出てこないと思います。
(1,2,4,6)=(1,2,4,5,7,8,10,11,13,14,16,...)なので
- 339 :
- >>338
thx
- 340 :
- >>326
(1)(2)(4)(6)(8)・・・
までしか考えてないし、定義もなく感覚でやってるだけでした
- 341 :
- >>326
ϑ(ε_Ω+1)やϑ(φ(Ω,1))の表し方が気になるな
質問ばかりですまんが教えてくれ
- 342 :
- >>333
TY数列の展開は、次のように定義するのがいいのかも
TY数列の(1,n+1)の展開 (Y2はTY数列を示す仮シンボル)
Y2(1,2)=Y2(1,1,1,1,1,...)=Y2(1↑↑0,1↑↑1,1↑↑2,1↑↑3,1↑↑4,...)
Y2(1,3)=Y2(1,2,4,16,65536,...)=Y2(2↑↑0,2↑↑1,2↑↑2,2↑↑3,2↑↑4,...)
Y2(1,4)=Y2(1,3,27,3^27,3^3^27,...)=Y2(3↑↑0,3↑↑1,3↑↑2,3↑↑3,3↑↑4,...)
Y2(1,5)=Y2(1,4,256,4^256,4^4^256...)=Y2(4↑↑0,4↑↑1,4↑↑2,4↑↑3,4↑↑4,...)
Y2(1,6)=Y2(1,5,3125,5^3125,5^5^3125,...)=Y2(5↑↑0,5↑↑1,5↑↑2,5↑↑3,5↑↑4,...)
......
Y数列の(1,n+1)の展開 (Y1はY数列を示す仮シンボル)
Y1(1,2)=Y1(1,1,1,1,1,...)=Y1(1↑0,1↑1,1↑2,1↑3,1↑4,...)
Y1(1,3)=Y1(1,2,4,8,16,...)=Y1(2↑0,2↑1,2↑2,2↑3,2↑4,...)
Y1(1,4)=Y1(1,3,9,27,81,...)=Y1(3↑0,3↑1,3↑2,3↑3,3↑4,...)
Y1(1,5)=Y1(1,4,16,64,256,...)=Y1(4↑0,4↑1,4↑2,4↑3,4↑4,...)
Y1(1,6)=Y1(1,5,25,125,625,...)=Y1(5↑0,5↑1,5↑2,5↑3,5↑4,...)
......
ハイパー原始数列の(1,n+1)の展開 (Y0はハイパー原始数列を示す仮シンボル)
Y0(0,1)=Y0(0,0,0,0,0,...)=Y0(0×0,0×1,0×2,0×3,0×4,...)
Y0(0,2)=Y0(0,1,2,3,4,...)=Y0(1×0,1×1,1×2,1×3,1×4,...)
Y0(0,3)=Y0(0,2,4,6,8,...)=Y0(2×0,2×1,2×2,2×3,2×4,...)
Y0(0,4)=Y0(0,3,6,9,12,...)=Y0(3×0,3×1,3×2,3×3,3×4,...)
Y0(0,5)=Y0(0,4,8,12,16,...)=Y0(4×0,4×1,4×2,4×3,4×4,...)
......
- 343 :
- >>340
同じく感覚でやっています
>>341
自分にはわからないです
TY数列の作者さんに期待
- 344 :
- (1,2,4,3,6)=φ(ω,0)
(1,2,4,3,7)=Γ_0?
- 345 :
- >>341
前者はUNOCFでψ(Ω_2)と大きさが一致するので、(1,2,4,4)だと思います
後者はちょっと分かりませんね。。
>>342
面白いと思います。組み込めないか考えてみる
>>344
φ(ω,0)=(1,2,4,3,5,4)
Γ_0=(1,2,4,3,5,4,6)
だと思います。
- 346 :
- TY数列の(a,b,c,...)のaの値をa>1とかにしたらめっちゃ強くなりそう
ただ障害がある
定義がかなり複雑
- 347 :
- >>341
ϑ(φ(Ω,1))はUNOCFではψ(Ω_2^Ω)だったと思うので、TY(1,2,4,4,3,5,5,4,6)です。
- 348 :
- UNOCFとTYって一対一対応できるのか
- 349 :
- へ〜1次元配列なのにそんなに強いのか。
よくわからんが数字に多次元構造を埋め込んでる感じなのだろうか?
- 350 :
- TY数列よりもY数列を知ってほしいので布教すると、
(1,2,3,4,5,...)=原始数列と同じε_0=(0,0)(1,1)
(1,2,3,...)の数列の階差数列は(1,1,1,...)なので、これを原始数列のように(1,2)に圧縮する
なので(0,0)(1,1)は階差に(1,2)をもつ数列になるので、(1,2,4)
階差をとることを続けると、
(1,2,4)=(0,0)(1,1)
(1,2,4,8)=(0,0,0)(1,1,1)
(1,2,4,8,16)=(0,0,0,0)(1,1,1,1)
(1,2,4,8,16,32)=(0,0,0,0,0)(1,1,1,1,1)
この極限が(1,3)=(0)(1[1]1)
ここからはTrancefinite Basic Matrix Systemとの比較になるが、
(1,3,7)=(0)(1[2]1)
(1,3,7,11)=(0)(1[3]1)
(1,3,7,12)=(0)(1[ω]1)
(1,3,7,13)=(0)(1[Ω]1)=α→(0)(1[α]1)の不動点
ここまでは解析できてる
Y(1,4)への道のりは長い。。
- 351 :
- Y数列つええな
Y(1,4)がtbms を越えるとか
- 352 :
- Y(1,100)は定義できない可能性もあるの?
- 353 :
- ん、定義できるのは明らかなのかな?
- 354 :
- >>352
定義できます。
例えば、(1,3)の階差は2ですが、この2を1の斜め右上、3の斜め左上に書いておきます。
すると、1と2で原始数列のような展開をすることが可能なので、(1,2)を展開した(1,1,...)を斜め右上方向に伸ばしていきます。
あとは階差に従って数列を補完すれば、ちょうど2のべき乗の列(1,2,4,8,...)が現れるという寸法です
(1,4)も同じように、階差の3を1の右上に書いて、階差の(1,3)を(1,2,4,8,...)と展開して、数列を階差に従って補完すると(1,3,9,27...)となります。
このように、(1,n+1)は(1,n)の展開が分かればよく、また(1,2)は(1,1,1,...)と展開されるのは原始数列で説明がつくので、帰納的にすべてのn>1についての展開を定めることができます。
実際に手を動かして計算すると楽しいですよ~
- 355 :
- TY数列の作者さんはハンネ付けた方がいいぞ
- 356 :
- >>355
あんまり登録とかしたくないです。。
Twitterが主な活動場所なので、そちらにあげている定義等を見ていただければと思います
- 357 :
- 俺的レベルの分類(東巨よりも細かい)
0~ω Arrow
ω~ω^ω^ω nDimention
ω^ω^ω~ε_0 Cantor
ε_0~ζ_0 Hydric
ζ_0~Γ_0 SNZO
Γ_0~ϑ(ε_Ω+1) EXSAN
ϑ(ε_Ω+1)~TFBO Factorial EX
TFBO~C(C_1(Ω)^2) BEAF Limit
C(C_1(Ω)^2)~(0,0,0)(1,1,1)(2,2,1)(3,3,1) 5243Limit
(0,0,0)(1,1,1)(2,2,1)(3,3,1)~BMS Over UNOCF
BMS~(Y(1,n)[n] Level) YVarst
Y(1,n)[n] Level~Taranovsky C Limit C2ThN
Taranovsky C Limit~ω_1^CK A lonely ordinals
ω_1^CK~ Over Turing machine
- 358 :
- ちなみにY数列の実際に動作するプログラムコードはありますか?
- 359 :
- >>358
ありません。
私はプログラムに書き下す能力はありません。。
自分で書いた定義も一部数式じゃないところがあるので、修正中です。
- 360 :
- へー意外。
そんだけ本質的に複雑なことやってるってことかな?
- 361 :
- ωxnSGAN(ただしnは1以上の整数)とかいう奴がチ―トすぎる件について
ωx3SGANでω^(ω^3+ω)を表すとどうなってしまうんだ....
- 362 :
- TY数列らしきものをもう少し解析してみる。
OCFはRathjenのKPMのやつからΦを除いてφを1変数に制限したもの。
ψ_Ωはψと略する。
(1,2,4,7)=ψ(ψ_{χ(ω,0)}(0))
(1,2,4,7,2,4)=ψ(ψ_{χ(ω,0)}(0)+1)
(1,2,4,7,2,4,6,9)=ψ(ψ_{χ(ω,0)}(0)*2)
(1,2,4,7,2,4,6,9,4)=ψ(ψ_{χ(ω,0)}(0)↑↑ω)
(1,2,4,7,2,4,6,9,4,6,8,11)=ψ(ψ_{χ(ω,0)}(1))
(1,2,4,7,2,4,6,9,4,6,8,11,4,6,8,11)=ψ(ψ_{χ(ω,0)}(2))
(1,2,4,7,2,4,6,9,4,6,8,11,5,7,9,12)=ψ(ψ_{χ(ω,0)}(ψ_{χ(ω,0)}(0)))
(1,2,4,7,2,4,6,8,4,6,8,11,6,8,10,13)=ψ(ψ_{χ(ω,0)}(ψ_{χ(ω,0)}(1)))
(1,2,4,7,2,4,7)=ψ(χ(ω,0))
- 363 :
- (1,2,4,7,2,4,7,2,4,7)=ψ(χ(ω,0)*2)
(1,2,4,7,4,6,8,11)=ψ(ψ_{χ(ω,1)}(0))
(1,2,4,7,4,6,8,11,4,6,8,11)=ψ(ψ_{χ(ω,1)}(1))
(1,2,4,7,4,6,8,11,5,7,9,12)=ψ(ψ_{χ(ω,1)}(ψ_{χ(ω,0)}(0)))
(1,2,4,7,4,6,8,11,6,8,11)=ψ(ψ_{χ(ω,1)}(χ(ω,0)))
(1,2,4,7,4,6,8,11,8,10,12,15)=ψ(ψ_{χ(ω,1)}(ψ_{χ(ω,1)}(0)))
(1,2,4,7,4,6,9)=ψ(χ(ω,1))
(1,2,4,7,4,6,9,4,6,9)=ψ(χ(ω,2))
(1,2,4,7,4,6,9,5,7,10)=ψ(χ(ω,χ(ω,0)))
(1,2,4,7,4,6,9,6,8,11)=ψ(χ(ω,χ(ω,1)))
(1,2,4,7,4,7)=ψ(ψ_{χ(ω+1,0)}(0))
- 364 :
- もしかして多次元配列と一次元配列は計算ルール次第で相互に変換可能で本質的には等価な強さ?
- 365 :
- 4状態4記号のビジービーバーの値は10^10^7.3622145を超えていると思う
5状態3記号は[10^(100341+π^e)]を超えていると思う
ここで[n]はガウス記号
- 366 :
-
人殺しの殺人鬼の池田糞作の創価の公明が政治活動
キチガイの集まりの創価の公明が政治活動
キチガイカルトの創価の公明が政治活動
- 367 :
- ライフゲームで巨大数
nセルで最も長寿なライフゲームのパターンをL(n)とする。
ここで、このパターンの大きさはn≧10のときn-2×n-1,n>25のとき2√n×2√n以下でなければならない(不正防止)
この時、L^10(100)を「マイクラ十周年Yeaaaaaah数」とする
- 368 :
- rootからたどり着くまでのノード数とは別に高さを定義する。
(i)刈った枝の長さ(=高さの差分)が1の場合はヒドラゲームと同様
(ii)2以上の場合、より短い枝にたどり着くまで先祖を遡る。
(iii)その短い枝から伸びる木をコピーし、刈ったところから貼り付け、その貼り付けた木の刈った部分からまた貼り付け・・・というのをn回繰り返す。
この定義だと>>362>>363は見直さないとな
- 369 :
- >>368の定義もダメっぽい
- 370 :
- 改行式順序数表記で
((0,1))=φ(φ(φ(ω,0),0),0)
(((0,1)))=φ(φ(φ(φ(ω,0),0),0),0)
(0,1)<1>(0,1)=Γ_0
((0,1)<1>(0,1))<1>(0,1)=Γ_1
(0,1)<1>[(0,1)+1]=Γ_ω
(0,1)<1>[(0,1)+2]=ここを教えて
ちなみに、ルールは(0,n)(n≧5)でφ(n-2,0),(1)でφ(ω,0),(0,1)でω
- 371 :
- >>323
ひとつのサークルが幅を効かせてるからといってそれに合わせる義理はないし、
自分は自分で好きにすればいいと思うよ
- 372 :
- >>362
(1,2,4,6)と(1,2,4,7)=ψ(ψ_{χ(ω,0)}(0))の間はどのようになりますか?
UNOCFを使い解析したところ(1,2,4,7)=ψ(ε_{M+1})となりましたが。
- 373 :
- TY数列の定義ってどこにあるの?
- 374 :
- 宣伝すみません・・。
あまり需要がないかもしれないけれど、巨大数専門の掲示板作ってみました。
http://googology.bbs.fc2.com/
スレ立て自由、匿名OKなので、よかったら気軽に書き込みにきてください♪
- 375 :
- マジかよw
嫌いじゃないけど絶対維持できないと思うwww
- 376 :
- >>375
Fc2の無料掲示板なので維持費とかはかからないのですが、過疎る可能性は否めないですね・・。
- 377 :
- >>375
Fc2の無料掲示板なので維持費とかはかからないのですが、過疎る可能性は否めないですね・・。
- 378 :
- >>372
定義をいろいろ見直してみました。
(1,2,4,6)=ψ(ψ_I(0))
(1,2,4,6,6)=ψ(ψ_{χ(2,0)}(0))
(1,2,4,6,8)=ψ(ψ_{χ(M,0)}(0))=ψ(ψ_{χ(ψ_{χ(M,0)}(0),0)}(0))
(1,2,4,6,8,6,8)=ψ(ψ_{χ(M,0)}(1))ψ(ψ_{χ(ψ_{χ(M,0)}(1),0)}(1))
(1,2,4,6,8,8)=ψ(χ(M,0))
(1,2,4,6,8,8,6,8,8)=ψ(χ(M,0)*2)
(1,2,4,6,8,8,8)=ψ(χ(M,0)^2)
(1,2,4,6,8,10)=ψ(χ(M,0)^χ(M,0))
(1,2,4,7)=ψ(ε_{χ(M,0)+1})=ψ(ψ_{Ω_{χ(M,0)+1}}(0))
(1,2,4,7,4,7)=ψ(ψ_{Ω_{χ(M,0)+1}}(1))
(1,2,4,7,5,8)=ψ(ψ_{Ω_{χ(M,0)+1}}(χ(M,0)))
(1,2,4,7,6)=ψ(Ω_{χ(M,0)+1})
(1,2,4,7,6,8)=ψ(Ω_{χ(M,0)*2})
- 379 :
- >>378 訂正
(1,2,4,6,8,6,8)=ψ(ψ_{χ(M,0)}(1))=ψ(ψ_{χ(ψ_{χ(M,0)}(1),0)}(1))
- 380 :
- 定義を見直してみた(定義があるとは言ってない)
(1,2,4,7,6,9)=ψ(Ω_{Ω_{χ(M,0)+1}})
(1,2,4,7,7)=ψ(ψ_{χ(1,χ(M,0)+1)}(0))
(1,2,4,7,7,2,4,7,7)=ψ(ψ_{χ(1,χ(M,0)+1)}(1))
(1,2,4,7,7,3,5,8,8)=ψ(χ(1,χ(M,0)+1))
(1,2,4,7,7,4,7,7)=ψ(ψ_{χ(1,χ(M,0)+2)}(0))
(1,2,4,7,7,7)=ψ(ψ_{χ(2,χ(M,0)+1)}(0))
(1,2,4,7,9,12)=ψ(ψ_{χ(M,1)}(0))=ψ(ψ_{χ(ψ_{χ(M,1)}(0),0)}(χ(M,1)))
- 381 :
- >>380 途中からたぶん間違えてる
(1,2,4,7,7,2,4,7,7)=ψ(ψ_{χ(1,χ(M,0)+1)}(0)+ψ_{χ_M(0)}(ψ_{χ(1,χ(M,0)+1)}(0)))
(1,2,4,7,7,3,5,8,8)=ψ(ψ_{χ(1,χ(M,0)+1)}(0)+ψ_{χ_M(0)}(ψ_{χ(1,χ(M,0)+1)}(0))^2)
(1,2,4,7,7,4,7,7)=ψ(ψ_{χ(1,χ(M,0)+1)}(1))
(1,2,4,7,7,7)=ψ(ψ_{χ(1,χ(M,0)+2)}(0))
(1,2,4,7,9,12)=ψ(χ(1,Ω_{χ(M,0)+1}))
(1,2,4,7,10)=ψ(ψ_{χ(2,χ(M,0)+1)}(0))
(1,2,4,7,11)=ψ(ε_{χ(M,1)+1})
(1,2,4,8)=ψ(χ(M,ω))
(1,3)=ψ(ψ_{χ(M+1,0)}(0))
- 382 :
- 急増加関数の考え方ってこれであってる?
F_0(1)=2
F_0(2)=3
F_0(3)=4
......
F_0(n)=n+1
F_1(1)=F_0(1)
F_1(2)=F_0(F_0(2))
F_1(3)=F_0(F_0(F_0(3)))
......
F_1(n)=F_0^n(n)
F_2(1)=F_1(1)
F_2(2)=F_1(F_1(2))
F_2(3)=F_1(F_1(F_1(3)))
......
F_2(n)=F_1^n(n)
F_{m+1}(1)=F_m(1)
F_{m+1}(2)=F_m(F_m(2))
F_{m+1}(3)=F_m(F_m(F_m(3)))
......
F_{m+1}(n)=F_m^n(n)
F_ω(1)=F_1(1)
F_ω(2)=F_2(F_2(2))
F_ω(3)=F_3(F_3(F_3(3)))
.....
F_ω(n)=F_ω[n]^n(n)
ω=(1,2,3,4,...)
F_{ω+1}(1)=F_ω(1)
F_{ω+1}(2)=F_ω(F_ω(2))
F_{ω+1}(3)=F_ω(F_ω(F_ω(3)))
......
F_{ω+1}(n)=F_ω^n(n)
F_{ω+2}(1)=F_{ω+1}(1)
F_{ω+2}(2)=F_{ω+1}(F_{ω+1}(2))
F_{ω+2}(3)=F_{ω+1}(F_{ω+1}(F_{ω+1}(3)))
......
F_{ω+2}(n)=F_{ω+1}^n(n)
F_{ω+m+1}(1)=F_{ω+m}(1)
F_{ω+m+1}(2)=F_{ω+m}(F_{ω+m}(2))
F_{ω+m+1}(3)=F_{ω+m}(F_{ω+m}(F_{ω+m}(3)))
......
F_{ω+m+1}(n)=F_{ω+m}^n(n)
- 383 :
- F_{ω×2}(1)=F_ω(1)
F_{ω×2}(2)=F_{ω+1}(F_{ω+1}(2))
F_{ω×2}(3)=F_{ω+2}(F_{ω+2}(F_{ω+2}(3)))
......
F_{ω×2}(n)=F_{ω×2}[n]^n(n)
{ω×2}=(ω,ω+1,ω+2,ω+3,...)
F_{ω^2}(1)=F_ω(1)
F_{ω^2}(2)=F_{ω×2}(F_{ω×2}(2))
F_{ω^2}(3)=F_{ω×3}(F_{ω×3}(F_{ω×3}(3)))
......
F_{ω^2}(n)=F_{ω^2}[n]^n(n)
ω^2=(ω,ω×2,ω×3,ω×4,...)
F_{ω^ω}(1)=F_ω(1)
F_{ω^ω}(2)=F_{ω^2}(F_{ω^2}(2))
F_{ω^ω}(3)=F_{ω^3}(F_{ω^3}(F_{ω^3}(3)))
......
F_{ω^ω}(n)=F_{ω^ω}[n]^n(n)
ω^ω=(ω,ω^2,ω^3,ω^4,...)
F_{ε_0}(1)=F_ω(1)
F_{ε_0}(2)=F_{ω^ω}(F_{ω^ω}(2))
F_{ε_0}(3)=F_{ω^ω^ω}(F_{ω^ω^ω}(F_{ω^ω^ω}(3)))
......
F_{ε_0}(n)=F_{ε_0}[n]^n(n)
ε_0=(ω,ω^ω,ω^ω^ω,ω^ω^ω^ω,...)
- 384 :
- http://imgur.com/18yVSel.jpg
- 385 :
- bad root探索のアイディアがいくつかあって、それぞれで解析結果が変わってくる。最終的に同じ強さに収束するかもしれんが。
TYの具体的な定義がわからないのでここらでやめておく。
- 386 :
- >>382
ワイナー階層で考えればだいたいそうだろうが、微妙にずれてないか
F_ω(3)=F_{ω[3]}(3)=F_3(3)=F_2(F_2(F_2(3)))
0から数えるか1から数えるかでも微妙にずれる
- 387 :
- Ψ(Ω_ω)やΨ((Ω_ω)2)の基本列ってどんなんだ?
- 388 :
- >>386
サンク
ずれているのか
- 389 :
- >>387
ψ(Ω_ω)の基本列はψ(1),ψ(Ω),ψ(Ω_2),ψ(Ω_3),...
ψ((Ω_ω)×2)はψ(Ω_ω),ψ(Ω_ω+Ω),ψ(Ω_ω+Ω_2),ψ(Ω_ω+Ω_3),...
かな
- 390 :
- >>389
サンキュー 順序数崩壊関数がだいたいわかったぞ
- 391 :
- ω_1^CKの基本列ってビジービーバーみたいに神様ならわかるものなの?
それとも0除算のように神様でも無理なの?
- 392 :
- ブーフホルツのΨ関数で
Ψ(Ω_(Ω_1+Ψ(Ω_Ψ(Ω_(...)))))=Ψ(Ω_(Ω_1+Ω_1))?
- 393 :
- >>391
自明な基本列は存在しない。
ただ自明でない基本列ならある
- 394 :
- 巨大数 探索 ×
巨大数 創造 〇
グラハム数以上は意味がない。そのグラハム数ですら証明されているわけではない。
本当に意味があるのはリーマン予想で使われた数まで。
- 395 :
- 自然数の存在だって証明されたわけじゃない。
だから有限体をつかうべき
- 396 :
- 自然数の存在が証明されてないってどういうこっちゃ?
無限公理を仮定しないのか?
- 397 :
- 円周率を11進法で計算していたコンピューターが
1857万桁のところで異変を感知し、その部分を画面に表示し始めた
その表示は0と1のみしか登場せず、ある一定の区間ごとにに折り返され、
0と1によってある図形が浮かび上がった…
0000000011111100000000
0000011110000111100000
0001110000000000111000
0011000000000000001100
0110000000000000000110
1000000000000000000001
1000000000000000000001
0110000000000000000110
0011000000000000001100
0001110000000000111000
0000011110000111100000
0000000011111100000000
- 398 :
- 嘘松
- 399 :
- >>397
嘘くせ
- 400 :
- >>392
α↦Ψ(Ω_(Ω_1+Ψ(Ω_Ψ(Ω_(α)))))
という意味?
- 401 :
- ふぃっしゅさん、数セミデビューおめでとうございます
- 402 :
- ローダー数ってF_(0)(1[1]1) (99)を超える可能性ってあるのか?
- 403 :
- >>402
ないね
- 404 :
- そういや指数には指数法則があるけどテトレーションにも似たような法則ある?
- 405 :
- ϑ(ε_Ω+1)くらいの関数を作りたい
何かコツはありますか?
- 406 :
- 数学セミナーの2019年7月号(6月発売)の特集が
おおきな数
だ
- 407 :
- ■有限単純群モンスター
モンスターとは、およそ8.08×10^53個,正確には
2^46・3^20・5^9・7^6・11^2・13^3・17・19・23・29・31・41・47・59・71=
808017424794512875886459904961710757005754368000000000個の
元からなる巨大な群である
ちなみにアボガドロ定数はおよそ6.02 ×10^23である
モンスターは豊かな構造をもつ興味深い研究対象である
- 408 :
- 巨大数探索スレッド15
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 409 :
- 3100
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 410 :
- TYのやり方はあまり強くならないみたいだな
- 411 :
- >>410
そんなに大きくないのか?
- 412 :
- 数セミ7月号見て寿司虚空編買って来た
うるか可愛い
https://comic.pixiv.net/viewer/stories/9843
これの12番の右ページ上から2番目(単行本では204ページ上から2番目)
変な表情してるけど髪の描き方で可愛らしさを表現してるのは大したもんだな
- 413 :
- 5.3 x 10 ^5をフリーザ数と名付ける
- 414 :
- TYの定義ってかんせいしたのか?
- 415 :
- 0345
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 416 :
- >>405
バッハマン・ハワード順序数相当の関数で、
膨張配列表記(強配列表記のバージョンのひとつ)というものがあるから
それを参考にすると良いと思う
- 417 :
- ここの趣旨とは少しずれるかもしれませんが、ベントレー数、TREE(3)のように
「趣旨がわかりやすく」
「さわりを聞いたら大したことなさそうな」
「実は巨大数」
っての、他に何かありますか?(ベントレー数はだまし討ちの感がありますが…)
- 418 :
- >>417
組み合わせ爆発のやばさを教えてくれるお姉さん的な
- 419 :
- フカシギの数え方だっけか
- 420 :
- >417
可融数ってのがあるらしいよ
- 421 :
- コラッツ予想の最初の反例とかめちゃくちゃでかいよ
- 422 :
- コラッツ予想は真だよ。
今年中に俺が証明する。
- 423 :
- >>342 興味深い
- 424 :
- 数論・論理・意味論 その原型と展開: 知の巨人たちの軌跡をたどる
736ページ東京大学出版会 ¥15,984
数学の本スレで挙がってた本だが、
目次を読む限り計算不可能巨大数の勉強に良さそうだからここでオススメしておく
- 425 :
- 無駄に高いな
巨大数関連だけ知りたいって人には重すぎる1冊っぽい?
- 426 :
- 計算不可能巨大数だけ知ろうと思っても結局重い道を進むことになる
理解するだけで大変だからな
値段の高さは数学の本スレでも話題になってたが
- 427 :
- むしろ一冊読めばラヨ数が(目次を見る限りおそらく)理解できるだけで敷居が大分下がる
大学図書館に縁のある人とかは借りて読んでみては
- 428 :
- ラヨ数は定義をどう解釈するかで変わってくるからなあ
platonist universeで解釈するのが多数派みたいだけど
- 429 :
- 囲碁やオセロみたいななんたらゲームでお互い最善を尽くしたときの一局とか、
定義は簡単だけど変化が複雑で証明が難しい一例だな。これでもせいぜい指数関数レベルだけど
- 430 :
- 二人零和有限確定完全情報ゲーム
- 431 :
- ランダム実数選出ゲームで基礎論って言いかえられるんじゃなかったっけ?
- 432 :
- >>430
いつも思うけど長くて覚えられん
- 433 :
- >>432
アッカーマン関数の定義丸暗記するより楽やろ
- 434 :
- TYの定義考えるなら(強さ的に)Yの定義を考えたほうがいいだろうし、みんなYの定義を探してる
- 435 :
- 先に展開の計算結果があって、後から定義を考える逆グーゴロジー
- 436 :
- 展開の計算結果があるならそれがそのまま定義に採用できるのでは?
外延的定義というか?
- 437 :
- 本当は計算結果が無限にあるはずだけど実際には有限個しか示すことができないから、
有限個からほかの計算結果を推理して内包的な定義を研究するという作業
- 438 :
- 3915
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました!
マジで嬉しいです!
来月からも理系に負けず頑張りたいと思います!
https://twitter.com/dy_dt_dt_dx
(deleted an unsolicited ad)
- 439 :
- Sierpinskiの“Cardinal and Ordinal Numbers”について質問です。
第1版と第2版とで内容はどの様に違っているのでしょうか?
(ページ数に関しては487pp.と491pp.なので4ページしか増えていないようなのですが)
御存知でしたら教えて頂けると助かります。宜しくお願い致します。
- 440 :
- ωを拡張して大きな順序数をωと括弧と数字だけで表現できるようにしてみた
ω[]=1+1+1+1+...
ω[]×2=ω[]+(1+1+1+1+...)=ω[]+ω[]
ω[]^2=ω[]×(1+1+1+1+...)=ω[]+ω[]+ω[]+ω[]+...=ω[]×ω[]
ω[]^ω[]=ω[]^(1+1+1+1+...)=ω[]×ω[]×ω[]×ω[]×...
ω[0]=ω[]^ω[]^ω[]^ω[]^...
ω[1]=ω[0]^ω[0]^ω[0]^ω[0]^...
ω[ω[]]=ω[1+1+1+1+...]
ω[ω[0]]=ω[ω[]^ω[]^ω[]^ω[]^...]
ω[ω[1]]=ω[ω[0]^ω[0]^ω[0]^ω[0]^...]
ω[ω[ω[]]]=ω[ω[1+1+1+1+...]]
ω[ω[ω[0]]]=ω[ω[ω[]^ω[]^ω[]^ω[]^...]]
ω[0,0]=ω[ω[ω[ω[...ω[0]...]]]]
ω[0,1]=ω[0,0]^ω[0,0]^ω[0,0]^ω[0,0]^...
ω[0,ω[]]=ω[0,1+1+1+1+...]
ω[0,ω[0]]=ω[0,ω[]^ω[]^ω[]^ω[]^...]
ω[0,ω[0,0]]=ω[0,ω[ω[ω[ω[...ω[0]...]]]]]
ω[0,ω[0,1]]=ω[0,ω[0,0]^ω[0,0]^ω[0,0]^ω[0,0]^...]
ω[0,ω[0,ω[]]]=ω[0,ω[0,1+1+1+1+...]]
ω[0,ω[0,ω[0]]]=ω[0,ω[0,ω[]^ω[]^ω[]^ω[]^...]]
ω[0,ω[0,ω[0,0]]]=ω[0,ω[0,ω[ω[ω[ω[...ω[0]...]]]]]]]
ω[1,0]=ω[0,ω[0,ω[0,ω[0,...ω[0,0]...]]]]
ω[ω[],0]=ω[1+1+1+1+...,0]
ω[ω[0],0]=ω[ω[]^ω[]^ω[]^ω[]^...,0]
ω[ω[0,0],0]=ω[ω[ω[ω[ω[...ω[0]...]]]],0]
ω[ω[1,0],0]=ω[ω[0,ω[0,ω[0,ω[0,...ω[0,0]...]]]],0]
ω[ω[ω[],0],0]=ω[ω[1+1+1+1+...,0],0]
ω[ω[ω[0],0],0]=ω[ω[ω[]^ω[]^ω[]^ω[]^...,0],0]
ω[ω[ω[0,0],0],0]=ω[ω[ω[ω[ω[ω[...ω[0]...]]]],0],0]
ω[0,0,0]=ω[ω[ω[ω[...ω[0,0]...,0],0],0],0]
ω[][]=ω[0,0,0,0,...]
- 441 :
- ちなみに括弧はブーフホルツのヒドラを使っている
ω[][0]=ω[][]^ω[][]^ω[][]^ω[][]^...
ω[][0,0]=ω[][ω[][ω[][ω[][...ω[][0]...]]]]
ω[][0,0,0]=ω[][ω[][ω[][ω[][...ω[][0,0]...,0],0],0],0]
ω[0][]=ω[][0,0,0,0,...]
ω[0,0][]=ω[ω[ω[ω[...ω[0][]...][]][]][]][]
ω[0,0,0][]=ω[ω[ω[ω[...ω[0,0][]...,0][],0][],0][],0][]
ω[][][]=ω[0,0,0,0,...][]
ω[[]]=ω[][][][]...
ω[[0]]=ω[[]]^ω[[]]^ω[[]]^ω[[]]^...
ω[[0,0]]=ω[[ω[[ω[[ω[[...ω[[0]]...]]]]]]]]
ω[[]][]=ω[[0,0,0,0,...]]
ω[[]][[]]=ω[[]][][][][]...
ω[[][]]=ω[[]][[]][[]][[]]...
ω[[][][]]=ω[[][]][[][]][[][]][[][]]...
ω[[[]]]=ω[[][][][]...]
ω[[[]][]]=ω[[[]]][][][][]...
ω[[[]][[]]]=ω[[[]][][][][]...]
ω[[[][]]]=ω[[[]][[]][[]][[]]...]
ω[[[[]]]]=ω[[[][][][]...]]
ω[{}]=ω[[[[...[]...]]]]
ω[{}][{}]=ω[{}][[[[...[]...]]]]
ω[{}[]]=ω[{}][{}][{}][{}]...
ω[{}[[]]]=ω[{}[][][][]...]
ω[{}[{}]]=ω[{}[[[[...[]...]]]]]
ω[{}[{}[]]]=ω[{}[{}][{}][{}][{}]...]
ω[{}[{}[[]]]]=ω[{}[{}[][][][]...]]
ω[{}[{}[{}]]]=ω[{}[{}[[[[...[]...]]]]]]
ω[{}{}]=ω[{}[{}[{}[{}...[{}]...]]]]
ω[{[]}]=ω[{}{}{}{}...]
- 442 :
- ブーフホルツのヒドラのカッコの構造って感覚的には理解できるけど、やさしい言葉で説明しようとすると難しすぎる
- 443 :
- ノーマルのヒドラは理解できたけどブーフホルツはまだ理解できてない。
ベクレミシェフも理解できてない。
ブーフホルツの前にベクレミシェフを理解するのが先かもしれない。
- 444 :
- 数字を一切使わないところが最高にクール
まじ憧れる
- 445 :
- >>441
ω[0,0,...]=ω[][]=φ(ω,0)
ω[][][]...=ω[[]]=φ(ω^2,0)
までは解析できた
そこから
ω[[]][]=ω[[0,0,0,0,...]]
ここら辺の動きが分からず頓挫
- 446 :
- >>443
ベクレミシェフは大きさもε_0だしとっかかりやすいかも
手を動かすと割と分かると思う
- 447 :
- 無印ヒドラって、わかりやすさにおいては最強なんじゃね?
しかもとっかかりを聞いただけじゃ全然大したことなさそうなのに(4)からの爆発力だけでも素人目からはもう十分途方もないし。
- 448 :
- ヒドラの構造をそのままハイパー演算に組み込めば、クヌースの矢印表記から自然にヒドラに移行できる
そしてその大きさな恐れおののく
- 449 :
- ブーフホルツのヒドラの括弧1種類パターンは無印ヒドラだよね
[]=1
[][]=2
[[]]=ω
[[]][]=ω+1
[[]][][]=ω+2
[[]][[]]=ω×2
[[]][[]][]=ω×2+1
[[]][[]][][]=ω×2+2
[[][]]=ω^2
[[][]][[][]]=ω^2×2
[[[]]]=ω^ω
[[[]]][]=ω^ω+1
[[[]]][[]]=ω^ω+ω
[[[]]][[[]]]=ω^ω×2
[[[]][]]=ω^(ω+1)
[[[]][[]]]=ω^(ω×2)
[[[][]]]=ω^ω^2
[[[[]]]]=ω^ω^ω
[[[[]]]][]=ω^ω^ω+1
[[[[]]]][[]]=ω^ω^ω+ω
[[[[]]]][[[]]]=ω^ω^ω+ω^ω
[[[[]]]][[[[]]]]=ω^ω^ω×2
[[[[]]][]]=ω^(ω^ω+1)
[[[[]]][[]]]=ω^(ω^ω+ω)
[[[[]]][[[]]]]=ω^(ω^ω×2)
[[[[]][]]]=ω^ω^(ω+1)
[[[[]][[]]]]=ω^ω^(ω×2)
[[[[][]]]]=ω^ω^ω^2
[[[[[]]]]]=ω^ω^ω^ω
[[[[[...]]]]]=ε_0
- 450 :
- ハイパー原始数列はブーフホルツのヒドラと同じものだな
ハイパー原始数列の(0,n)はn種類の括弧を使ったブーフホルツのヒドラと同じになる
- 451 :
- ハイパー原始ってペア数列ぐらいあるって事か、
- 452 :
- Y数列を演算子にしてみた
a[Y数列]0=1
a[](b+1)=a^(a[]b)
a[1](b+1)=a[](a[1]b)
a[1,1](b+1)=a[1](a[1,1]b)
a[1,2](b+1)=a[1,1,1,...{a[1,2]b個}...,1](a[1,2]b)
a[1,2,1](b+1)=a[1,2](a[1,2,1]b)
a[1,2,1,1](b+1)=a[1,2,1](a[1,2,1,1]b)
a[1,2,1,2](b+1)=a[1,2,1,1,...{a[1,2,1,2]b個}...,1](a[1,2,1,2]b)
a[1,2,2](b+1)=a[1,2,1,2,...{a[1,2,2]b個}...,1,2](a[1,2,2]b)
a[1,2,3](b+1)=a[1,2,2,...{a[1,2,3]b個}...,2](a[1,2,3]b)
a[1,2,4](b+1)=a[1,2,3,...,(a[1,2,4]b)-1,a[1,2,4]b](a[1,2,4]b)
a[1,3](b+1)=a[1,2,4,8,16,32,...,2^((a[1,3]b)-1),2^(a[1,3]b)](a[1,3]b)
- 453 :
- 今更感すごいですが
https://scratch.mit.edu/projects/338237643/
ふぃっしゅ数バージョン1のScratchプログラム書きました。バグってそうですが…
- 454 :
- なんだこの言語?
子供向けにとっつきやすくしようとして、かえってとっつきにくくなってる感じか?
- 455 :
- 取っつきやすいんですけど、ある程度高度なところだとかなり面倒臭いです。
- 456 :
- 教育目的の言語のジレンマよね…
- 457 :
- レベル構造とやらでΩ_ω以上へ行く方法がわからん
おそらく
(Ω)=((Ω_2))=(((Ω_3)))=...
となっていくような構造なんだろうけど、Ω_ωからは無限に深い入れ子が必要になって記述できないんだな
- 458 :
- 1変数ウェブレン関数でもε_0を表すのに無限に深い入れ子を必要としてしまう。それを2変数にすることで解決できる。
同様に解決できるか
- 459 :
- テンプレにあるたろう氏のC言語のやつってベクレミシェフとかブーフホルツみたいな感じのアルゴリズムなの?
以前はさっぱりわからなかったけど、今見たらそんな感じに見える。
- 460 :
- そうだよ
- 461 :
- やっぱ、そうなのか〜
ありがとう
- 462 :
- https://i.imgur.com/y80wDZU.jpg
- 463 :
- ε0を現すのに無限の入れ子を使った後にさらに上にいくために
無限の入れ子を2つ使って更に上に行くために配列にして、、、
てやっていくとブーフホルツに行き着く?
- 464 :
- 入れ子の種類を2種類の記号として分けるなら、ε_nぐらいかも?試してないからわからんけど
- 465 :
- 府中(n)を以下のように定義する
府中(n)=府中(n-1)×京王(n+1,n)
府中(0)=1
但し京王は、
京王(n,m)=n^(京王(n-1,m+1)^m)
京王(0,m)=m^m
天橋立(a,b....c,d)=天橋立(京王(d,b),b+1..(間の全てに1を足す)..c+1,d-1)
天橋立(a,b....c,0)=天橋立(a,b....c)
讃岐府中(n)=天橋立(n,n..(n個のn)..n,n)
讃岐府中^100(100)=府中数
定義に不備があったら教えてくれ、俺がすぐ直す
- 466 :
- まず、一変数の天橋立が定義されてないね。
- 467 :
- >>466
天橋立(n)=n^n
- 468 :
- 天橋立(a,b)=天橋立(京王(b,b),b-1)
と解釈すると、
0^0=1を採用すれば
府中数=1
- 469 :
- (a+1[0]b+1[0]X[×])=((a[0]b+1[0]X[×])+1[0]b[0]X[×])
(0[0]b+1[0]X[×])=1
(a[0]0[0]0[×])=a+1
(a+1[0]0[×]b+1[c+1]X[×])=(a+1[0]0[×](a[0]0[×]b+1[c+1]X[×])+1[c]b[c+1]X[×])
(a+1[0]0[×]0[c]b+1[0]X[×])=(a+1[0]0[×](a[0]0[×]0[c]b+1[0]X[×])+1[c+1]b[0]X[×])
二重リストと配列表記の多次元の強いとこだけ煮詰めてみた
- 470 :
- あ、間違えた
A…左辺をコピペしてa+1をaに変えたものが入る場所
(0[0],b+1[0],X[×],)=1
(a+1[0],b+1[0],X[×],)=(A+1[0],b[0],X[×],)
(a[0],0[0],0[×],)=a+1
(a+1[0],0[0],0[×],0[0]0[X]b+1[c+1]X[X],X[×],)=(a+1[0],0[0],0[×],0[0]0[X]A+1[c]b[c+1]X[X],0[0]0[X]b[c+1]X[X],X[×],)
(a+1[0],0[0],0[×],0[X]b+1[0]c+1[0]X[X],X[×],)=(a+1[0],0[0],0[×],0[X]A+1[0]c[0]X[X],0[X]b[0]c+1[0]X[X],X[×],)
(a+1[0],0[0],0[×],0[X]0[c]b+1[0]X[X],X[×],)=(a+1[0],0[0],0[X]A+1[c]b[0]X[X],0[X]0[c]b[0]X[X],0[×],)
(a+1[0],0[×],0[0]X[X],b+1[0]0[X],X[×],)=(a+1[0],0[×],A+1[×],b[0]0[X],X[×],)
こっちだこっち
- 471 :
- 指数関数なら利子の増え方とか生物の繁殖とかに見出せるけど、テトレーション以降は厳しいな。
複素数や4元数でも量子力学だかなんだかでみかけるのに
- 472 :
- テトレーション的に膨張されたら宇宙に収まらんだろw
- 473 :
- a^b^xという形の関数ならどっかで見かけた気がするけど気のせいかもしれない
- 474 :
- >>473
ジンバブエドルかな?
- 475 :
- 定数記号0と後者関数を表す関数記号、等号記号、あとは適当な論理記号でペアノ算術を実装するとして、
1の存在は、0の存在とその後者の存在から導き出すことができる。
2の存在は、1の存在とその後者の存在から導き出すことができる
・・・とやって、任意の自然数につき存在の証明が存在することは適当なメタ理論の帰納法で証明できるけど、
現実的には証明できない巨大数の存在を無条件で受け入れられるというのは、チョコボの不思議なダンジョン
- 476 :
- 学校教育の効果で、数の比較と言えば桁になってるな(科学的記法も結局は巨大桁の視覚的略記だし)
- 477 :
- 科学的記法とは?
- 478 :
- 1.0E10とかかな
- 479 :
- それですね
数を出力するシステムの強さで数を比較する考え方に慣れるのってすごく時間がかかります
- 480 :
- 2900
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です!
https://twitter.com/huwa_cororon/status/1199593474128896000
(deleted an unsolicited ad)
- 481 :
- BIG FOOTのコメント欄でV_[0]がフォン・ノイマン宇宙とか言ってた気がするけど、
誤解されてるか、記号の濫用じゃないかな
- 482 :
- 今後の拡張性があると思う
a,b,n={0以上の整数}
X={0個以上の0以上の整数}
a:n={n個のa}
a:n+b=a:(n+b)
f()=1
f(0)=f()+f()
f(a+1)=f(a)+f(a)
f(0:n+2)=f(1:n+1)
f(0:n+1,a+1)=f(f(0:n+1,a):n+1)
f(X,b+1,0:n+1)=f(X,b,1:n+1)
f(X,b+1,0:n,a+1)=f(X,b,f(X,b+1,0:n,a):n+1)
f[]()=f(1)
f[](0)=f(f[]():f[]())
f[](a+1)=f(f[](a):f[](a))
f[](0:n+2)=f[](1:n+1)
f[](0:n+1,a+1)=f[](f[](0:n+1,a):n+1)
f[](X,b+1,0:n+1)=f[](X,b,1:n+1)
f[](X,b+1,0:n,a+1)=f[](X,b,f[](X,b+1,0:n,a):n+1)
f[0]()=f[](1)
f[0](0)=f[](f[0]():f[0]())
f[0](a+1)=f[](f[0](a):f[0](a))
f[c+1]()=f[c](1)
f[c+1](0)=f[c](f[c+1]():f[c+1]())
f[c+1](a+1)=f[c](f[c+1](a):f[c+1](a))
f[c](0:n+2)=f[c](1:n+1)
f[c](0:n+1,a+1)=f[c](f[c](0:n+1,a):n+1)
f[c](X,b+1,0:n+1)=f[c](X,b,1:n+1)
f[c](X,b+1,0:n,a+1)=f[c](X,b,f[c](X,b+1,0:n,a):n+1)
f[0,0]()=f[1](1)
f[0,0](0)=f[f[0,0]()](f[0,0]():f[0,0]())
f[0,0](a+1)=f[f[0,0](a)](f[0,0](a):f[0,0](a))
f[0,0](0:n+2)=f[0,0](1:n+1)
f[0,0](0:n+1,a+1)=f[0,0](f[0,0](0:n+1,a):n+1)
f[0,0](X,b+1,0:n+1)=f[0,0](X,b,1:n+1)
f[0,0](X,b+1,0:n,a+1)=f[0,0](X,b,f[0,0](X,b+1,0:n,a):n+1)
F(a)=f[0,0](a:a)
- 483 :
- 拡張してみた
a,b,m,n={0以上の整数}
X,Y={0個以上の0以上の整数}
a:n={n個のa}
a:n+b=a:(n+b)
f()=1
f(0)=f()+f()
f(a+1)=f(a)+f(a)
f(0:n+2)=f(1:n+1)
f(0:n+1,a+1)=f(f(0:n+1,a):n+1)
f(X,b+1,0:n+1)=f(X,b,1:n+1)
f(X,b+1,0:n,a+1)=f(X,b,f(X,b+1,0:n,a):n+1)
f[]()=f(1)
f[](0)=f(f[]():f[]())
f[](a+1)=f(f[](a):f[](a))
f[0:m+1]()=f[1:m](1)
f[0:m+1](0)=f[f[0:m+1]():m](f[0:m+1]():f[0:m+1]())
f[0:m+1](a+1)=f[f[0:m+1](a):m](f[0:m+1](a):f[0:m+1](a))
f[Y,d+1,0:m]()=f[Y,d,1:m](1)
f[Y,d+1,0:m](0)=f[Y,d,f[Y,d+1,0:m]():m](f[Y,d+1,0:m]():f[Y,d+1,0:m]())
f[Y,d+1,0:m](a+1)=f[d,f[Y,d+1,0:m](a)](f[Y,d+1,0:m](a):f[Y,d+1,0:m](a))
f[Y](0:n+2)=f[Y](1:n+1)
f[Y](0:n+1,a+1)=f[Y](f[Y](0:n+1,a):n+1)
f[Y](X,b+1,0:n+1)=f[Y](X,b,1:n+1)
f[Y](X,b+1,0:n,a+1)=f[Y](X,b,f[Y](X,b+1,0:n,a):n+1)
F(a)=f[a:a](a:a)
- 484 :
- >>483
下から8行目訂正
x f[Y,d+1,0:m](a+1)=f[d,f[Y,d+1,0:m](a)](f[Y,d+1,0:m](a):f[Y,d+1,0:m](a))
o f[Y,d+1,0:m](a+1)=f[Y,d,f[Y,d+1,0:m](a):m](f[Y,d+1,0:m](a):f[Y,d+1,0:m](a))
- 485 :
- []をヒドラにすればもっと大きく拡張できる
f()=1
f(0)=f()+f()
f(a+1)=f(a)+f(a)
f(0:n+2)=f(1:n+1)
f(0:n+1,a+1)=f(f(0:n+1,a):n+1)
f(X,b+1,0:n+1)=f(X,b,1:n+1)
f(X,b+1,0:n,a+1)=f(X,b,f(X,b+1,0:n,a):n+1)
f[]{m+1}()=f[]{m}(1)
f[]{m+1}(0)=f[]{m}(f[]{m+1}():f[]{m+1}())
f[]{m+1}(a+1)=f[]{m}(f[]{m+1}(a):f[]{m+1}(a))
f[]{m+1}(0:n+2)=f[]{m+1}(1:n+1)
f[]{m+1}(0:n+1,a+1)=f[]{m+1}(f[]{m+1}(0:n+1,a):n+1)
f[]{m+1}(X,b+1,0:n+1)=f[]{m+1}(X,b,1:n+1)
f[]{m+1}(X,b+1,0:n,a+1)=f[]{m+1}(X,b,f[]{m+1}(X,b+1,0:n,a):n+1)
f[[]]()=f[](1)
f[[]](0)=f[]{f[[]]()}(f[[]]():f[[]]())
f[[]](a+1)=f[]{f[[]](a)}(f[[]](a):f[[]](a))
f[[]](0:n+2)=f[[]](1:n+1)
f[[]](0:n+1,a+1)=f[[]](f[[]](0:n+1,a):n+1)
f[[]](X,b+1,0:n+1)=f[[]](X,b,1:n+1)
f[[]](X,b+1,0:n,a+1)=f[[]](X,b,f[[]](X,b+1,0:n,a):n+1)
f[[]][]{m+1}()=f[[]][]{m}(1)
f[[]][]{m+1}(0)=f[[]][]{m}(f[[]][]{m+1}():f[[]][]{m+1}())
f[[]][]{m+1}(a+1)=f[[]][]{m}(f[[]][]{m+1}(a):f[[]][]{m+1}(a))
f[[]][]{m+1}(0:n+2)=f[[]][]{m+1}(1:n+1)
f[[]][]{m+1}(0:n+1,a+1)=f[[]][]{m+1}(f[[]][]{m+1}(0:n+1,a):n+1)
f[[]][]{m+1}(X,b+1,0:n+1)=f[[]][]{m+1}(X,b,1:n+1)
f[[]][]{m+1}(X,b+1,0:n,a+1)=f[[]][]{m+1}(X,b,f[[]][]{m+1}(X,b+1,0:n,a):n+1)
f[[]][[]]()=f[[]][](1)
f[[]][[]](0)=f[[]][]{f[[]][[]]()}(f[[]][[]]():f[[]][[]]())
f[[]][[]](a+1)=f[[]][]{f[[]][[]](a)}(f[[]][[]](a):f[[]][[]](a))
f[[]][[]](0:n+2)=f[[]][[]](1:n+1)
f[[]][[]](0:n+1,a+1)=f[[]][[]](f[[]][[]](0:n+1,a):n+1)
f[[]][[]](X,b+1,0:n+1)=f[[]][[]](X,b,1:n+1)
f[[]][[]](X,b+1,0:n,a+1)=f[[]][[]](X,b,f[[]][[]](X,b+1,0:n,a):n+1)
F(a)=f[[]][[]](a:a)
- 486 :
- ハイパー原始数列を入れ子にすれば更に強い順序数が生成できるよね
[]=()=0
[[]]=(0)=1
[[],[]]=(0,0)=2
[[],[],[]]=(0,0,0)=3
[[],[[]]]=(0,1)=ω
[[],[[]],[]]=(0,1,0)=ω+1
[[],[[]],[],[]]=(0,1,0,0)=ω+2
[[],[[]],[],[[]]]=(0,1,0,1)=ω×2
[[],[[]],[[]]]=(0,1,1)=ω^2
[[],[[]],[[],[]]]=(0,1,2)=ω^ω
[[],[[]],[[],[]],[[],[],[]]]=(0,1,2,3)=ω^ω^ω
[[],[[],[]]]=(0,2)=ε_0
[[],[[],[],[]]]=(0,3)=ψ(ε_(Ω+1))
[[],[[],[],[],[]]]=(0,4)
[[],[[],[[]]]]=(0,(0,1))
[[],[[],[[]]],[]]=(0,(0,1),0)
[[],[[],[[]]],[],[]]=(0,(0,1),0,0)
[[],[[],[[]]],[],[[]]]=(0,(0,1),0,1)
[[],[[],[[]]],[],[[]],[[],[]]]=(0,(0,1),0,1,2)
[[],[[],[[]]],[],[[],[]]]=(0,(0,1),0,2)
[[],[[],[[]]],[],[[],[],[]]]=(0,(0,1),0,3)
[[],[[],[[]]],[],[[],[[]]]]]]=(0,(0,1),0,(0,1))
[[],[[],[[]]],[[],[[]]]]=(0,(0,1),(0,1))
[[],[[],[[]]],[[],[[]]],[[],[[]]]]=(0,(0,1),(0,1),(0,1))
[[],[[],[[]]],[[],[[]],[]]]=(0,(0,1),(0,1,0))
[[],[[],[[]]],[[],[[]],[]],[[],[[]],[],[]]]=(0,(0,1),(0,1,0),(0,1,0,0))
[[],[[],[[]],[]]]=(0,(0,1,0))
[[],[[],[[]],[],[]]]=(0,(0,1,0,0))
[[],[[],[[]],[],[],[]]]=(0,(0,1,0,0,0))
[[],[[],[[]],[],[[]]]]=(0,(0,1,0,1))
[[],[[],[[]],[[]]]]=(0,(0,1,1))
[[],[[],[[]],[[]],[[]]]]=(0,(0,1,1,1))
[[],[[],[[]],[[],[]]]]=(0,(0,1,2))
[[],[[],[[]],[[],[]],[[],[],[]]]]=(0,(0,1,2,3))
[[],[[],[[],[]]]=(0,(0,2))
[[],[[],[[],[],[]]]=(0,(0,3))
[[],[[],[[],[[]]]]]=(0,(0,(0,1)))
[[],[[],[[],[[],[[]]]]]]=(0,(0,(0,(0,1))))
- 487 :
- Yもいけるぞ
- 488 :
- バシク行列系は入れ子を使わない気持ちがあったそうだ
- 489 :
- 入れ子を平らな構造にしさらにそれを入れ子に拡張しと繰り返していくとどうなるか
- 490 :
- 入れ子を平らな構造にしの所がめちゃめちゃ難しいけど出来たらものすごく大きい数にはなると思う
- 491 :
- >>486の(0,(0,1))は何ですか?
- 492 :
- おっと、ψ(Ω_ω)だ
- 493 :
- ウェブレン関数って思ったより複雑で、ブーフホルツのΨとの擦り合わせが大変なんだが
- 494 :
- (全域)計算可能の定義というのが少々厄介で、ZFCで停止性/非停止性を証明可能なら、
とるあえずZFCの無矛盾性と健全性を信じて一部の計算可能性を定義することができるけど、
より一般的な定義となると帰納的公理化可能な理論では無理で、帰納的公理化不可能な理論
はふわふわしていてつかみどころがない。
帰納的公理化可能なメタ理論で言語Lを定義して、そういう帰納的公理化不可能なL-理論が
存在するとして寝る
- 495 :
- 計算不可能関数でも再帰理論で全域関数として定義することはできる、決定できない値が無数に存在するだけで。
定義もできない最初の関数がラヨ関数ということかな。
たぶんBIG FOOT系列もこの流れの拡張として考えられてるのだろう、フォン・ノイマン宇宙をなにか勘違いしてるっぽいけど。
自分がなにか勘違いしてる可能性は否定しない
- 496 :
- 足し算を
x+0=x
x+s(y)=s(x+y)
で定義すると1+ωはωに等しいではなく定義不能だな
0除算も割り算の実装の仕方によっては例外処理するまでもなく定義不能という話があったような
- 497 :
- 数学的知識が比較的浅めでも理解できるφ(2,0)以上のものって出てこないのかな
とりあえず考えてみよう
- 498 :
- TREE(3)がそれじゃないの
- 499 :
- TREE(3)面白いな
でもデカさを実感するには自分で手を動かしてみるしかない?
- 500 :
- 積み木遊びみたいに手を動かす巨大数はやっぱりグラフ関連か
- 501 :
- あるアルゴリズムが停止することが示せる⇔大きさを見積もれる
は正しい?
- 502 :
- 少なくとも<=は成り立たないと思う。
<=は、例えば、ビジービーバー関数の計算結果に適当な演算を加えて、
それにビジービーバー関数の逆関数を作用させた場合。
ほとんど恒等関数になるけど、計算可能ではないだろう。
⇒は、大きさを見積もるという言葉の定義次第?
極論、自分自身(に自明な操作をしたもの)をものさしにしてしまえば、何でも見積もれるだろう。
どんなものさしで見積もるか、その使うものさしの限界以内なら可能って感じだと思う。
一応、どんなものさしでも限界はあるだろうけど。
- 503 :
- 停止するのを示すのにその物差しがひつようになるって可能性が無きにしも非ず。
- 504 :
- ZFから停止性を証明できないアルゴリズムA,B
ZF+ACからAの停止性、Bの非停止性を証明可能
ZF+¬ACからAの非停止性、Bの停止性を証明可能
ZFは無矛盾としておく
- 505 :
- >>504
> ZFから停止性を証明できないアルゴリズムA,B
> ZF+ACからAの停止性、Bの非停止性を証明可能
> ZF+¬ACからAの非停止性、Bの停止性を証明可能
そういう事態になったとすれば、ZFが矛盾していることになる
何故ならば、停止性の証明に用いる体系とは無関係に(全てを見通せる神の立場では)
アルゴリズムA(Bでも同様)は停止性を有するか有しないかの何れか一方でしかない
今、例えばアルゴリズムAは実は停止性を満たさないとする
するとZF+ACは偽の命題を証明してしまったことになるので体系ZF+ACは矛盾していることになる
しかしながら、ACのZFに対する相対的無矛盾性(ZFが無矛盾ならばZF+ACも無矛盾)より
ZF+ACが矛盾しているということはZFが矛盾していることになる
Aが停止性を満たす場合も同様にしてZFが矛盾しているという結論になる
(この場合の論証はACのZFに対する独立性を用いる)
従って、
> ZFは無矛盾としておく
限り、最初に引用した3行のような事態は起こり得ない
- 506 :
- >>505
>今、例えばアルゴリズムAは実は停止性を満たさないとする
>するとZF+ACは偽の命題を証明してしまったことになるので体系ZF+ACは矛盾していることになる
実際には停止しないけど、形式的には超準的な時間をかけて停止する、とすれば矛盾にはならない。ω矛盾にはなるけど
A,Bの停止性に関係なくZF+ACが矛盾していたらあきらめる
- 507 :
- ω矛盾ってつまるところ矛盾を導く計算に超限的な時間がかかるってイメージだけど、
ここでかかる時間は可算か非可算かとかで、さらに分類できそうな気がする。
可算回では停止せず、非可算回の操作の果てに停止するとか。
そういう感じの停止性を元に定義された計算不能巨大数ってある?
この前、非可算回の計算の概念を少し考えてみたら、
計算機の時間や空間や状態を非可算濃度で扱い、
それぞれの連続性や整礎性を超準的な意味で適切に定義すれば扱えそうではあった。
まぁ、計算可能で途中なのがあるから今は深入りするつもりはないけど。
有限文字で定義された特定の言語を用いて
N文字で記述できる最大の自然数の代わりに
有限文字で記述できる限界の順序数を考える代わりに
可算文字で記述できる限界の非可算順序数もどきを考える代わりに
連続体濃度文字で記述できる限界の…
みたいな系譜を対角化したアプローチがあったら強そうだけど既出かな?
- 508 :
- ω矛盾があるならΩ矛盾や I 矛盾 M 矛盾もあるのかなと思ったことはある
- 509 :
- 自然数nによって定まる論理式って所がどうなるのかだな、、
- 510 :
- 素数を拡張してみる
αが素数⇔¬∃β∃γ[α=βγ∧β≠1∧β≠α]
すると、ωは素数、ω+kも素数、ω2+1は素数、ω2+2k+1は素数、・・・
ω^ωは素数、ω^ω^ωは素数、・・・、ε_0は素数、・・・。
- 511 :
- α番目の素数をP_αとおいてみる
O((P_α_n)^a_n・…・(P_α_0)^a_0) = ω^α_n・a_n + … + ω^α_0・a_0
O(2) = O(P_0) = 1
O(4) = O(P_0^2) = 2
O(3) = O(P_1) = ω
O(ω) = ω^ω
O(ω^ω) = ω^ω^ω
- 512 :
- 拡張素数、面白そう
- 513 :
- ハーディー階層を使ってなんかいいのできないかと思ったけど、
強さはf_ε_0(n)くらいだし、出てきた数をまたかけてもω^ωくらいにしかならないし、だめなのでした
- 514 :
- fghより強い階層無いのかな
fghでf_ε₀(n)=F_ω(n)
になるような関数F(n)
- 515 :
- SGH: g_α+1(n) = g_α(n)+1
Hardy: H_α+1(n) = H_α(n+1)
FGH: f_α+1(n) = f_α^n(n)
SGHはどちらも捨てている
Hardyは順序数の強さを取り込んでいる
FGHは順序数の強さと、そこからできる関数の強さを両方取り込んでいる
- 516 :
- F: 順序数×数→数
この構成でFGH越そうとしたら小細工しかない感ある
構成を変える必要がある
F: 順序数×何か→何か
何かは数、順序数、関数、・・・なんだろう
関数は順序数から作れるし、数は順序数から作った関数から作れるので、順序数を強くできればおk
- 517 :
- 万万が一ZFが矛盾してたら、楽しいな。
- 518 :
- ZFが矛盾してなかった場合それはZFでは証明できないけど、矛盾してる場合はそれはZFで証明できるんだよね?
- 519 :
- 矛盾してる場合にはどんな命題も証明できる
だからZFが矛盾していればZFが矛盾してることも証明できる
- 520 :
- 順序数ってでかくなるほど矛盾に近づいていくんだっけ?確か
- 521 :
- 自然数を全て一列に並べて、適当に順番を入れ替えたものを考える(すなわち自然数全体の順列)。
辞書順に順序を付け、順序数の小さいものから一対一の対応をつける。
このとき、自然数を降順に並べたものと対応する順序数はどのようなものになるか?
- 522 :
- >>521
ω1
- 523 :
- >>521
辞書式順序は整礎じゃないからそのままじゃ順序数と対応しない
- 524 :
- フーム、整礎ってよくわからんがとにかくダメってことやな。
いいアイディアだと思ったんだけど。
- 525 :
- 1番目の{1,2,3,4,5,…}っていう順列の次が定まらないと思う。イメージ的には、2番目は
n番目とm番目を入れ替えたもので、nとmを無限に大きくしていったものって感じな気がする。
でも、その極限は1番目になっちゃう。だから、枢密…っていうんだっけか?、
有理数とか実数とかみたいないくらでも近い近傍を持つ構造のものとなら対応させられるものがあるかも知れないが、
順序数みたいに隣との最短距離が1以上とかに固定されたものだと、どこかの概念の定義を調整しないと無理だろう。
- 526 :
- 1番目{1,2,3,4,5,...}
2番目{2,1,3,4,5,...}
3番目{3,1,2,4,5,...}
4番目{3,2,1,4,5,...}
5番目{4,1,2,3,5,...}
6番目{4,2,1,3,5,...}
7番目{4,3,1,2,5,...}
8番目{4,3,2,1,5,...}
9番目{5,1,2,3,4,...}
みたいな小手先の変更じゃ駄目ってこと?
- 527 :
- それはn番目までの範囲での交換操作だけで書けるものから順番にって感じかな?
{(1〜nを並び替えたやつ),n+1,n+2,n+3,…}
という感じで。
この場合、n以下でってのは有限通りだから、nをどこまで大きくしていっても有限。
交換の操作が有限回のものは書けるけど、無限回のものにインデックスが割り振れない。
有限回のもの全体に対しての極限でなら順序数でいえばωになるかな。
無限回の交換を考える場合は…。例えば{2,1,4,3,6,5,…}とかが考えられるか。
全体は連続体濃度以上になるみたいだね。
証明概略:
(2k,2k+1)の形の互換のみの組み合わせで書ける数列だけを考えたとき、
各自然数kに対する互換があればk桁目が1、なければ0という形で作れる2進数と対応付けられる。
多分、無限回の交換の部分の並びの割り付け方次第で、
いくらでも大きな順序数まで対応させられるけれど、基本的に部分しか対応させられない。
全部を対応させることが出来るとしたら最低でも第一非可算基数以上を要求し、
なおかつそれが可能か否かは連続体仮説依存になる感じかな?
- 528 :
- ZFCでは解決しそうにないってこと?
- 529 :
- 仮に、ZFCの範囲内で全単射が見つかったとしたらZFCが矛盾してるってことになる?
- 530 :
- 俺は数学科出身じゃないし、
集合論含む数学諸分野の内容はwikiでたまに読み流してたくらいのにわか知識(&感覚派)だし、
割と初歩的なところから勘違いがあるかも知れないと前置きしておく。
(最近だと、長期間φ(ω,0)をΓ0と勘違いしてたしorz)
俺の認識では、第一非可算基数(Ω)が連続体濃度に一致するか否かはZFCと独立。
で、順序数の世界だと、Ω未満は全部可算集合だから、多分Ωは最小の可算でない濃度ではあると思う。
名前も第一非可算基数っていうくらいだし。この推測があってればΩ≦連続体濃度は言える。
すると、連続体仮説が真なら、Ωが連続体濃度で、偽なら、Ωより大きなところに連続体濃度がある。
Ωと連続体濃度との間の対応関係がZFCで示せるなら、それは連続体濃度が真あるいは偽であると証明していることになる。
だから、Ωと連続体濃度との間の対応はZFCで示せないはず。
そして、自然数の列の話は2進数以上の濃度になるとかいう連続体濃度寄りの話で考えたけど、
順序数を構成するときはΩの方の話になるから、
結局、Ωと連続体濃度の比較ができなければ限界は決まらないとも言える。
ただ、これは言語の表現力とかのことを考慮してない。
イメージ的には507で書いたような色々なレベルの無限文字使える言語があったら〜みたいなことを考えない限りは
Ω以上の限界を細かく分ける意義はないと思うし、そこまで考えだすとZFCでは解決できないだろうし、自然に解決できる公理系があるのかも知らない。
そこまで考えないのが普通だろうし、そこまで考えないなら、一応ZFCで解決出来ると言えるだろう。
その場合の結論は、可算順序数全体から自然数列への全射が取れるかは連続体仮説依存だけど単射なら取れる。
あるいは、自然数列から可算順序数全体への全射は取れるけど、自然数列から可算順序数全体への単射が取れるかどうかは連続体仮説依存でもある。…みたいな感じかな。
多分、どう頑張っても、自然数列側に未定義な余りか同じ順序数への重複割り付けが生じると思うというか、もし生じなければ連続体仮説が真であると証明したことになりそう。
…これでΩ=連続体濃度であることと連続体仮説は独立だったら滑稽だな。
- 531 :
- 数学が崩壊する事なく連続体仮説が真になるなんてあり得るの?
- 532 :
- >>531
連続体仮説だけでなく一般連続体仮説もZFの公理系とは独立だからZFで作られる数学の崩壊なしに
一般連続体仮説が真になることは可能だろ
但し、その場合の数学世界では基数の構造は良く言えば簡単明瞭、悪く言えば単純だから集合論屋さんは飯の食い上げになるので許し難いだろうが
他の普通の数学者にとっては実用上=自分の論文を書く上では連続体仮説を認めないZFCとは実質的に何の違いもないので何ら困らないと思うよ
- 533 :
- >>532
「普通の数学者」というのはMac Laneの圏論の本のタイトルでの“Working Mathematician”の意味ね
あるいは基礎論屋・数理論理屋や集合論屋などを除いた数学者
- 534 :
- >>526のやりかたでωとかε0とかってどう自然数列にわりつけられる?
- 535 :
- >>526の自然な拡張で任意の自然数列の大小が決定可能なものがあるかどうか
- 536 :
- ある自然数列に対しaがbより後ろにある時x(a,b)=1そうでない時x(a,b)=0とする
そうすると2進数に変換出来て、大小もきめられる、かなぁ
- 537 :
- いや、違うかも。
すまん今のなし
- 538 :
- 結局、大小が決まるだけではダメって感じかな、うーむ
- 539 :
- 一般連続体仮説が真だとおまんまの食い上げという話は聞いたことがない
今は代数屋とか圏論屋の証明に関わるグロタンディーク宇宙の存在と同値な弱到達不能基数などの巨大基数の問題が主流だと思われる
定理っていうのは完全性定理から任意のZFCのモデルで成立する、ということなので、一般連続体仮説が真のモデルでも偽のモデルでも成立する
だから既存の数学は崩壊しない
- 540 :
- モデルとかよく知らないけど連続体仮説が真なら連続体仮説の否定を採用したものほ矛盾するのでは?
- 541 :
- 俺も詳しくないから、間違いがあったら教えてほしい
集合論の言語LにおけるL-構造Mにおいて、一般連続体仮説という閉論理式が真を取りかつ偽を取ることはない
(なぜなら述語に対する解釈関数M_Pred(P): Dn --> {T,F} は、閉論理式Pを取れば空写像となって対象変数x∈DによらずTまたはFを取るが、両方取るとすると関数の定義に反する)
だから例えば理論TとしてZFC+連続体仮説の否定を取ると、ZFCのモデルMで連続体仮説が真であるようなものは、矛盾以前にTのモデルでさえない
- 542 :
- よくわからんが有限文字列で具体的な全単射が示されることはない、でおk?
- 543 :
- 連続体仮説
ℵ1 = 2^(ℵ_0)
濃度を小さい順に並べたものがℵ_α
濃度の冪集合を集めたものがב_α
ב_(α+1) = 2^(ב_α)
連続体仮説が正しければℵ_α = ב_α
あってる?
- 544 :
- xyz空間で例えるとx=yという定理があったらそれはz=0でもz=1でも成り立ちますよ
みたいなイメージなのだろうか?
- 545 :
- >>543
最後の場所は「一般連続体仮説が正しければ」が適切
連続体仮説だけだとアレフ0の冪がアレフ1になるけど
アレフ1とその冪の間に別の濃度があるかもしれない
一般連続体仮説ならどの濃度も冪との間に別の濃度を持たない
- 546 :
- >>545
さんくす
ところでオメガ不動点と到達不能基数の間には他の基数はありうる?
- 547 :
- >>543
最後の場所は「一般連続体仮説が正しければ」が適切
連続体仮説だけだとアレフ0の冪がアレフ1になるけど
アレフ1とその冪の間に別の濃度があるかもしれない
一般連続体仮説ならどの濃度も冪との間に別の濃度を持たない
- 548 :
- >>546
ω^Xの最小の不動点はε[0]だけど、
Xの共終数が自分自身になる最小の不動点はΩ。
ここでいうε[0]とΩくらいオメガ不動点と(弱)到達不能基数は離れてるイメージで捉えてる。
オメガ不動点と(弱)到達不能基数の間の基数の例だと
Ω_(オメガ不動点+1)
なんかが分かりやすい例かな。ω^(ε[0]+1)、ε[ζ[0]+1]、ε[Ω+1]とかみたいな作り方。
他、{オメガ不動点+1、Ω_(オメガ不動点+1)、Ω_Ω_(オメガ不動点+1)、Ω_Ω_Ω_(オメガ不動点+1)、…}
な極限でオメガ不動点がε[0]に対応するイメージでいうε[1]みたいなのも作れる。
- 549 :
- >>548
解説ありがとう
+1しなければいけない本質的な理由みたいなのってある?
ーーーー別の話
Coqでは集合Xは述語P(x)⇔x∈Xとして表す。
順序数も集合なので同じ風に表せそう。
succ(x) = λy. x=y または x(y)
ω(x) ⇔ x=0 または xの前者がyのときω(y)
足し算はどうやって表せばいいだろう
add(x, y) =
・y=0のとき、x
・y=succ(z)のとき、succ(add(x, z))
・yが極限順序数のとき、?
- 550 :
- +1はそうだなぁ。
Ω_(オメガ不動点)=オメガ不動点:オメガ不動点番目の基数
ω^(ε[0])=ε[0]:ω×Xという操作のε[0]番目の不動点
ε[ζ[0]]=ζ[0]:ω^Xという操作のζ[0]番目の不動点
ε[Ω]=Ω:ω^Xという操作のΩ番目の不動点
って感じで、まぁ、オメガ不動点だけ〜番目の基数だけど、
これは到達不能基数同様、不動点であるという条件+αな感じで似たようなものと捉えてる。
で、548での例だとこの各方面での操作の次の不動点(後続不動点)を表すために+1してるって感じかな。
なんとなくε[Ω+1]とかを見てると、最初の不動点を0番目ではなく1番目と定義した方がこういう場面では自然な気がする。
足し算の話は、yが極限順序数のときはsup{ add(x,y[n]) }でいいんじゃないかな?
- 551 :
- ちょっと言い方間違えたかもしれない。
こういう順序数κってないだろうか。
・ω_αとかα番目のオメガ不動点とかの操作のκ回未満の反復では作れない
・κ<到達不能基数
ψ_I(0)=最初のオメガ不動点、ψ_I(I)=ψ_I(I)番目のオメガ不動点、だけど、
こういう作り方では作れないようなものは存在するだろうか。
どんな非可算順序数にしても、最後はψ_Ω()にかけて可算につぶすから、人間が作れるのは可算個にすぎないはず。
ということは、Ω_αとかψ_I(α)みたいな操作を何回やっても可算無限回やっても作れない、かつ、Iよりも小さいような順序数が存在する?
- 552 :
- >>551
極限基数がお望みだとして、強と弱の区別がつかないようとりあえずGCHを認めて
最初の条件が正則性を意味するのなら存在しない。
置換公理による列が作れないという意味なら worldly cardinal ?
実用的じゃないけど Square-free word で原始数列を3種の文字による列で表し4種でなんたらかんたらというのを考えてたけどまだ具体性はない
- 553 :
- square free wordってなんですか?無平方数の言語バージョン?どう定義されてるんだろう
- 554 :
- TaranovskyのCって、Ω_n=C(Ω_{n+1}, 0)だけど、
これだとΩ_ωを表すことができない、というか、あるΩ_nを基準に使うことにしたらそれより大きいの表せないよね
Ω_3の例は
Ω_2 = "0Ω_3C" > "00Ω_3CC" = Ω_1
あー、辞書式だと無限下降列がありうるからこうなったのか
でもどうにかできないだろうか。辞書式順序を捨てた場合とか
- 555 :
- × 辞書式だと
× Ω_ωから弱くする方式だと
- 556 :
- TaranovskyのC関数の拡張
0IC = C(I, 0) = Ω
0ICIC = C(I, Ω) = Ω_2
0ICICIC = C(I, Ω_2) = Ω_3
0ICI0CC = C(I+1, Ω) = Ω_ω
0ICI0CCIC = C(I, Ω_ω) = Ω_(ω+1)
0ICI0C0CC = C(I+2, Ω) = Ω_(ω*2)
0ICI00CCC = C(I+ω, Ω) = Ω_(ω^2)
0ICI000CCCC = C(I+ω^ω, Ω) = Ω_(ω^ω)
0ICI0ICCC = C(I+Ω, Ω) = Ω_Ω
0ICI0ICI0ICCCCC = C(I+Ω_Ω, Ω) = Ω_Ω_Ω
0ICIICC = C(I*2, Ω) = ψ_I(0)
- 557 :
- タラノフスキのCって基本列、順序数表記まで定義されてるんだっけ
そこまで分かってればFGHに適用させて新しい物差しにできるんだけどな、、
- 558 :
- Calculus of Constructions
terms: Type, Prop, (λx:A. B), (∀x:A. B), (A B), x
(λx:A. B)と(∀x:A. B)をBrujin's indexを用いてそれぞれλ(A, B)と∀(A, B)のように表記
たとえば、(λA:Prop. A)はλ(Prop, 0)、
∀A:Prop. ∀f:(∀x:A. A). ∀x:A. A は ∀(Prop, ∀(∀(0, 1), ∀(1, 2))) となる
これをコード化する。"二進数"
C[A B] = C[B] C[A] "11"
C[λ(A, B)] = C[B] C[A] "01"
C[∀(A, B)] = C[B] C[A] "10"
C[Type] = "000"
C[Prop] = "0100"
C[n] = "0" ("1" * n) "1100"
例
C[∀(Prop, ∀(∀(0, 1), ∀(1, 2)))] = "011110001110010011100011001010010010"
0 = C[Type]
1 = C[λ(Type, Type)]
2 = C[∀(Type, Type)]
3 = C[Type Type] error
4 = C[Prop]
5 = C[λ(λ(Type, Type), Type)] error
- 559 :
- ちょっと無駄を省いてみた
CTは型を、Ctは項をエンコードする
CT_a[a[n]] = (a[|a| - n - 1]) "0"
CT_a[∀(x:A, B)] = CT_(a : [x])[B] CT_a[A] "1"
CT[A] = CT_[Type, Prop][A]
Ct_a[a[n]] = (a[|a| - n - 1]) "0"
Ct_a[∀(x:A, B)] = CT_(a : [x])[B] CT_a[A] "01"
Ct_a[λ(x:A, M) N] = Ct_a[N] Ct_(a : [x])[M] CT_a[A] "11"
Ct[N] = Ct_[Type, Prop][N]
0 = "00" = Ct[Prop]
1 = "00001" = Ct[λA:Prop. A]
2 = "00010" = Ct[∀A:Prop. A]
3 = "000011" = Ct[(λx:Prop. Prop) Prop] エラー
- 560 :
- a,b,c,n := 0以上の整数
X := 0個以上の0以上の整数
a#n := n個のa
a[0]0=a^a
a[0](b+1)=a^(a[0]b)
a[0#(n+2)]0=a[a#(n+1)]a
a[0#(n+2)](b+1)=a[(a[0#(n+2)]b)#(n+1)]a
a[X,c+1,0#(n+1)]0=a[X,c,a#(n+1)]a
a[X,c+1,0#(n+1)](b+1)=a[X,c,(a[X,c+1,0#(n+1)]b)#(n+1)]a
a[X,c+1]0=a[X,c]a
a[X,c+1](b+1)=a[X,c](a[X,c+1]b)
a[]0=a[a#a]a
a[](b+1)=a[(a[]b)#(a[]b)]a
- 561 :
- CK
ω
2
ってなに?定義は?
- 562 :
- >>561
L_αが2番目のKPωのモデルになるようなα
非再帰順序数は巨大数論的に扱いが難しかったりあまり意味がなかったりすると思う
- 563 :
- おいちょっと待てL_αってなに?リュカ数???
KPって???無声軟口蓋両唇破裂音????
- 564 :
- あ、KPは分かった。
モデルとL_αってなんだこれ
- 565 :
- Kripke–Platek set theory + 無限公理 略してKPω
Lは構成可能宇宙
- 566 :
- ハーディ階層でHω+1(x)=2(x+1)になるそうですが、どうしても2x+1になってしまいます。計算式に間違いがあれば教えてください
https://i.imgur.com/MXUd4d2.jpg
- 567 :
- >>566
H_{ω+1}(x)
=H_{ω}(x+1)
=H_{ω[x+1]}(x+1)
ここでWeiner階層を使うとω[x+1]=x+1なので、
=H_{x+1}(x+1)
=2(x+1)
ってなります。
あと、手書きでxをそのように書くとギリシャ文字のχ(カイ)と間違われるかもしれないのでもう一方の方で書いた方がいいと思います(巨大数ではχ(カイ)もよく使うので)。
- 568 :
- 扱いが簡単な計算不可能数があると信じてこんな数を作りました。
オムライ数その1
数列m_nを定義する。ただしn≧0
rule1 n<10のときm_n=n
rule2 もし、m_nの時点であることを10回繰り返したならその繰り返しを
10回、100回、1000回...と繰り返した場合の数がそれぞれ
m_(n+1)、m_(n+2)、m_(n+3)...となる。
この「あること」は似たような計算式だけではなく
繰り返し や 繰り返しの繰り返し、
繰り返しの繰り返しの繰り返しの...の繰り返しなどのありとあらゆる繰り返しも含む。
これらは計算の「慣れ」で分かる。
また「あること」が 繰り返しの場合、繰り返しの最後尾
をとる。
このときOm(n)=m_1とし、Om^googol(googol)をオムライ数その1と定義する。
語彙力があれなので、言いたいことを簡単にすると、
mₙは、ありとあらゆる繰り返しを見つけて、(10回繰り返すと見つける)
その繰り返しの回数を10^nで指定して強くする。
という感じです。
「ありとあらゆる」繰り返しなので、ω_1^CKの強さだと思うのですが、ビジービーバー関数より
明らかに弱いのでちょっと心配です。
- 569 :
- Taranovsky's CをRubyで実装してみた
あってるか心配だけど・・・。
https://pastebin.com/TK5LwRNN
使い方はこんな感じ
https://i.imgur.com/uunhqYJ.png
- 570 :
- >>568
どんな計算可能巨大数関数も何らかの繰り返しで作られているわけなので、ありとあらゆる繰り返しならたしかに強そうだな
でも、一通りに定義できるか微妙なところだ。例えば{1, 2}という数列があるときルールは+1なのか×2なのかそれ以外なのかわからない。おそらくもっと長い数列でも同じ問題はあると思う
あと、ありとあらゆる繰り返しというのがどこまで許されるのかわからないのでもしかするとω_1^CKより大きいかもしれない
例えばビジービーバー関数を繰り返し適用したのも繰り返しに含めるなら、少なくともf_(ω_1^CK+1)(n)にはなりそう
- 571 :
- 「ありとあらゆる繰り返し」を「ありとあらゆる再帰的な繰り返し」に置き換えればオムライ数その1定義できますかね......
誤解されているけど、でてくる数列はm_nという決まった数列だけです。
この数列を計算すると、
m_1=1
m_2=2
...
m_10=10
m_11=10
m_12=100
...
m_20=10↑10
m_21=10↑10
m_22=10↑100
...
m_100=10↑↑11
m_101=10↑↑11
m_102=10↑↑101
...
m_200≈10↑↑10↑↑11
...
m_1000≈10↑↑↑11
...
m_10↑10≈10→10→10
です。
- 572 :
- 原始再帰関数までだったので続き行きます。
m_10↑10+1≈10→10→10
m_10↑10+2≈10→10→100
m_10↑10+3≈10→10→1000
...
m_10↑10×2≈10→10→(10→10→10)
...
m_10↑10×3≈10→10→(10→10→(10→10→10))
...
m_10↑11≈10{{1}}11
...
m_10↑11+2≈10{{1}}101
...
m_10×2≈10{{1}}({10{{1}}11+1)
...
m_10↑12≈10{{2}}11
......
m_10↑20≈10{{10}}11
.........
m_googol≈10{{{1}}}11
............
m_10↑10↑10≈{10,11,1,11}
......という感じです。
- 573 :
- コンウェイ先生ご冥福を
コロナ碌なことをしねえな
- 574 :
- コロナが原因なのは本当なの?まだ公式には死因についてのくわしい情報載ってないけどhttps://www.math.princeton.edu/news/john-h-conway-1937-2020
- 575 :
- 一応こういうのはある
https://www.i-programmer.info/news/82-heritage/13614-john-conway-dies-from-coronavirus.html
- 576 :
- つか、コンウェイってつい最近まで生きてたのか。
しらんかった。随分昔の人かと思ってた。
- 577 :
- >>447
(4)でどれぐらいになるんですか?
- 578 :
- なんで大体の順序数崩壊関数は2変数なんだ?多変数と相性悪いの?
- 579 :
- 2変数あればツリーが作れるから多変数と遜色ないとかかなぁ。
適当だけど。
- 580 :
- >>577
(3)まではまだ数えられるレベルだが
(4)からいきなりのグラハム数超え
- 581 :
- 名もなき巨大数掲示板がオワコンになりました
アバタさんのTwitterはとっくの昔に凍結されてます
オワコンですね
- 582 :
- 日本ではオワコンだけど海外はどうなんだろう
SasquatchはLittle Bigeddon以上ではないみたいな問題とかあった気がするけど、議論してるんだろうか
- 583 :
- 英語版wiki見たらいつの間にかlittle bigeddonとsasquatchの問題点が指摘されて修正しないとill-definedみたいで、議論は進んでるんだと感じたわ
これくらい巨大な巨大数だと参戦できる人も殆どいないだろうけど世界は広いな
- 584 :
- なにやらかしたら凍結になるんだ?
- 585 :
- >>584
知らん
去年の11月から活動が途絶え、2020/01/26には凍結を確認
- 586 :
- √(a^2+b^2+c^2+2*(-a*b+a*c+b*c))=√((a^(1/2)+i*b^(1/2)+i*√(c))*(a^(1/2)+i*b^(1/2)-i*√(c+d))*(a^(1/2)-i*b^(1/2)+i*√(c+d))*(a^(1/2)-i*b^(1/2)-i*√(c+d)))
?√(a^2+b^2+c^2+2*(-a*b+a*c+b*c))=√((a^(1/2)+b^(1/2)+i*√(c))*(a^(1/2)+b^(1/2)-i*√(c))*(a^(1/2)-b^(1/2)+i*√(c))*(a^(1/2)-b^(1/2)-i*√(c)))
?√(a^2+b^2+c^2+d^2+2*(-a*b+a*c+a*d+b*c+b*d+c*d))=√((a^(1/2)+b^(1/2)+i*√(c+d))*(a^(1/2)+b^(1/2)-i*√(c+d))*(a^(1/2)-b^(1/2)+i*√(c+d))*(a^(1/2)-b^(1/2)-i*√(c+d)))
- 587 :
- √(a^2+b^2+c^2+2*(-a*b+a*c+b*c))=√(√a+√b+i*√c)*(√a-√b+i*√c)*(√a+√b-i*√c)*(√a-√b-i*√c)=0
√(a^2+b^2+c^2+2*(-a*b-a*c-b*c))=√(√a+√b+i^2*√c)*(√a-√b+i^2*√c)*(√a+√b-i^2*√c)*(√a-√b-i^2*√c)=0
a^2+b^2+i^2*c^2=0
a^2+b^2-i^2*c^2=0→i*c=√(a^2+b^2)
a^2-b^2+i^2*c^2=0
a^2-b^2-i^2*c^2=0→i*c=√(a^2-c^2)
a^3+b^3+i^2*c^3=0
a^3+b^3-i^2*c^3=0→i^(2/3)*c=(a^3+b^3)^(1/3)
a^3-b^3+i^2*c^3=0
a^3-b^3-i^2*c^3=0→i^(2/3)*c=(a^3-b^3)^(1/3)
cが複素数平面上でy軸かx軸上に解をもつときのみ整数になる
3以上の時c=A*e^(iθ)(0<θ<π/2)になるため整数解をもたない
- 588 :
- x^2/z-y^2/z=1
zが素数のとき
x=(z+1)/2 ,y=(z-1)/2以外でx,yが格子点を通ることはない
√((x^2+y^2+z)*(x^2+y^2-z)*(x^2-y^2+z)*(x^2-y^2-z))=√(x^12+y^12+z^4-2*(x^2*y^2+x^2*z+y^2*z))=0
√(x^8+y^8+z^4-2*(x^2*y^2+x^2*z+y^2*z))=0
この関数がx,y,zが同時に整数となる格子点を通るときzは必ず素数になる
- 589 :
- 凄いけど余所でやってください
- 590 :
- BIG FOOT は「FOSTのplatonist universe(すなわちV_{Ord_0}など)が存在する」
「「FOST+V_{Ord_0}の存在」のplatonist universeが存在する」
・・・
「「FOST+[α]の存在」のplatonist universeが存在する」
という公理が必要だと思うけどそのへん明らかになってないのね。
フォン・ノイマン宇宙の扱いもなんかおかしかったような
というか結局platonist universeの下でFOSTを拡張した可算言語を対角化するんだから、
モデルの拡張より直接言語を拡張したほうが分かりやすいし効率がいいと思うのだわ
- 591 :
- FOSTのplatonist universeはFOSTで定義不能だし記述不能だから、何か新しい定数記号なり関数記号なり述語記号なりをもってきて、
例えば関数fが任意のFOSTの式(のゲーデル数)を決定可能! という公理を作るとかしないといけない
言語の階層を上げる方向でもよし
- 592 :
- というかその辺の巨大数(ラヨ数、ビッグフット、リトルビッゲドン、サスクワッチ)は大体ill-definedで公理を追加しても解決しない
- 593 :
- ラヨ数はplatonist universe部門ならwell definedだろう。platonist universe前提の定義に疑問をもつのは認める。
ビッグフット以降はプラトニズムに頼るにしてももっと突っ込んだ定義が見たい
- 594 :
- 任意のFOSTの式を決定可能は強すぎだな。
fはstandardな集合論とやらで恒真な式を判別する、というふわふわした表現で我慢するしかない。
- 595 :
- platonist universeの意味が良くわからないが、ラヨ数をZFの中で形式化した公理によって定義し、更にそれをZFの自然数と対応付けることは出来るの?
- 596 :
- https://googology.wikia.org/ja/wiki/ユーザーブログ:P進大好きbot/高階集合論を超えた1階述語論理
上記巨大数庭園数の話に書かれている、計算不可能関数の巨大数を作る流れ(概要の1〜5)がいまいち分かりません…
い.引数1の関数記号Uはなんの為にあるんでしょうか?
"理論"という欄や"埋め込み"という欄でUを順序数を引数に取る増大していく宇宙と説明していますが、これは一般の計算不可能巨大数を定義するのにも用いられますか?
ろ.Lで記述されるZF集合論はなんの為にあるんでしょうか?
Lで記述されるZFC集合論から始めて、その中でLを形式化し、Uに関する公理系(?)を具体的に構成し、それをZFに追加した理論Tを(ZFC)の中で定めて、その中で巨大関数を定義してZFCに移す、というのではうまく行かないのでしょうか?
は.3のUに関する具体的な公理系とはなんでしょうか?
定義による拡大の定義公理(∀xφ(U(x)))のことでしょうか?
に.4の具体的なモデル込みで埋め込む、はどういう操作なのでしょうか?
概要下部にPAとNの例がありますが、ZFCの中で言語を用いて公理系PAを定めてそのモデルωも存在するのは確かですが、埋め込むという感じではないように思います
初歩的な質問かもしれないのですが、分かる人がいれば部分的でも良いので教えてほしいです…
- 597 :
- >>595
Satの定義に2階述語論理を使ってあるから、ZFで形式化された2階述語論理を定義して、その論理でさらに対角化する形式言語Lを定義する、という流れになるだろう。
L-論理式の真理値を決定するのにL-理論が必要となる。計算不可能レベルにまでもってくるにはさらにモデルを指定するなり、もう一工夫必要。
- 598 :
- >>597
URL先のP進大好きbotさんの説明によれば、
1階集合論の言語に関数記号Uを追加した言語Lで記述されるZF集合論で、LとZFC集合論を形式化する、
と説明があるのですが、この書き方だとZFで形式化されたLもまた1階だと思ったのですが、違うのでしょうか
(高階述語論理を勉強不足なので申し訳ないですが、確かに二階述語論理でも言語の定義に大差は無さそうなので援用できそうではありますが)
レスの後半は論理学に明るければ分かるのでしょうか……?
一階述語論理であれば、L-論理式の真理値を決定するのは解釈の与え方で、L-理論(L-閉論理式の集合)は不必要な気がするのですが
- 599 :
- 3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ,
宿題が 3/10 = 30% でした!
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです!
https://twitter.com/shukudai_sujaku
(deleted an unsolicited ad)
- 600 :
- 【無一文から】1億円稼ぐまでの具体的な道筋【安全に】
https://www.youtube.com/watch?v=hS4zMlXpMss
30万円の元手を5年で1億にするのは可能なのか?
https://www.youtube.com/watch?v=0AoU2xAgIHs
【実体験】個人で1億円を稼ぐ方法は3つある【資本主義の攻略法】
https://www.youtube.com/watch?v=yhO4cu5tvao
30万円を5年で1億円にする方法
https://www.youtube.com/watch?v=IIroVQNedj4
- 601 :
- 学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
PS 連続と離散を統一した!
ttp://x0000.net/topic.aspx?id=3709-0
- 602 :
- 階層数なる概念を考えました。順序数を階層に特化した感じです。順序数の数学的な美しさと秩序を壊滅させた上で、計算の正確性を手に入れました。
__________特徴__________
・後続と極限があるのは変わりません。
・基本列が1つしかありません。
・1+ω≠ωです。
・基本列が階層数の列になることがあるのは同じです。
・急増化関数などの順序数階層に使えます。
これを使えば、例えば、ω_α^CKと対応する階層数を使えば、正確に、簡単にf[ω_α^CK](n)程度の関数が完成します。
- 603 :
- 垓の次は何ですか?
日本語Wikipediaでは「じょ」、
中国語Wikipediaでは「?」となっていますが。
- 604 :
-
sssp://o.2ch.sc/1ni8y.png
- 605 :
- ああコロナは武漢から
慰安婦は韓国と朝日から
にほひは不可視とくあのエラびと
ああ
いきのこるべし
田とヒブ感におちぶれるとも あにかえるところにあるまじや
- 606 :
- 恐らく現状、ラヨ数系列と呼ばれる巨大数が理解できている日本人って、P進大好きbotさん含め2,3人くらいって感じなんでしょうね……
質問も投げてみましたが、理解することを諦めざるを得ないような感じです
どんな本を読めばいいかとかも全く分かんないですし……
- 607 :
- とりあえずplatonist universeありきとそれ以外じゃ定義の考え方が違うから、
ラヨ数の定義と>>596は別に考えるべきだと思う
- 608 :
- >>598
形式化されたLも1階の言語だろう。
でもメタ言語側で形式化されたLのドメインを量化することはできる。
レスの後半は言い方悪かったけど、定義文が定義文であると判定するために公理が必要という程度の話です。
- 609 :
- 3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ,
宿題が 3/10 = 30% でした!
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです!
https://twitter.com/shukudai_sujaku
(deleted an unsolicited ad)
- 610 :
- >>607
そもそもplatonist universe(※)を用いたラヨ数の定義はwell-definedではないようです
https://googology.wikia.org/ja/wiki/ユーザーブログ:P進大好きbot/形式論理のお勉強(その9)
> 簡単に言うと、Platonist universeであってもモデルに出来る以下のことしか出来ず、
「メタ自然数の形式化をPlatonist universe内に相対化された自然数」として巨大数を定義する上では論理式の真理値が使えても、
「メタ自然数そのもの」として巨大数を定義するために論理式全体を動かした時の真理値を参照する方法はない、というのが僕の主張です。従ってPlatonist universeを用いたラヨ数の修正もまたwell-definedでないと考えています。
(※)platonist universeは正直聞き慣れない言葉ですが、
https://googology.wikia.org/ja/wiki/ユーザーブログ:Kyodaisuu/ラヨ数の説明について
のコメント欄の、(この人ばかりで申し訳ないですが)P進大好きbotさんの発言「Platonist universeが通常は集合論の定義可能クラスとしてのモデルVのこととして扱われる」から、いわゆる(正則性公理より){x : x=x}のことみたいですね
- 611 :
- >>608
理論 理論の中の言語
メタ理論:問わない 言語:L(一階述語言語)
対象理論:ZF 言語:形式化されたL(一階述語言語)
その下の理論:ZFC
という形だと思っていますが、
(以下「言語L」と「形式化された言語L」で理論の立ち位置を分けます)
言語Lにおいて、形式化された言語Lの自由変数は一般には量化できないと思われます
例えば対象理論の空集合は∀x∃!y(¬(x∈y))というL-論理式で表されるyのことですが、yはメタ理論においては、割り当て関数によって
あるZFのモデル(構造)のドメインの元に対応しており、これはメタ理論の一階述語論理の中で完結しておらず、言語Lにおける自由変数ではないはずです
このように対象理論の集合はメタ理論においては構造のドメインの要素であるため、対象理論の集合である形式化された言語Lの自由変数もまた、メタ理論においてはドメインの要素でしかなく、言語Lの自由変数とは限らないはずで、量化できるとも言えない、と考えてます
正直ややこしすぎて間違いがあるかもしれません……
- 612 :
- 「ラヨ数の定義」と言っちゃったけどラヨ自身はそこまで定義してなかった。
あとplatonist universe依存で考えるんだったら定義文でなく命名文というのが正しかった。
いろいろぐだぐだですまん
>>610
その記事の下のほうにあるように、(真理値を参照する方法がないことを受け入れた上で)platonist universeを「天与のもの」として考えた場合を想定していました。
あるいはあくまで形式的にwell definedであることに拘るとして、「巨大数コンテストのレギュレーション一覧」のラヨ部門を参照することにします。(あまり本質的な問題の解決になってないけど)
でも>>594で修正したようにラヨ自身はplatonist universeまで考えてなくて、standardな集合論で定義可能なものと考えていたかもしれない。
たとえば本当にZFCが無矛盾なら、ZFCから独立した連続体仮説の真理値は決定しないうえで定義を考えるとか。
結局天与のものになっちゃう。
ω矛盾したものや健全でないものはstandardなのかという疑問も湧く。
- 613 :
- >>611
そのメタ理論で形式化された言語Lのドメインを定義することができない、という前提でしょうか?
- 614 :
- >>612
形式論理のお勉強(その8)でも説明されていましたがフォン・ノイマン宇宙はZFCのクラスモデルなので、メタ理論においては何かしら真理値が定まってますが、(参照はできないけれど)寄与とする、という感じですかね
>>613
メタ理論では対象理論のオブジェクトもメタ理論のオブジェクトなので定義は出来ると思います
ところで、ちょっと読み違えてました
改めて書きますが、
>>608ではメタ言語で対象言語のドメインを量化という記述がありますが、メタ言語ではメタ言語の自由変数しか量化できないので、対象言語のドメイン(ここでのドメインは構造の領域ではなく自由変数の集合)は自由変数でなく量化できない気がするのですが……
- 615 :
- 巨大数のSSなんだけど初めて見たときは感動(?)したな
http://ss2ch.ldblog.jp/archives/16791393
- 616 :
- 巨大数庭園数のページを改めて見て考えましたが、
ZFCが自然数を定義する理論で、そこでZFCやMKなどと埋め込まれたそのモデル上の真理述語を満足関係で定義して対角化して、
命名可能性を用いた巨大数の定義(形式論理のお勉強(その8)にありました)でZFC上に自然数を定義する、という形のような気がします
そうするとやはり最初に言語LでZFを定め、ZF上でLとZFCを形式化するという手はずがよく分からないんですよね
言語LでZFCを定めれば済むような気がしますが……
関数記号Uの存在理由と関係あるんでしょうか
- 617 :
- 3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ,
宿題が 3/10 = 30% でした!
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです!
https://twitter.com/shukudai_sujaku
(deleted an unsolicited ad)
- 618 :
- 学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
PS 連続と離散を統一した!
ttp://x0000.net/topic.aspx?id=3709-0
- 619 :
- Sasquatchはwell definedかどうかはともかく、構想としてはマイクロ言語を支配するメタ言語の対角化みたいだな。
さすがにメタ言語の解釈なり理論のクラスなりを形にしてもらわないと、「すべての関数を支配する関数」みたいにならんだろうか
- 620 :
- サスクワッチはill-defined
https://googology.wikia.org/wiki/Sasquatch
The definition contains many errors.
(中略)
As a conclusion, Sasquatch is ill-defined.
- 621 :
- 巨大数庭園数はsasquatchの構想を具体的にwell definedにした感じなのかな
- 622 :
- 過去にも証明が書けなくても戦え数とか作ってるので、具体的にサスクワッチということはないと思いますが、ラヨ数系列の検証を行う中でレシピを得た気はします
巨大数庭園数の解説ページでも、リトルビゲッドンでZFC+V=HODを用いて整列順序の定義可能性を担保して定義可能性を広げたこととの同質性を述べていますし
- 623 :
- ヒドラゲームの首7個って何ターンかかるでしょうか?
- 624 :
- >>623
めちゃくちゃかかる
- 625 :
- ヒドラゲームって増え方の理屈見てるとチェーン表記に毛が生えた程度にしか見えないのに何故ああもデカくなるんだろう
- 626 :
- ヒドラゲームってある意味究極に完成されてるよな。
極限までシンプルに切り詰めたその姿はダイヤモンドのよう。
- 627 :
- 形だけ見るとカントール標準形を渡り歩ける力を持ってるとは思えない(でも順序数が木構造のようなものだと捉えるとヒドラゲームが現れるのも藪から棒ってわけでもないのかなと思ったり)
- 628 :
- >>623
3が27で4がグラハム数より大ききなるから、7はやばそうだな…
というかそもそも4で本当にグラハム数こえるのがオレの理解を超えてるんだが…
- 629 :
- >>623
(4)でf_(ω*2+4)(5)より大きく
(5)でf_(ω^(ω*2+4))(5)より大きいということだから
単純に(7)はω↑↑4〜5程度の強さと考えていいんじゃないかな?
- 630 :
- >>571
成長遅くない?m_30=10↑↑10では?
- 631 :
- 単純な計算不可能関数を作りました。
_____モンブラン数_____
fを任意の関数、xを任意の自然数、nを任意の>>602で紹介した階層数とし、(まだきちんと定義されてないが)
変換Sを次のように定義する。
Sf(n)[x]=m_xとしたとき、数列mは以下の通りになる。
1, x<3のとき
m_x=f^x(n)
2, m_0からm_nのnを1つずつ変えていき、xでちょうどあることを3回繰り返すと、
繰り返した回数をnとした関数g(n)とすると
m_(x+1)とm_(x+2)とm_(x+3)はそれぞれg(x)とg(g(n))とg(g(g(n)))になる
このとき、w(n)=n+1として急増化関数で
f_(S^2(w))(ω)+1)(Googol)
をモンブラン数とする。
__________大きさの評価__________
f_(S(w)(ω))(n)≈f_(ω_1^CK)(n)
f_(S(w)^2(ω))(n)≈f_(ω_2^CK)(n)
f_(S(w)^ω(ω))(n)≈f_(ω_ω^CK)(n)
f_(S(S(w))(ω))(n)≈f_(ω_なにか^CKとかいう表記を再帰的に使っても表せられない最小の順序数)(n)
っていう感じです。
- 632 :
- >>614
たとえばラヨ数の定義に出てくるSatを使って、φのゲーデル数は[φ]で表して、
Sat([∀xφ(x)],t)⇔任意の変数設定sについて、Sat([φ(x)],s)
を利用するのはどうでしょう。
- 633 :
- >>632
すみません、ラヨ数についてよく知らないのですが、Satは満足関係の定義であって量化とは無関係なのではないでしょうか
それ以前に、確かに、
例えばZFCの中で一階述語論理を形式化し、自由変数の集合をF={x1,x2,…}とします
この形式化した一階述語論理によって対象理論のZFC'(ZFCだけれどもメタ理論と区別してプライムをつけます)を定め、その中でまた一階述語論理を形式化したとします
ZFC'の中で形式化した一階述語論理の自由変数の集合F'={x'1,x'2,…}は、ZFCの中でも集合であるので、*たまたま* F'⊂Fであり、F'の元をZFCの一階述語論理で量化できる、ということはないとは言えませんが、これに意味があるとはちょっと考えづらいですし、
そもそも
https://googology.wikia.org/ja/wiki/ユーザーブログ:P進大好きbot/高階集合論を超えた1階述語論理
では*一般的な*計算不可能巨大数の作り方を解説しているように読めますので、ラヨ数にしぼった具体的な構成などは無関係ではないでしょうか?
- 634 :
- なんかラヨ数の話題で盛り上がってるね。
- 635 :
- >>633
Sat自体はただの充足関係を形式的に定義したものでラヨ数固有のものではありません。
また、自由変数xを持つ任意の1変数論理式φ(x)について、∀xφ(x)という文字列を、メタ側で、
「(ある理論の)任意のモデルが、φ(x)のxに任意の要素を代入した論理式(の意味)を充足する」
で定義できるため無関係ではないと思います。
趣旨がよく分からなくなってきたので整理しますが、
>>608では構造の領域という意味で「ドメイン」という言葉をつかいました。
L-論理式φ(x)に現れる自由変数xが量化されると、
その自由変数xに任意の対象を代入してもφが成り立つ(全称量化)、
または、
xに代入してφが成り立つ対象が存在する(存在量化)
のいづれかを意味するようになる、でよろしいでしょうか。
また対象言語の自由変数x'_1,x'_2,x'_3,...を意味するメタ理論の項が存在する、というのはよろしいでしょうか。
- 636 :
- >>635
満足関係の定義は集合モデルについてはスコーレム標準形を用いて使うということは話に聞いたことがありますが、ラヨ数のあれは一般的な定義だったんですね
満足関係はタルスキの定義不可能性定理から中では定義できないので確かに関係あるかと思いますが、全称量化はやはりできないのではないでしょうか
例えばZFCをメタ理論としてPAのモデルとなる構造の領域は、一般的にはωだと思ってるのですが、これがZFCで形式化した一階述語論理で全称量化できるというのは意味が通らないのではないでしょうか
正直この辺りは勉強不足かもしれないですので、参考となる教科書があれば教えてほしいです
計算不可能巨大数の解説などはありますが、読むと良い教科書とかの説明は見たことないので……
- 637 :
- 式神巨大数という、プログラミングで出力する巨大数を競う大会が開かれてるが、
「C言語で10^10^100以下で記載されるソースから出力される最大の自然数+1を出力するソース」とかって作れないんだろうか
「C言語で10^10^100以下で記載されるソースから出力される最大の自然数+1」はルールに反するが、プログラムにすればルール内だろうし
- 638 :
- 10^10^100バイトのストレージどうやって用意すんのよ
- 639 :
- よく見たら「C言語で10^10^100以下で記載されるソースから出力される最大の自然数+1を出力するソース」か
でもビジービーバーは圧縮できないぞ。
それゆえのビジービーバーだからな。
- 640 :
- >>637
チャイティンのオメガ的な奴だね。
- 641 :
- C言語で10^10^100以下で記載されるプログラムをすべて並べて順番に動かしたとしても、
あるプログラムがいつまでも停止しない場合に、いつになったらそのプログラムが永遠に
停止しないと判定出来るかを決めることができないので、最大の有限値を得ることはできない。
- 642 :
- 任意のチューリングマシンの停止性を決定できなくても、特定の範囲のチューリングマシンの停止性を決定することはできる。
それに有限個のチューリングマシンの停止性ならあらかじめそれらの停止するかしないかのリストを判定するプログラムに組み込んでおけばいい
- 643 :
- そういうプログラムを具体的に構成してみせろという話なので、できると言われてもだからどうしたとしか。
BB(10^10^100)の値を書くプログラムをprint文で書けるよ、と言ってるのと何も変わらない
- 644 :2020/05/21
- 文字数制限の話もなかったので理論上可能かどうかの話だと思ったのです
ビジービーバーの情報を圧縮できないのはその通りだと思います
■複素空間論ー宇宙人の居場所■
現代数学の系譜11 ガロア理論を読む28
Inter-universal geometry と ABC予想 30
現代数学の系譜 工学物理雑談 古典ガロア理論も読む65
算数&数学が全くできない人のスレ パート2
経済学は数学を誤用している
未だに数学で納得いかないこと挙げてけ4
高校数学の質問スレPart402
痴漢バレて叩かれた腹いせに荒らすのはやめろ
フェルマーの最終定理の簡単な証明3
--------------------
【雑談OK】Twitter、pixiv、SNS総合雑談スレ45【交流苦手・SNSヒキ】
ラグビーW杯2019 優勝国を真剣に予想するスレ
世界史上最凶最悪のテロリストは自動車ドライバー25
ガンダムエリアウォーズ277【GAW】
この世は仮想現実ヒャッハー♪
佐々木健介 VS. 川田利明 2000年10.9東京ドーム
ノクトンクラシックF1.4
元喪で別れた人
金ネ申ユダ3
専門家「次の震度7は千葉。千葉の奴はシェルター用意しとけよ」 [331464139]
シルバー事件 the silvercase【自由に語れ】part2
老犬な日々33
【TVK】あっぱれ!KANAGAWA大行進 13【撮って出し】
なんか新しい遊び作ろうぜ
ネトウヨが軍事を語ると凄い
【悲報】石橋のとりのすけがヤバイ!ドリンクが来るまで40分、焼鳥は生焼け、頼んでないメニューを出して料金を請求し客に威圧的な態度 [682641411]
第2のグレタ 登場 8歳幼女がCOP25で小泉大臣に説教 ゾゾ『時間はありませんよ』 小泉『私は逃げない』
【ワッチョイ無し】東京マルイ次世代電動ガン96
おR判定
【6793】山水電気【ふたたび】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼