第(2/3)頁

    他甚至都在形式語言學的序言之中表示，這種爭論，純粹就是自然語言混沌不堪，非得分出“發現”和“發明”兩個完全不同的概念。

    但不管怎么說，在算學領域，一個不可證明也不可證偽的理論，是允許存在的。

    但它就好像是神學一樣，在自己的邏輯里自成一體。

    就算想要將之摧毀，也很難下手。

    對于普通人來說，這就是一個“不知道到底有什么”的未知區域。

    但馮落衣巧就巧在，他一開始，就直接證明了另一點。

    無限公理是安全的。

    “不知道里面有什么”，但是是“安全的”。

    這也從側面說明了，連宗對“無窮”概念的批判，實在是沒有什么意義。

    而陳由嘉的論文，也是緊隨其后放出了。

    這一下，卻讓所有離宗修士難受了一陣。

    甚至有人當場大罵：“叛徒！”

    離宗叛徒！

    在過去的時光里，幾乎所有修士，都將基派理所當然的視作了離宗。王崎也旗幟鮮明的表示過自己離宗的立場。

    而現在，身為離宗修士的陳由嘉，發表了帶有明顯連宗傾向的論文。

    這又讓他們怎么不怒？怎能不怒？

    但比他們更怒的，卻是千機閣的眾多基層弟子。

    類型論直接刪掉了圖靈完備，刪掉了循環。

    圖靈真人本人倒是覺得挺有趣的，甚至將之當做一個課題布置離了下去。

    但千機閣弟子發現這一點之后，就立刻沸騰了。

    對于他們來說，沒有圖靈完備、沒有循環的算器體系，是不可想象的。

    他們感覺自己的圣域受到了侵犯。

    過去的“自由飛翔”，如今就變成了“帶著鐐銬跳舞”。

    陳由嘉“離宗叛徒”的呼聲，也在千機閣鬧得沸反盈天。

    對此，圖靈真人也只有苦笑：“這卻是……好似是我對不住那姑娘了?！?

    馮落衣搖了搖頭：“由得他們鬧去。對于這些無心算理的家伙來說，那丫頭的理論有怎么的作用，他們未來總會知道的?！?

    “你是說將‘類型論’納入‘圖靈完備’嗎？”圖靈真人笑了：“渦這幾天想過了，或許會產生惡性不諧的?！?

    “但王崎跟我說，這卻能極大的降低算器之術的門檻?！瘪T落衣說道。

    由于有了萬象卦文的推廣，他對自己弟子在這方面的眼光，還是信任的。

    “就怕這兩不沾的，關鍵時候誤了事?！眻D靈真人有些猶豫。與類型論伴生的語言，是稍有錯處，就會直接停機，算得上安全。而往日所用的法子雖然會輸出未知結果，然是由于修士對這一領域已經熟稔，所以也很少在關鍵時刻掉鏈子。

    但若是真的兩者結合……

    打到關鍵的時候算器宕機了怎么辦？

    “若是主法器自然另說，但是修煉的時候，確實有優勢的?！瘪T落衣說道。

    圖靈真人突然笑道：“月寒兄如今倒是一副事不關己的樣子。你難道不知道嗎？這一股‘離宗叛徒’的風，也吹到你身上了吧？”
    第(2/3)頁