第131部分(第2/5 頁)

學邏輯上的突破，完善了計算機理論。

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

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

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

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

時間是五年前。

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

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

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

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

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

第七十一章　憤怒的辰風

辰風走進萬法門駐地的時候看起來很不高興。

因為王崎今天上午沒有按時到他那裡報到。

這本來也不是什麼大事。畢竟辰風的實證部還沒有正式投入執行，他還沒到忙成狗的階段。而王崎得到了一筆材料，回家鑽研一下入了迷也是正常的。

可是，當他做完幾個實驗，然後又和悲風去餵了兩次老鼠之後，發現王崎還是沒有來，甚至沒有來過的跡象。

這性質就不一樣了。守時對於研究員來說是非常重要的素質。辰風不打算把王崎當成一般的研究員用，所以也沒有強求他這麼做。但是，不守信就太過分了。

到了晚上九點左右，他終於坐不住了。要不是王崎還是神京外門的外務修士、跑得了和尚跑不了廟，辰風早就報警說他攜款潛逃了。哦，不對，他自己就是執律使，可以自己出來搜捕王崎。

不過，就算他不打算鬧大，也不願意就這麼算了。等王崎的功夫他都可以做好多事了。想到浪費的時間，辰風就更加憤怒了。於是他到萬法門的時候，開門的方式不大禮貌。

他是踹門進去的。

這天正好輪到莫真真打掃院子。她看見氣勢洶洶衝進來的辰風，手都忍不住哆嗦了一下。陽神閣專修魂魄、念力，因而辰風憤怒的時候氣勢比著同階修士強大好幾倍。在這股可怕的氣勢下，莫真真顫抖幾下，叫道：“師……師兄，師兄……”也不知是在向辰風問好還是呼喚本門的師兄前來禦敵。

感受到院子裡那股可怕的威勢，還在萬法門駐地的兩名真傳皇甫漣和梨月急忙衝了出來。梨月第一反應就是拔出長劍：“閣下硬闖我萬法門駐地有何貴幹？”

劉雲祥的臥房也亮起燈來。老人慢慢悠悠的走出房間：“這位小友是陽神閣的弟子吧？有什麼話不能好好說嗎？”

辰風看了一眼瑟瑟發抖的莫真真，忍住怒意收斂氣勢，問道：“抱歉，我是來找一個叫王崎的外務弟子的。”

“王崎？”梨月還有些疑惑。她不常在神京駐地待著，不大熟悉這裡的練氣期弟子。皇甫漣倒是與王崎認識，說道：“辰師兄這樣殺氣騰騰的找王崎，是有什麼要事嗎？”

辰風強忍著怒意將自己過來的原因說了一遍。梨月聽後柳眉倒豎：“那個混蛋居然帶著師兄你的實驗經費逃跑了？”

“不至於啊？”劉雲祥有些疑惑：“那孩子不是會幹這種事的人啊。”

王崎一直強調自己的身份是外務弟子，所以他身邊的人都把他當外門弟子。但身為駐地執事的劉