Church and Turing proved there is no such procedure; Turing's paper introduced the halting problem as a key example of a mathematical problem without an algorithmic solution.
チャーチとチューリングはそのような手順が存在しないことを証明した; チューリングの論文ではアルゴリズム的な解決が存在しない数学的問題の重要な例として停止性問題が挙げられている。