第一百零一章 爆發（2/2）

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

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

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

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

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

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

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

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

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

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

「你是說將『類型論』納入『圖靈完備』嗎？」圖靈真人笑了：「渦這幾天想過了，或許會產生惡性不諧的。」

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

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

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

但若是真的兩者結合……

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

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

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

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

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

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

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

他居然剔除掉了「循環」這個概念！

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

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

「循環是不能被剔除出邏輯的。」

那些離宗修士如此說道。

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

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

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

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

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

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

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

不過，圖靈真人並沒有想到，數日之後，歌庭派的背水一擊，居然來得如此猛烈。

實際上，也就是馮落衣將連宗、離宗算理頻繁轉化的手段，引起了他們的注意。

他們由此，提煉出了一個無名的邏輯層面的函數。

「雙重否定翻譯」。【地球上稱之為「哥德爾-根岑」翻譯】

「假設排中律有矛盾，則可以構造出這個假設的否定證明」。

「而排中律，則可以等價於雙重否定去除」。

這是兩條已經存在淺顯證明的論題。

而就在這個時候，歌庭派提出了一個更進一步的想法。

「如果從經典邏輯裡面的證明里，添加雙重否定，那麼這個證明，是否可以等價於直覺主義的構造性證明？」

也就是說，如果將歌庭派算理之中屬於「排中律」的部分祛除，那麼，這東西，是否就等價於少黎派的構造性證明呢？

答案是，「是」。

它用反對排中律的連宗算理，確定了連宗反對的排中律，也是安全的。

和無窮公理一樣安全。

換言之……

連宗算理並不比離宗算理安全到哪裡去。