停机问题

大名鼎鼎的停机问题

---

通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。

简单证明

---

假设程序p1(prog)能判断任意程序prog是否能在有限时间内停机

再假设另有程序p2如下:

    if(p1(p2)){
        while(1);
    }else{
        return;
    }

如果我们说p1能判断p2是否停机,那么p1(p2)为true,则while(1),进入死循环,矛盾;
得证