第(3/3)頁

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

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

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

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

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

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

    時間是五年前。

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

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

    “在這個子系統當中，嚴格的有限性證明是可行的……這就是馮諾依曼《關于希爾伯特證明論》的翻版?！蓖跗殚]上眼睛，開始思考。

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

    王崎振奮道：“這還真是一條好道路?！?br>

    第(3/3)頁