停机问题

不存在一个程序，能对任意程序和输入判断它会不会停下来。这是已被证明的不可能。