”，便是今法仙道的根基所在。不具備可證偽性的東西，沒有討論的價值。

但是，算學的地位，卻稍稍特殊一些。

就連那些算學家自己都說不清楚，自己的工作，到底是“發現”還是“發明”。

在這一點上，算君和王崎絕對持有完全相反的看法。

當然，在美神那種層次看來，這種爭持，完全就是笑話。

王崎在與美神遭遇之後，便也有了這種傾向。

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

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

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

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

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

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

無限公理是安全的。

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

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

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

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

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

離宗叛徒！

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

但若是真的兩者結合……

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

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

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

馮落衣眼瞼低垂：“不過是些頑固分子……食古不化的