s4: 計算機組成原理/理論/實踐

圖靈停機問題(The Halting Problem)——巧妙的證明

     轉自:  https://blog.csdn.net/niushuai666/article/details/7260957      不存在這樣一個程式(演算法),它能夠計算任何程式(演算法)在給定輸入上是否會結束(停機)。 那麼,如何來證明這個停機問題呢?反證!假設我們某一天真做出了這 […]