第1078部分

請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能，避免出現內容無法顯示或者段落錯亂。

在的。

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

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

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

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

無限公理是安全的。

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

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

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

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

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

離宗叛徒！

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

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

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

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

型別論直接刪掉了圖靈完備，刪掉了迴圈。

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

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

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

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

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

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

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

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

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

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

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

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

但若是真的兩者結合……

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

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

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

馮落衣眼瞼低垂：“不過是些頑固分子……食古不化的老東西罷了。一個不周之算，都沒有讓他們看清楚真相，那他們也就這樣了。”

實際上，馮落衣的論文，在離宗內部，也並非沒有反對之聲。

最開始也就是因為千機閣修士對陳由嘉的反對之聲，才引發了另一股反對之聲。

有一些離宗修士都覺得，馮落衣是瘋了。

他居然剔除掉了“迴圈”這個概念！

迴圈，是廣泛存在於自然界之中的概念。天地呼吸所代表的靈力迴圈，大氣環流、水的迴圈，都是一種迴圈。

所以，迴圈這種東西，理應存在於算學之中——實際上，它甚至都是萬法門功法的關鍵部分。

“迴圈是不能被剔除出邏輯的。”

那些離宗修士如此說道。

陳由嘉和馮落衣，都是走算主“兩條路”之中的“斷自指”的。

甚至兩人也在一定程度上相互啟發了。

只不過從根基上來說，馮落衣是最正統的離宗，而陳由嘉則從算君這裡接受了不少連宗的思路。

但他們卻是指向了同一個方向。

馮落衣從來就不在乎這點小事。他對圖靈真人說道：“歌庭派內部沒有反對之聲，就足夠了。接下來，就看他們的吧？”

圖靈真人不置可否。誰都知道，歌庭派此時此刻，已經是置之死地而後生了。

在不周之算的碾壓下，他們也顧不得許多了。

不過，圖靈真人並沒有想到，數日之後，