停机问题

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