>>241 > 「プログラミング可能であれば、必ず一定の状態数を持つ
> チューリングマシンで表現できる」というのは早計ではないか?
その発言ははっきり早計です。
> もしそうだとすれば、ビジービーバー関数をシミュレーション
> で求めるプログラムを一定の状態数を持つチューリングマシンで
> 表現できることになり、矛盾を生じないか?」
ビジービーバー関数は決してシミュレーションでは求まりません。
つまり一定の状態数を持つチューリングマシンでは表現できません。
この件に関しては、計算論に関する基本的な教科書
"Computability and Logic" Boolos and Jeffrey (Cambridge Univ. Press)
をお読みください。