>>248
「空のテープから計算を始めて有限の時間で停止する２記号ｎ状態チューリングマシンの個数」
をf(n)とする。
２記号ｎ状態チューリングマシンの停止性問題は計算不可能なので
f(n)は「計算不可能関数」である。
しかし２記号ｎ状態チューリングマシンは１６^n個しかないため
f(n)＜１６^nが成り立ち、「いかなる計算可能関数よりも強い関数」ではない。