第(3/3)頁

    “卡住了，向山……”

    “很好。”向山點了點頭：“世界沒有消失，機器沒有消失——這是個好現象，孩子。這說明，我是真的，你也是真的。我們并非位于一個模擬器內。”

    “記好這個。這個叫做‘圖靈停機’，是斬破幻覺的劍。”

    圖靈停機問題，就是判斷任意一個程序是否能在有限的時間之內結束運行的問題。該問題等價于如下的判定問題：是否存在一個程序p，對于任意輸入的程序w，能夠判斷w會在有限時間內結束或者死循環。

    這個問題可以簡單的表述成“一個圖靈機是否可以簡單的判定另一個圖靈機應該停機”。

    而阿蘭·圖靈在計算機誕生之前，就給出了他的判斷。

    圖靈停機問題邏輯上是無法解決的。

    所以，這也就給予了人們斬破幻境的劍。

    如果能夠在一個圖靈機演算形成的幻境之中，構建一個與圖靈機數學上同構的結構，然后再用它來進行停機問題的判定，那這個圖靈機，就有將矩陣的資源耗盡，擊穿層層矩陣的能力。

    只要上級的矩陣依舊是“圖靈機”。

    一個圖靈機理解另一個圖靈機的唯一方法，就是在體內模擬那個圖靈機的工作。

    可以讓虛擬的圖靈機宕機的指令，就可以令虛擬這個圖靈機的圖靈機宕機。

    ——當然，也存在“虛擬你存在世界的不是圖靈機，而是超圖靈機”的狀況。但說真的，能夠把超圖靈機拿出來做缸中之腦的文明，就已經遠遠超過人類理解了。這種狀況下，人類認知范圍內根本就不存在破解的辦法，所以也沒有思考的必要。

    圖靈機、圖靈停機問題、希爾伯特計劃……這些都是內功的始源。

    這也正是向山寧可暫時放下重建義體，也要先完成這神秘儀式的原因。

    他現在不能確定，自己是不是“缸中之腦”——按照他對技術的理解，將一個大腦泡在培養液中，讓他誤以為周圍的幻覺是“真實”，其實并不困難。

    所以他必須得驗證。

    生物腦雖然數學結構上極為高級，但它就是如此容易受騙的東西。它在“功能性”上無法和人造物媲美。

    大自然本著“能用就行”的原則瞎捏出來的東西，哪里能敵得過智慧本著“欺騙”的目的設計出來的手段？

    只有智慧才能對抗智慧。

    在確認了周圍的“實在性”之后，這個世界仿佛都在向山眼中鮮活了起來。

    他輕輕摩挲尤基的腦袋：“蠻好，你是真的，我也是真的。”


    第(3/3)頁