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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

但若是真的兩者結合……

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

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

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

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

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

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

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

他居然剔除掉了“循環”這個概念！

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

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

“循環是不能被剔除出邏輯的。”

那些離宗修士如此說道。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“如果從經典邏輯裏面的證明裏，添加雙重否定，那麽這個證明，是否可以等價於直覺主義的構造性證明？”

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

答案是，“是”。

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

和無窮公理一樣安全。

換言之……

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