停機問題

大名鼎鼎的停機問題

---

通俗的說，停機問題就是判斷任意一個程序是否會在有限的時間之內結束運行的問題。

簡單證明

---

假設程序p1(prog)能判斷任意程序prog是否能在有限時間內停機

再假設另有程序p2如下:

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

如果我們說p1能判斷p2是否停機,那麼p1(p2)爲true,則while(1),進入死循環,矛盾;
得證