巨大数探索スレッド7
■ このスレッドは過去ログ倉庫に格納されています
0891たろう
2007/10/31(水) 21:19:44ほとんどヒドラゲーム。
ヒドラゲームは >>672、
>>888 は、
Hardy Function' を、
F'[1](n) = 9^^(n+1)
F'[a+1](n) = F'[a]^n (9)
F'[A](n) = F'[A_n](9) ......(Aは極限順序数、A_nはその収束列)
9 と n の間の 【】↑ の3種類の文字からなる文字列を、
↑ ==> 1
【a1】【a2】...【an】↑ ==> ω^a1 + ω^a2 + ... + ω^an
a + "↑" ==> a+1
のルールで順序数に変換。
ε_0未満のHardyFunctionになる。
例
【↑↑】【↑】↑↑ ==> 【2】【1】↑ +1 ==> ω^2 + ω^1 + 1 ==> ω^2 + ω + 1
【【↑↑】【↑】↑↑↑】【↑】↑ ==> 【【2】【1】↑ +2】【1】↑ ==> 【ω^2 + ω^1 + 2】【1】↑ ==> ω^(ω^2 + ω + 2) + ω
■ このスレッドは過去ログ倉庫に格納されています