07/09/11 06:44:31
>>353
すいません、書き方がまずかったです。
Hardy Functionはもちろん計算可能ですのでもちろんF[ε_0](x)はBB以下になります。
単にPAではProvably recursiveでない最小のものということですね。
過去スレに（一般的な？）多重帰納関数の例がでてきたときに順序数なしでは
これが最強だと思っていたのでF[ε_0](x)レベルのものは無理なんじゃないかと
勝手に思っていたので、ふぃっしゅ関数ver5がこれに至っているということに懐疑的に
なっていました。
しかし、ふぃっしゅ関数ver5がF[ω^ω](x)（＝H[ω^ω^ω](x)）に至っているというだけ
でも個人的にはすごいことだと思います。
>>362
＞ε_0以上の世界は、関数が１つに定まるかどうか不明
URLﾘﾝｸ(www.geocities.co.jp)
ここの>>655に定義の例が書かれています。