07/10/23 21:40:04
>>717
H[Γ_0] や H[ψ(Γ_(Ω+1))], H[ψ(Ψ)] の具体的な展開は
>>205 氏の Ruby のプログラムを使えばわかります。
>>719
順序数の和や積は可換でないので注意。
ω･2 = C0(1, ω) = C0(C0(0), C0(C0(0),0)) = "((0) ((0) 0))"
Seq(ω, 0) = Seq( C0(C0(0),0) ,0 ) = Seq( "((0) 0)" ,0 ) = "(0)" = 1
Seq(ω, i+1) = Seq( C0(C0(0),0) ,i+1 ) = Seq( "((0) 0)" ,i+1 ) = "(0" + Seq( "((0) 0)" ,i ) + ")" = Seq( ω ,i ) + 1
つまり、Seq(ω, i) = i+1
....【 （s = "(" + Ｘ + B + □ + a + ")" の形の時の式に対し、Ｘ = "", B = "(0)", a = "0" を代入 】
>>721
H[C0(1,0,0,0,0,0,0,0,0)](9) を実装しただけです。
ここまで小さくするのは非常に大変でしたが。
微妙に収束列やHardyFunctionの定義を変えてあります。
ordinal 構造体は９個のordinal 構造体へのポインタを持つので、
９進木ということになります。
ヌルポで順序数の0をあらわします。
HardyFunction は、再帰ではなくループで表現しています。