第七十章 1+1（第2/2頁）

然後，在這個計劃當中，哥德爾意外的證明了不完備性。

圖靈沿著哥德爾的思路完成的判定性的證明，並根據這次在數學邏輯上的突破，完善了計算機理論。

王崎突然跳了起來，從儲物袋當中取出蘇君宇送的“上網本”，進入仙盟論文庫開始查詢。

“關鍵詞，證明論……果然有！然後是，天生數【自然數】，算術體系……”

隨著關鍵詞的追加，論文庫裏顯示出來的論文學來越少，最後，王崎終於發現了自己想要的內容。

《論希氏所謂之證明》，作者，馮落衣。

時間是五年前。

靈氣存在使神州“科技黑箱”很大，科技樹和地球並不一樣。與計算機對應的算器普及很多年、人工智能都提上日程了，可是作為計算機前置理論的數學邏輯反而不如地球。

王崎毫不猶豫的將今天從悲風哪裏領到的功值劃出，兌換了這篇論文，跳過過程，只看結論。

“在這個子系統當中，嚴格的有限性證明是可行的……這就是馮諾依曼《關於希爾伯特證明論》的翻版。”王崎閉上眼睛，開始思考。

這個宇宙，沒有哥德爾的存在，所以數學邏輯走上了一條與地球不同的道路……

王崎振奮道：“這還真是一條好道路。”