07/10/17 18:02:58
>>113
＞多変数関数やリスト構造などを利用した大抵の関数よりもH[ε_0]の方が大きい。
まあ、これは正しい。しかし、だからといって
＞それならば、巨大な順序数を作ってHardy functionを利用する方が
＞簡単に大きな関数が作れます。
こういう安直な方針はつまらない。
やっぱり若いうちは汗をかこう。他人のふんどしで相撲を取るな。
リストでダメならツリーがある。これでε_0は越えられるはず。
で、その場合の新たな限界点はおそらくΓ_0のはず。
昔読んだ、マーチン・レーフの構成的型理論の無矛盾性は
Γ_0までの超限帰納法で証明するとかなんとか聞いた希ガス。