停止問題

余は今ま鉱業停止問題の是非を論ずるに非ず。

計算機科学において、停止問題は未解決の難問の一つだ。

チューリングマシンにおける停止問題は、決定不能であることが証明されている。

停止問題の概念は、アルゴリズムの限界を理解する上で重要だ。