停止問題は与えられたチューリングマシンを走らせたとき、
停止するかどうかを判定するチューリングマシンはない、ということです。
証明は自己言及、対角線論法がポイントになるようです。