图灵停机问题（The Halting Problem）

不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入上是否会结束（停机）。