「解けた」「解けなかった」「無限ループ」の三つの結果がありえる。
三つ目は、単純なループを除き、有限の時間内では本当に無限ループなのかそれともいつかは止まるものなのか判断できないことがある、ってとこだな。
Permalink | 記事への反応(1) | 13:30
ツイートシェア
マシンが無限ループに陥って、いつまでも終わることなく動作し続けたなら、それは「解けなかった」と見なす。 誰が見なすの? 無限の時の彼方で。
「解けた」「解けなかった」「無限ループ」の三つの結果がありえる。 三つ目は、単純なループを除き、有限の時間内では本当に無限ループなのかそれともいつかは止まるものなのか判...
所謂悪魔の証明
20
