07/09/19 22:05:01
>>436
なるほど、関数fの決定が計算可能かどうかは分からない
（問題にしない）けど、関数fは明確に定義され、計算可能
である、ということですね。了解しました。
それから、ビジービーバーを小さくするアプローチはない
ですかね。なんらかの停止判定アルゴリズムを設定して、
それによって停止しないものは停止しないとみなす、
といったような形で。そのような疑似BBは計算可能で、
計算不可能なBBよりも増大度が一気に小さくなりますが、
その小さくする幅をいかに小さくするか、という問題に
帰着させます。
結局は、停止判定アルゴリズムの計算度に依存するのかな…。