07/10/28 09:08:07
>>860
6-510～511を見た瞬間、ナゴヤ氏は一度もHardy関数を
計算できなかったと分かった。
ε_0未満の順序数はカントル標準形に直せば木とみなせるし
対角化の計算もヒドラ・ゲームと解釈できる。
だから今更姑息なリスト化やアッカーマン関数の導入なんて必要ない
そういうことはすべて元のHardy関数の中でできちゃってるから。
あと
ε_0＝ω^^ω（＝φ[1](0)）
ε_1＝ω^^^ω（＝φ[1](1))
…
という程度では、φ[1]のところでウロチョロしてるだけなので
いけたとしてもせいぜいη_0＝φ[2](0)程度だし、
実際にはそこまで到達できてない可能性が大。