07/09/12 21:33:18
>>374
> 無限大に増加する関数以外は全て計算出来る関数
無限大に増加する関数y=xは計算できます。
「ある値を代入したときに無限大になる」という
意味でしょうか？だとしたら、BB関数の値は有限
ですが有限時間内に計算できません。
> ＢＢ関数は存在しない関数
BB関数は存在します。しかし、その値を有限時間内に
計算ができません。
> 大きい事が証明出来ない関数
「あらゆる計算可能な関数よりも大きい」という
「大きい事」に関しては、証明ができます。
「どのくらい大きいか」を具体的に計算は出来ません。
さて、
自分の中で、曖昧だった多重帰納の概念がようやくはっきり
したので、これまでのまとめの文章を作ろうと考えていますが、
しっかり作るとかなりの大作になりそう…。
その次の段階ですが、ハーディーを使って、バージョン5よりも
大きな関数がどんどん構成されるようになってきたので、
いよいよバージョン6を考えてみようかという気にもなって
きました。ふぃっしゅ数の特徴である高階集合の定義で、
ハーディーでいうところのどのあたりまで到達できるだ
ろうか、というのが目標です。