noun
halting problem
In computability theory, the problem of determining whether a given program will eventually halt or run forever. A fundamental undecidable problem.
停止問題はチューリング機械の停止性を判定する問題である。
The halting problem is the problem of determining whether a Turing machine will halt.
停止問題が決定不能であることはアラン・チューリングによって証明された。
The undecidability of the halting problem was proved by Alan Turing.