第(2/3)頁

    趙清潭一愣，驚到：“難道說，算君的一本書稿，就能將一個離宗弟子，洗成連宗弟子？這么危險？”

    “這個……好吧，由嘉她小時候其實更喜歡應用方向來著……說不定她是我們當中最不在乎離宗連宗分野的人。”王崎這么說道。

    趙清潭卻是不敢看那算君書稿了。他直接問王崎：“師妹到底想出了什么？”

    王崎一愣。

    …………………………………………………………………………

    天宮之內，柯蘭蔭松開了自己握著天劍的手臂。

    他發現自己背后已經全是冷汗了。

    “真是嚇人啊……”

    他很難形容剛才那一瞬間，王崎整體發生了什么樣的異變。他覺得王崎的氣息突然之間變得像個炸彈一樣，好像隨時都會崩潰一般。

    那個時候，他幾乎以為是龍皇預言發作了。王崎就要完蛋了。

    而他天體妖靈級數的法力，也會給這個大日疆域留下難以磨滅的影響。

    但幸好，這種感覺只有一瞬。

    但是，柯蘭蔭卻還是感覺到一絲驚惶。

    “這種活兒不能讓我一個老頭子來干吧……真是，我都落伍多少年了……”云中君無奈的自嘲道。

    應該給打個申請，讓他們多派一兩名逍遙過來的……

    最好還得是那種強力一點的，不然還真干不過這個晚輩。

    ……………………………………………………………………

    在地球歷史上，“類型論”是用來突破哥德爾不完備定理的嘗試。實際上，它多少也成功了一點。哥德爾第一不完備、第二不完備都被接連突破。

    只不過，這也只是“淺層”而已。

    哥德爾不完備定理，至今沒有被完整的突破過。

    直覺主義一向是將“數學”看做是人類智慧的構造性活動的。

    在計算機日益發達的時代，直覺主義的研究者，就提出了一個全新的口號。

    “定義即構造，構造即證明，證明即程序”。

    他們打算借用形式主義者開發出的計算機器，來證明自己的數學理論。

    研究一個類型級別的數學實體，就需要比這個類型相等或者更高的元數學。

    所以研究涉及無窮超窮的數學實體，就成了需要無窮超窮的元數學。

    而直覺主義是不承認“無限的實體”存在的。

    就好像物理世界不存在一個“無限實體”一樣。

    最最嚴苛的類型系統，是沒有循環和自指的。

    因而，這個系統，即使是涉及到“無限”的問題，因為并不會造成無限的邏輯回環，所以仍舊可以停機。

    因為強規范化的類型系統，都是有窮終結的，也就是一切函數都可以停機并且給出唯一結果。

    不存在自我指涉與無限循環這兩個停機問題上的幽靈。

    這是在犧牲圖靈完備的前提下，對停機問題的一次利用。

    也就是說，“類型論”是基礎數學領域的成就。

    而由此衍生的，就是一種絕對可靠的計算機語言。
    第(2/3)頁