4
停止する問題は、理想的なコンピューター上の純粋なプログラムで決定可能ですか？
停止する問題が不純なプログラム（つまり、I / Oやマシンのグローバル状態に依存する状態を持つプログラム）で決定できない理由を理解するのは非常に簡単です。しかし、直感的には、理想的なコンピューターでの純粋なプログラムの停止は、静的分析などによって決定できるように思われます。 これは事実ですか？そうでない場合、この主張を反証する反例や論文は何ですか？