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

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

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

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

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

可以說，萬事俱備了。

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

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

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

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

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

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

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

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

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

Loading...

未載入完，嘗試【重新整理】or【關閉小說模式】or【關閉廣告遮蔽】。

嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏！

移動流量偶爾打不開，可以切換電信、聯通、Wifi。

收藏網址：www.peakbooks.cc

(＞人＜；)