圖靈停機問題,就是判斷任意一個程序是否能在有限的時間之內結束運行的問題。該問題等價于如下的判定問題:是否存在一個程序p,對于任意輸入的程序w,能夠判斷w會在有限時間內結束或者死循環。
這個問題可以簡單的表述成“一個圖靈機是否可以簡單的判定另一個圖靈機應該停機”。
而阿蘭·圖靈在計算機誕生之前,就給出了他的判斷。
圖靈停機問題邏輯上是無法解決的。
所以,這也就給予了人們斬破幻境的劍。
如果能夠在一個圖靈機演算形成的幻境之中,構建一個與圖靈機數學上同構的結構,然后再用它來進行停機問題的判定,那這個圖靈機,就有將矩陣的資源耗盡,擊穿層層矩陣的能力。
只要上級的矩陣依舊是“圖靈機”。
一個圖靈機理解另一個圖靈機的唯一方法,就是在體內模擬那個圖靈機的工作。
可以讓虛擬的圖靈機宕機的指令,就可以令虛擬這個圖靈機的圖靈機宕機。
——當然,也存在“虛擬你存在世界的不是圖靈機,而是超圖靈機”的狀況。但說真的,能夠把超圖靈機拿出來做缸中之腦的文明,就已經遠遠超過人類理解了。這種狀況下,人類認知范圍內根本就不存在破解的辦法,所以也沒有思考的必要。
內容未完,下一頁繼續閱讀