巨大数探索スレッド12 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
>>757
> ラドーさんがず〜っと昔にビジービーバー関数の存在を証明してます
ビジービーバー関数が数学の関数の意味でwell-definedな定義を持つのは古典論理では明らかだけど
構成的数学（排中律あるいは二重否定の除去を認めない直観主義論理に基づき公理としては無制限の通常の選択公理は認めない）の
立場からすると、ビジービーバー関数の存在って証明できるのかな？ 排中律を認めなかったら定理が存在しなくなるんじゃなかった?
FOSTで超準モデルの存在を否定できない線も考えてみたけど、2階算術で
自然数論の超準モデルを否定できるからラヨ関数の強さが揺らぐ問題でもなかった。 昔フラクタル言ってたのがいたけど、多重再帰関数とかある意味フラクタルだよな 書き下すと形がフラクタルになる演算方法があれば、有限スケールでどこまでも大きな数を作れそうだな ラムダ計算でもヒドラでもフラクタルでも、○○を使って巨大数を表記するor定義する
というのは表現の問題であって、新しい表現を使えば新しい強さを得られるかは別問題、
逆にすでに定義されている巨大数やシステムをラムダ計算なりヒドラなりフラクタルなりで
表現してもよし ビジービーバー関数は1〜4まではわかってるけど
ヲヨ関数の特殊値って求められているのかな 大きい数よりシンプルでスマートなシステムの方が興味ある 順序数ってどこまででも大きいのはあるけど、
全部の順序数を表現できるような構文があると仮定すると
ゲーデルの不完全性定理に抵触するとかそんな感じなんですか？ 可算種有限文字数で記述できる順序数の数は可算種類
ざっくり言って、計算可能な関数しか定義できない言語のモデルでは、ω^CKと第一非可算順序数の
区別がつかない。
1階述語論理のモデルではすべての順序数が(外から見て)Ωの中に収まることも考えられる。 順序数の大きさを競うスレじゃないから
巨体な実数を作るのに利用出来る順序数しか意味がない a,c,n := 0以上の整数
X := 0個以上の0以上の整数
Y := 1個以上の0以上の整数
a#b := a個のb
N := 十分に大きな自然数
g(x) := 1変数の増加関数
f(…) は、g(N)に対してω^ωの強化
f(…)(…) は、g(N)に対してω^(ω×2)の強化
f(0)=N
f(a+1)=g(f(a))
f(0#(n+1),0)=f(N#(n+1))
f(0#(n+1),a+1)=f(f(0,a)#(n+1))
f(X,b+1,0#(n+1))=f(X,b,N#(n+1))
f(X,b+1,0#n,a+1)=f(X,b,f(X,b+1,0#n,a)#(n+1))
f(0)(0)=f(N#N)
f(0)(a+1)=f(f(0)(a)#f(0)(a))
f(0#(n+1),0)(0)=f(N#(n+1))(N#N)
f(0#(n+1),0)(a+1)=f(f(0#(n+1),0)(a)#(n+1))(f(0#(n+1),0)(a)#f(0#(n+1),0)(a))
f(X,b+1,0#n)(0)=f(X,b,N#n)(N#N)
f(X,b+1,0#n)(a+1)=f(X,b,f(X,b+1,0#n)(a)#n)(f(X,b+1,0#n)(a)#f(X,b+1,0#n)(a))
f(Y)(0#(n+1),0)=f(Y)(N#(n+1))
f(Y)(0#(n+1),a+1)=f(Y)(f(Y)(0,a)#(n+1))
f(Y)(X,b+1,0#(n+1))=f(Y)(X,b,N#(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)) 繰り返しの単位を強化するより繰り返しの単位を変化させる方法を強化したほうが
強くなるというのはなんとなくわかる>バシク行列系
でもそろそろ、ある単位を変化させながら繰り返す操作よりも上に来る概念が欲しい バシク行列ある意味チューリング完全よりは弱いプログラミング言語ということになる。
チューリング完全よりは弱いがバシク行列系よりは強い言語を所望する。 >>788
「繰り返しの単位を変化させる方法を強化させる方法」を強化する >>790
そういう単純な話でなくて・・・というかそうやって重ねるのはもはや意味がないレベルかと そうやって重ねるのがもはや意味がない関数
っていうのを数学的に表現すればいい 意味がないというよりは、システムを強くするにはいろんなやり方があるけれど、
そういうのは＋１程度の意味しかないということだな。
たしかにシステムを強くしようとすると必然的にそうなるけど、そういうのは基本中の基本
であってもはや本質ではないって感じ 今までは原始再帰とか、ペアノ算術とか、型理論とか、ZFC＋巨大基数公理とか、それぞれの
意味から具体的に巨大数を出力する何かしらの形を作ることができたけど、バシク行列は
もはや意味論的に人類未踏の領域に入ってるかもしれない。
・・・というのはまだ先走り過ぎかもしれない >>789
なんでチューリング完全より弱い方が良い？
巨大な実数を検索するスレだぞ いわゆる計算可能性で言えば
>>764も計算可能
ただ単に計算可能でない関数が表現に出てくるだけ 無勝負に持ち込まれなければやり方次第で二局やって誰でも一勝はできるよ。 >>804
そんなゴミみたいな数
1スレッド目じゃないんだから “[“ と “]” だけでどこまで大きな数が表現できるか
[]=1
[][]=2
[][][]=3
[[]]=ω
[[]][]=ω+1
[[]][][]=ω+2
[][[]]=ω×2
[][[]][]=ω×2+1
[][[]][][]=ω×2+2
[][][[]]=ω×3
[][][[]][]=ω×3+1
[][][[]][][]=ω×3+2
[[]][[]]=ω^2
[[]][[]][]=ω^2+1
[[]][[]][][]=ω^2+2
[[]][][[]]=ω^2+ω
[[]][][[]][]=ω^2+ω+1
[[]][][[]][][]=ω^2+ω+2
[[]][][][[]]=ω^2+ω×2
[[]][][][[]][]=ω^2+ω×2+1
[[]][][][[]][][]=ω^2+ω×2+2
[][[]][[]]=ω^2×2
[][[]][[]][]=ω^2×2+1
[][[]][[]][][]=ω^2×2+2
[][[]][][[]]=ω^2×2+ω
[][[]][][[]][]=ω^2×2+ω+1
[][[]][][[]][][]=ω^2×2+ω+2
[][[]][][][[]]=ω^2×2+ω×2
[][[]][][][[]][]=ω^2×2+ω×2+1
[][[]][][][[]][][]=ω^2×2+ω×2+2
[][][[]][[]]=ω^2×3
[][][[]][[]][]=ω^2×3+1
[][][[]][[]][][]=ω^2×3+2
[][][[]][][[]]=ω^2×3+ω
[][][[]][][[]][]=ω^2×3+ω+1
[][][[]][][[]][][]=ω^2×3+ω+2
[][][[]][][][[]]=ω^2×3+ω×2
[][][[]][][][[]][]=ω^2×3+ω×2+1
[][][[]][][][[]][][]=ω^2×3+ω×2+2
[[]][[]][[]]=ω^3
[[]][[]][[]][[]]=ω^4
[[][]]=ω^ω [[][]][]=ω^ω+1
[[][]][][]=ω^ω+2
[[][]][[]]=ω^ω+ω
[[][]][[]][[]]=ω^ω+ω^2
[[][]][[]][[]][[]]=ω^ω+ω^3
[][[][]]=ω^ω×2
[][][[][]]=ω^ω×3
[[]][[][]]=ω^(ω+1)
[[]][[]][[][]]=ω^(ω+2)
[[][]][[][]]=ω^(ω×2)
[[][]][[][]][[][]]=ω^(ω×3)
[[][][]]=ω^ω^2
[[][][]][[][][]]=ω^(ω^2×2)
[[][][][]]=ω^ω^3
[[][][][][]]=ω^ω^4
[[[]]]=ω^ω^ω
[[[]]][[[]]]=ω^(ω^ω×2)
[[[]][]]=ω^ω^(ω+1)
[[[]][]][[[]][]]=ω^(ω^(ω+1)×2)
[[[]][][]]=ω^ω^(ω+2)
[[][[]]]=ω^ω^(ω×2)
[[][][[]]]=ω^ω^(ω×3)
[[[]][[]]]=ω^ω^ω^2
[[[]][[]][[]]]=ω^ω^ω^3
[[[][]]]=ω^ω^ω^ω
[[[][]]][[[][]]]=ω^(ω^ω^ω×2)
[[[][]][]]=ω^ω^(ω^ω+1)
[[[][]][]][[[][]][]]=ω^(ω^(ω^ω+1)×2)
[[[][]][][]]=ω^ω^(ω^ω+2)
[[[][]][[]]]=ω^ω^(ω^ω+ω)
[[[][]][[]]][[[][]][[]]]=ω^(ω^(ω^ω+ω)×2)
[[[][]][[]][]]=ω^ω^(ω^ω+ω+1)
[[[][]][[]][]][[[][]][[]][]]=ω^(ω^(ω^ω+ω+1)×2)
[[[][]][[]][][]]=ω^ω^(ω^ω+ω+2)
[[[][]][][[]]]=ω^ω^(ω^ω+ω×2)
[[[][]][][[]]][[[][]][][[]]]=ω^(ω^(ω^ω+ω×2)×2)
[[[][]][][[]][]]=ω^ω^(ω^ω+ω×2+1)
[[[][]][][][[]]]=ω^ω^(ω^ω+ω×3)
[[[][]][[]][[]]]=ω^ω^(ω^ω+ω^2)
[[][[][]]]=ω^ω^(ω^ω×2)
[[[]][[][]]]=ω^ω^ω^(ω+1)
[[[]][[]][[][]]]=ω^ω^ω^(ω×2)
[[[][]][[][]]]=ω^ω^ω^ω^2
[[[][]][[][]][[][]]]=ω^ω^ω^ω^3
[[[][][]]]=ω^ω^ω^ω^ω [[[][][]]][[[][][]]]=ω^(ω^ω^ω^ω×2)
[[[][][]][]]=ω^ω^(ω^ω^ω+1)
[[[][][]][][]]=ω^ω^(ω^ω^ω+2)
[[[][][]][[]]]=ω^ω^(ω^ω^ω+ω)
[[[][][]][][[]]]=ω^ω^(ω^ω^ω+ω×2)
[[[][][]][[]][[]]]=ω^ω^(ω^ω^ω+ω^2)
[[[][][]][[]][[]][[]]]=ω^ω^(ω^ω^ω+ω^3)
[[[][][]][[][]]]=ω^ω^(ω^ω^ω+ω^ω)
[[[][][]][[][]]][[[][][]][[][]]]=ω^(ω^(ω^ω^ω+ω^ω)×2)
[[[][][]][[][]][]]=ω^ω^(ω^ω^ω+ω^ω+1)
[[[][][]][[][]][[]]]=ω^ω^(ω^ω^ω+ω^ω+ω)
[[[][][]][[][]][[]][]]=ω^ω^(ω^ω^ω+ω^ω+ω+1)
[[[][][]][[][]][][[]]]=ω^ω^(ω^ω^ω+ω^ω+ω×2)
[[[][][]][[][]][[]][[]]]=ω^ω^(ω^ω^ω+ω^ω+ω^2)
[[[][][]][][[][]]]=ω^ω^(ω^ω^ω+ω^ω×2)
[[[][][]][[]][[][]]]=ω^ω^(ω^ω^ω+ω^(ω+1))
[[[][][]][[]][[]][[][]]]=ω^ω^(ω^ω^ω+ω^(ω+2))
[[[][][]][[][]][[][]]]=ω^ω^(ω^ω^ω+ω^(ω×2))
[[[][][]][[][]][[][]][[][]]]=ω^ω^(ω^ω^ω+ω^(ω×3))
[[][[][][]]]=ω^ω^(ω^ω^ω+ω^ω^2)
[[][][[][][]]]=ω^ω^(ω^ω^ω+ω^ω^3)
[[[]][[][][]]]=ω^ω^(ω^ω^ω×2)
[[[]][[]][[][][]]]=ω^ω^(ω^ω^ω×3)
[[[][][]][[][][]]]=ω^ω^ω^ω^ω^2
[[[][][][]]]=ω^ω^ω^ω^ω^ω
[[[][][][][]]]=ω^ω^ω^ω^ω^ω^ω
[[[[]]]]=ε_0 [[[[]]]]（4重ネスト）がε_0なので、まだまだ余裕で大きくなると思うけど疲れたのでここまで 結論を言えばどこまでも大きな可算順序数を表現できる 通常のヒドラより強いてことだよね
どこで強くなってるんだろう >>811
可算順序数に限らず、定義可能な順序数全てを表現出来る
その定義した順序数を [ などと表記することにすればいい
じゃあ指定した順序数未満を全て表現可能な[ ]2文字からなる表記法があるか？
その具体例を示せ
という問題だと急に難しくなる ω^3+ωは
[[]][[]][][[]]で、
ω^3+ω^2+ωは
[[]][][[]][][[]]
って感じで合ってる？
すごいなこれ >>807
ここは大きな実数を探索するスレッドですよ ε_0みたいな極小順序数、いまさらどうでもよくね？ >>807-809を素直に解釈すれば[[[[...[]...]]]]は何になるの？ ええと、有限数可算種文字での話をしているとして、
どこまでも大きな可算順序数までを表現する方法は存在するけど、第一非可算順序数までの
すべての可算順序数を表現することはできない、ということね。 >>764は計算可能部門では実質超えられない数だろう。
それにでかさがすべてというもんでもない。 Σ^1000 (1000)を計算可能な言語で表そうとしたらΣ^999(1000)文字位ひつようかな？ >>821
いや、でかさが全てだ
ここはそういうスレ Λ(0)=Σ^[1000](1000)
Λ(n+1)=Σ^[Λ(n)](Λ(n))
Λ(1000) >>820
ω_2^CK までを表現する具体例をよろしく！ でかさが全てと言ってしまうと探索の幅はえらく狭められてしまうさ そうか？
そんなに完成されてないぞ
まだまだ先がある そりゃどこまで行ったってそう言えるよ。
「でかい」という結果ばかりにこだわればその内に秘める本質や流れを探究できるというものではない。
>>838
無限時間チューリングマシンなりSKIΩコンビネータなりFOSTなり、好きなのをどうぞ >>841
無限時間チューリングマシンだと
0, ω, Γ_0, ω_1^CK, ω_1^CK + Γ_0 + ω
はそれぞれどういう表記になりますか？ 最近Γ_0に興味が湧いてきた。
Γ_0相当の巨大関数ってどんなのがある？ >>841
本質を知らないとデカい数は作れない
>>824が良い例 >>708 もひどいが、これは明らかに釣りだろう
コンプレックス ■ このスレッドは過去ログ倉庫に格納されています
