鹦鹉小說

第六百七十七章 停機問題邏輯學（第1頁）

圖靈一開始假設，有可能制造出一台圖靈機，它可以計算出一個程序在給定某種輸入後是否會停止或永遠運行。然後他證明，這台機器會導緻一個矛盾，所以不可能存在。圖靈提到的這個想法，後來被稱為停機問題。今天的軟件開發人員将其稱為無限循環，這是他們在編寫循環或遞歸函數時遇到的一個問題。戴維斯在想什麼是可以計算的，隻要把不可以計算的全部排除，剩下的就是全部可以計算的了。停機問題就是判斷任意一個程序是否能在有限的時間之内結束運行的問題。該問題等價于如下的判定問題：是否存在一個程序p，對于任意輸入的程序w，能夠判斷w會在有限時間内結束或者死循環。最後戴維斯說：“存在一種圖靈機，其停機問題是遞歸無解的。”停機問題就是判斷任意一個程序是否會在有限的時間之内結束運行的問題。如果這個問題可以在有限的時間之内解決，則有一個程序判斷其本身是否會停機并做出相反的行為，這時候顯然不管停機問題的結果是什麼都不會符合要求。所以這是一個不可解的問題。停機問題本質是一高階邏輯的不自恰性和不完備性。類似的命題有理發師悖論、全能悖論等。：（）數學心

請勿開啟浏覽器閱讀模式，否則将導緻章節内容缺失及無法閱讀下一章。

相鄰推薦:絕代之九妹玲珑  [重生未來]外交風雲+番外  怎麼才能包 養你！  穿越之偷天換日  娘親偷聽我心聲後，轉頭嫁初戀  我喜歡的作者不可能這麼無聊+番外  馭獸天尊  沒有你的日子裡我又寫了一百萬+番外  穿越送驚喜，奶娃有神力  情陷檢察官  未來種植家+番外  圈寵罪妃  乞丐王妃太難養  葉淩天  末日來襲，零元購萬億物資躺赢  警告你别再當編劇！  拒絕表白校花：轉身成為大亨  惡國舅  重生之庸臣+番外  幫主夫人的野望