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