停机问题 Halting Problem

定义：不存在算法能判定任意程序在任意输入上是否终止（对角线法证明）。

出处：图灵机、可计算性与停机问题。