摘要： 假设存在程序halt 能判断任意程序a是否无限运行。显然容易写出程序b，以一个程序c为参数，若c被halt判断不能无限运行，则死循环b。构造程序b(b)。若里面的b能无限运行，则程序b(b)外面的b从来没运行过，b(b)不能无限运行，即b不能无限运行。矛盾。若里面的b不能无限运行，则外面的b在里面的 阅读全文