[過去ログ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
329: 2017/04/19(水)15:42 ID:IdE9uBAK(1/3) AAS
ω:最初の極限順序数
a,b,n:0以上の整数または順序数
X:0個以上の0以上の整数または順序数
a#b:b個のa
a#b+1=a#(b+1)
A()=ω
A(0#n+1)=ω^A(0#n)
A(a+1)=A(0#A(a))
A(0#n+1,a+1)=A(A(0#n+1,a)#n+1)
A(X,b+1,0#n+1)=A(X,b,ω#n+1)
省2
330(1): 2017/04/19(水)15:45 ID:IdE9uBAK(2/3) AAS
以下計算例
A()=ω
A(0)=ω^ω
A(1)=A(0#A(0))=A(0#ω^ω)
A(2)=A(0#A(1))=A(0#A(0#ω^ω))
A(0,0)=ω^ω^ω
A(0,1)=A(A(0,0))=A(ω^ω^ω)
A(0,2)=A(A(0,1))=A(A(ω^ω^ω))
A(1,0)=A(0,ω)
A(1,1)=A(0,A(1,0))=A(0,A(0,ω))
省20
332: 2017/04/19(水)18:47 ID:IdE9uBAK(3/3) AAS
A(0#ω)=ε_0
A(0#ω+1)=ω^ε_0
A(0#ω+2)=ω^ω^ε_0
A(0#ω+ω)=A(0#ω×2)=ε_0^ε_0
A(0#ω×2+1)=ω^ε_0^ε_0
A(0#ω×2+2)=ω^ω^ε_0^ε_0
A(0#ω×2+ω)=A(0#ω×3)=ε_0^ε_0^ε_0
A(0#ω×4)=ε_0^ε_0^ε_0^ε_0
A(0#ω×ω)=A(0#ω^2)=ε_1
A(0#ω^2+1)=ω^ε_1
省11
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s