07/10/22 21:49:07
>>697
順々に見ていこうかな
＞A 具体的なアルゴリズムがわかるもの
＞ Hardy Function + 多変数C1
これはどうかな？
H[ord] ord < ε_0に関しては、ふぃっしゅ関数ver5と同等。
H[ord] ε_0 =< ord < Γ_0に関しては、やればできそう。
H[ord] Γ_0 =< ord < ω1_CKに関しては、どうやればいいかようわからん。
H[ord] ω1_CK =< ord に関しては、正直無理な気がする。
順序数の定義ができればいいというわけではなく、
計算にあたってより小さな順序数に還元する
手順が示されなくてはならないと思うんだが。