自己问自己

证明它无解的诀窍是"让程序自己检查自己"。假设真有个检查器，我们就故意造一个专跟它对着干的捣蛋程序：检查器说会停，它就偏不停；说不停，它就偏停。