巨大数探索スレッド9

>>818
帰納的じゃなくても収束列があれば定義は同じ。
たとえば、>>349 ではマシンを用いて帰納的じゃない順序数の収束列を
帰納的じゃない方法で定義している。

>>349 の f はハーディーじゃなくて計算不可能次数の大きなオラクルマシンによるビジービーバー。
計算不可能次数の大きなオラクルを作るために順序数が出てくる。

※アク禁中で反応が遅くなってごめんなさい。