07/10/16 22:47:30
計算可能でない関数についてもう一度考えてみました。
>>232 や >>282 は実はあまり大きくなく、ビジービーバーのハーディー関数的拡張と大差ないです。
つまり、B[a](n) を、
B[0](n) = n
B[a+1](n) = BB｢ B[a] ｣(n)
B[A](n) = B[A_n](n)
と定義したとき、B[a](n) ≒ M[a](n) となるようです。
（....BB｢｣ >>228 のもの）
ふぃっしゅ数V4は
>ふぃっしゅ関数ver.3はF[ω^ω*63]程度
これが正しいとすると、F4(n) ≒ B[ω^ω*63](n) 程度となります。
>>229 の CC は
B[帰納的でない最小の順序数](n) 程度となります。
>>233 は>>229 の拡張のつもりでしたが、動作が足りなくてあまり大きくないようです。