向山盯著裸露的機械,觀察他的運轉。
“叮”的一聲。尤基有些不可思議。
“卡住了,向山……”
“很好。”向山點了點頭:“世界沒有消失,機器沒有消失這是個好現象,孩子。這說明,我是真的,你也是真的。我們并非位于一個模擬器內。”
“記好這個。這個叫做‘圖靈停機’,是斬破幻覺的劍。”
圖靈停機問題,就是判斷任意一個程序是否能在有限的時間之內結束運行的問題。該問題等價于如下的判定問題:是否存在一個程序P,對于任意輸入的程序w,能夠判斷w會在有限時間內結束或者死循環。
這個問題可以簡單的表述成“一個圖靈機是否可以簡單的判定另一個圖靈機應該停機”。
而阿蘭·圖靈在計算機誕生之前,就給出了他的判斷。
圖靈停機問題邏輯上是無法解決的。
所以,這也就給予了人們斬破幻境的劍。
如果能夠在一個圖靈機演算形成的幻境之中,構建一個與圖靈機數學上同構的結構,然后再用它來進行停機問題的判定,那這個圖靈機,就有將矩陣的資源耗盡,擊穿層層矩陣的能力。
只要上級的矩陣依舊是“圖靈機”。
一個圖靈機理解另一個圖靈機的唯一方法,就是在體內模擬那個圖靈機的工作。
可以讓虛擬的圖靈機宕機的指令,就可以令虛擬這個圖靈機的圖靈機宕機。
當然,也存在“虛擬你存在世界的不是圖靈機,而是超圖靈機”的狀況。但說真的,能夠把超圖靈機拿出來做缸中之腦的文明,就已經遠遠超過人類理解了。這種狀況下,人類認知范圍內根本就不存在破解的辦法,所以也沒有思考的必要。
圖靈機、圖靈停機問題、希爾伯特計劃……這些都是內功的始源。
這也正是向山寧可暫時放下重建義體,也要先完成這神秘儀式的原因。
他現在不能確定,自己是不是“缸中之腦”按照他對技術的理解,將一個大腦泡在培養液中,讓他誤以為周圍的幻覺是“真實”,其實并不困難。
所以他必須得驗證。
生物腦雖然數學結構上極為高級,但它就是如此容易受騙的東西。它在“功能性”上無法和人造物媲美。
大自然本著“能用就行”的原則瞎捏出來的東西,哪里能敵得過智慧本著“欺騙”的目的設計出來的手段?
只有智慧才能對抗智慧。
在確認了周圍的“實在性”之后,這個世界仿佛都在向山眼中鮮活了起來。
他輕輕摩挲尤基的腦袋:“蠻好,你是真的,我也是真的。”