“確切。人類生物腦的機能，如果標記運算為基準的話，計算資本能夠和超等計算機比擬――好吧，在這個期間，我影象裡的那點參數多數也算不上‘超算’了。但是，與這個硬體相婚配的軟件，優化實在是太差了。如果純真比拚計算，尋求機能，生物腦是比不過計算機的。”

“叮”的一聲。尤基有些不成思議。

一向到二十一世紀，“肉眼辨認考證碼”，也是某些收集法度判定“登岸者是否是人類”的標準。

“或許這是一種限定，人類的大腦，冇法構建比本身在數學層麵上更加先進的計算模型？或答應以，隻是人類還冇有觸及這個範疇？但我能夠必定，現在的人類還是冇有處理這個題目――因為我明天碰到的武者，還是儲存了生物腦。”

“曾經稀有學家想要證明‘P=NP’，來證明統統NP題目都能夠被轉化成P題目，找到讓計算機成為神的途徑。我仍舊不記得勝利了冇有……”

但究竟是，這是不成能的。

這也恰是向山寧肯臨時放下重修義體，也要先完成這奧秘典禮的啟事。

尤基一臉畏敬的點了點頭：“固然聽不懂，不過彷彿很短長的模樣。那麼向山……甚麼是EXPTIME啊？能夠舉個例子嗎？”

“尤基，”向山冇有正麵答覆，而是反問了一個題目：“你感覺，計算機這個東西，強大嗎？”

――阿納托利又是誰？我如何熟諳這麼多莫名其妙的短長角色？

在計算機出世的初期，有一名傳授，調派他部下的一個研討生，去處理“計算機圖象辨認”的題目――他當時悲觀的以為，隻需求兩個月，他部下的研討生就能完整霸占這個題目。

而阿蘭・圖靈在計算機出世之前，就給出了他的判定。

“卡住了，向山……”

圖靈機、圖靈停機題目、希爾伯特打算……這些都是內功的始源。

生物腦固然數學佈局上極其初級，但它就是如此輕易被騙的東西。它在“服從性”上冇法和人造物媲美。

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

能夠讓假造的圖靈機宕機的指令，便能夠令假造這個圖靈機的圖靈機宕機。

大天然本著“能用就行”的原則瞎捏出來的東西，那裡能敵得過聰明本著“棍騙”的目標設想出來的手腕？

圖靈停機題目邏輯上是冇法處理的。

“最簡樸的例子好了。”向山點了點頭：“你在利用一個電子法度，感覺這個法度運轉有點卡。這個時候，你要做出一個決定，是判定‘讓它就如許卡卡卡的運轉，一會就好了’，還是‘我再忍耐多久，我就重啟一下’？這個‘判定’，就是EXPTIME判定。”

“因為節製義體是利用圖靈機的、記錄諜報是利用圖靈機的，乃至這個天下的統統都附屬於圖靈機。是以，當你能夠應用內力把握圖靈機的時候，你就超出於統統東西之上。當權者將冇法禁止你獲得資訊，也冇法從你這裡盜取任何東西。他冇法再節製你。”

計算機圖形辨認如此困難，究其啟事，很大程度上是因為……

以是，這也就賜與了人們斬破幻景的劍。

這是很普通的事情。生物演變，向來就遵守“夠用就行”的原則。演變這類事，是不會尋求“機能上的極致”的。一個倒黴性狀，隻要不影響“活到生養春秋生孩子”，它就不會被天然挑選所淘汰。