不可能写出一个程序,用它来判断作为其输入而读入的某个程序在执行时是否停机。 一个程序是否会停机被称为是程序的“不可判定”特性。 因为不可能写出一个程序,让它百分百告诉你任何一个特定的程序是否含有这种特性。