停止性問題 - Wikipediaチューリング機械（≒プログラム、アルゴリズム）Aに入力xを入れたら有限時間で停止するか、という問題。 かのチューリングが対角線論法を用いて、停止性問題を解くチューリング機械が存在しないことを証明した。「プログラムAとデータ…