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

知識不經常用的話，會漸漸遺忘。皮亞諾公理雖然是有關於一加一為什麼等於二的，但是不知道這個也不影響計算一加一等於二。

我咋就記得這麼熟了，稍微提到就想了起來。

突然，王崎腦海當中靈光一閃。

「這個……似乎是和那個大事件有關啊。」

希爾伯特計劃，二十世紀最大最出名的數學研究。

20世紀初，悖論尤其是羅素悖論的出現，引起了當時數學界和邏輯界的極大震動。它直接衝擊了以嚴謹著稱的數學和邏輯學科，動搖了傳統的數學概念、數學命題和數學方法的可信性標準，也就是說悖論的出現關係到整個數學的奠基問題，從而引起所謂第三次數學基礎危機。數學界的領袖人物希爾伯特為了解決這次危機，更為了一勞永逸的解決所有數學危機，發起了希爾伯特計劃。這個計劃的主要目標，是為全部的數學提供一個安全的理論基礎。其主體部分，就是完備性、相容性、可判定性的證明。

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

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

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

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

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

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

時間是五年前。

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

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

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

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

王崎振奮道：「這還真是一條好道路。」

u003ca