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.