07/09/21 05:07:27
>>431
具体的な値で比較できたら面白いと思いますがそれは無理かな。
たとえば、ＢＢ（６）までなら指数関数くらいで押さえられそう
ですが、ＢＢ（８）とかだとアッカーマン関数でないと追いつかない
とか。実質、H_Ω(x)=BB(x)だとするなら、BB(20)とかBB(30)は
いったいどれくらいの大きさの可算順序数を用いたH_αが必要なのかと
・・・どうアプローチしたらいいのかわかりませんが。
ヒドラ対ヘラクレスのような単純なアルゴリズムでH_[ε_0](x)
になってしまうらしいですからやはりＢＢは人智を超えているのでしょう
ね。といろいろ想像などしています。