碼的東西糾錯。

這對程式設計師的能力要求，也很高。

只不過吧，在這個世界，只要兼修一下爻定算經之類萬法門功法，就可以解決這個問題了。

也就是說，大家這麼多年了，其實也沒介意當個人肉糾錯器。

這是這個理論在地球上的大致狀況。

而在這個世界，情況就有點詭異了。

陳由嘉，是藉助神州現在離宗連宗論戰的東風，從算君的獸機關叢集演算法之中，反推出這一道理論的。

而且，還是從形式語言學上的得到了靈感。

形式語言學可以算是電腦科學平行發展的一支。

但是，這個過程……

也確實……

充滿了這個宇宙技術史的風格。

第九十八章　型論

型別論的根基，是直覺主義邏輯。

海霆真人已經將離宗的“邏輯”吸收了過來，重寫了算術公理，完成了連宗的邏輯。

型別論的目標，是“突破哥德爾不完備定理”，思路是“切斷自我指涉”。

算主提出了繞過“哥德爾不完備定理”的思路，包括了“切斷自我指涉”。

馮落衣為了證明“無窮公理”的安全性，而沿著這條思路走了下去。

可以說，萬事俱備了。

然後，算君就貢獻了……包含型別論結果的成就。

也就是獸機關叢集的混沌拓撲網路演算法。

算君並沒有單獨提出“型別論”，因為他確實對大家爭來爭去的基礎算理不感興趣。

但是，他也確實是天才，憑藉自己的思考，就完成了這樣一個嚴苛的系統。

這就好像用q語言給你寫一個完整的作業系統，還能執行得很順暢，甚至介面還很優美一樣，匪夷所思，令人驚歎。

王崎甚至懷疑，算君這一套做法，並非犧牲“圖靈完備”，而是……算君壓根就沒在意什麼“圖靈完備”。

獸機關叢集相當安全。用型別論的理論來看，它就是絕對的“強規範強型別”，不會輸入任何“預料之外”的結果。一旦有丁點錯誤，就會直接停機給你看。

而在宏觀上，則可以相容馮落衣這一系的成就。

而就算宏觀上的算來出現了問題，也智慧導致宏觀層面的叢集暫時失去凝聚力，而不是使得獸機關本身失控。

王崎思來想去，這種一不留神就滅星的玩意，也確實需要這種死板的東西來約束了。

如果要他用無型別、型別不安全的永珍卦文直接寫底層……

哈哈……哈哈哈哈……

可以說，型別論誕生的一切條件，都已經完好了。

只是目前，神州的連宗修士，對算器還有些不夠重視。

他們還盯著基礎算理的那一塊，想要在這方面與離宗，與歌庭派決一死戰。

對算器理論偶有涉獵，也只是為了“駁倒對方”而已。

但另王崎險些三觀盡碎的是……

這樣一個地球歷史上是來自基礎數學的成就，在這個世界，居然是從應用反推出去的……

“哈哈……哈哈哈哈……”王崎只得表示：“我感覺自己的知見障也確實蠻嚴重的……”

儘管今法修士從來都是以“開啟黑箱”為榮，但是，在這個宇宙，就沒辦法完全規避“黑箱”帶來的法術。

或者說，就沒誰可以在無黑箱的情況下生活。

舉個最直接的例子好了，如果非要懂得“中心法則”才能生娃的話，那人類就不用繁衍了——不過相對的，病毒也就不會傳播了。

先有“應用”而後有“理論”，在哪個世界都是很常有的事情。