停机问题

"能不能造一个万能检查器，判断任意程序会不会停？"这就是著名的停机问题。答案很意外：这样的检查器根本造不出来。它是无解问题里最有名的一个。