【ふぃっしゅ数】巨大数の探索スレ【ばーど数】

このエントリーをはてなブックマークに追加
264132人目の素数さん
>>241
> 「プログラミング可能であれば、必ず一定の状態数を持つ
> チューリングマシンで表現できる」というのは早計ではないか?

その発言ははっきり早計です。

> もしそうだとすれば、ビジービーバー関数をシミュレーション
> で求めるプログラムを一定の状態数を持つチューリングマシンで
> 表現できることになり、矛盾を生じないか?」

ビジービーバー関数は決してシミュレーションでは求まりません。
つまり一定の状態数を持つチューリングマシンでは表現できません。

この件に関しては、計算論に関する基本的な教科書
"Computability and Logic" Boolos and Jeffrey (Cambridge Univ. Press)
をお読みください。