20/04/01 05:26:57.61 fPCnEGn5.net
>>568
どんな計算可能巨大数関数も何らかの繰り返しで作られているわけなので、ありとあらゆる繰り返しならたしかに強そうだな
でも、一通りに定義できるか微妙なところだ。例えば{1, 2}という数列があるときルールは+1なのか×2なのかそれ以外なのかわからない。おそらくもっと長い数列でも同じ問題はあると思う
あと、ありとあらゆる繰り返しというのがどこまで許されるのかわからないのでもしかするとω_1^CKより大きいかもしれない
例えばビジービーバー関数を繰り返し適用したのも繰り返しに含めるなら、少なくともf_(ω_1^CK+1)(n)にはなりそう