上一章
返回目錄
下一章
返回書頁
爲這大爭之世打響第一槍的，是馮落衣。
儘管歌庭齋已經交託給了身爲連宗修士的算主首徒何外爾手中，但是歌庭派依舊是離宗正統，依舊是算主嫡系。這一點，從來就不會因爲何外爾或其他任何一個人的因素而簡單改變。
或許百年之後，歌庭齋終將變成另外一個樣子，但是何外爾一個人，終歸是無法扭轉這個石頭的。
歌庭派最核心的修士，已經殺紅了眼，處心積慮的將要將連宗算理同被不周之算所擊潰的那部分離宗算理劃上等號，將他們也納入不周之算的攻擊範圍之中。
但最先完成成果的，卻還是馮落衣這位有着“非人”之稱的天才人物。
應當說，馮落衣找到了全新的思路。
他們宣稱，集合論之前的思路都有問題。
不應該從“全部”，而是應該從“無”之中入手。
所有的“集合”，都必須從“空集”開始，進行構建。
或者說，只有從空集開始構建的集合才被承認爲合法集合。
除此之外的集合，都是有問題的，都是被不周之算抽掉了根基的空中閣樓。
無論是有窮集還是無窮集，都必須從“空集”開始。
空集對應0，{}對應1，{，{}}就對應2。如果一切集合，包括無窮集合都有類似的良序，那麼，那麼就可以實施超越無限的歸納就和普通的數學歸納一樣。
然後，離宗至高成就的“天理體系”【zf公理體系】，其全部公理，都能夠在良基集合之中實現。
這就是馮落衣的命題。
這位天才，先後用兩篇論文，完成了這一偉大的論證。
任何證明構造都必須是有窮長度的，關於矛盾的證明也不例外。而無窮公理自然數無窮集合存在公理，之運用到了後繼運算和空集運算。這兩個運算，在連宗的算理當中，均有對應。因而，這兩個算理，在連宗算理和離宗算理之間，是絕對的。換言之，離宗算理和連宗算理，其實存在着相當程度上的一致內蘊。
這就是兩個算理的“絕對性”。
因此，如果無窮公理有矛盾，那麼這個矛盾，也會通過一個“有窮”的翻譯過程，出現在算理之中。
無窮功能公理，是安全的。
這篇論文一出，便是連宗修士的大面積吐血。
誰都知道，連宗，特別是近代連宗代表的少黎派，就是否認“無窮”與“排中律”的。算君認爲，物質的世界不存在無窮的對象，算學的世界同樣不應該存在無窮的對象。
這便是撼動了連宗的根基了。
無數連宗算家抓耳撓腮，恨不能立刻就寫出論文，反擊馮落衣。
但是，很快，馮落衣的第二篇論文，就讓所有的爭論都偃旗息鼓。
“如果取無窮公理的否定形式作爲公理，有窮良序之中的矛盾也會更加方便的體現在其他公理之上。”
“因此，某種意義上來講，無窮公理不可證明，也不可證否。”
這一下，便如同晴天霹靂，鎮得所有連宗算家都說不出話來了。
一般來說，“可證僞性”，便是今法仙道的根基所在。不具備可證僞性的東西，沒有討論的價值。
但是，算學的地位，卻稍稍特殊一些。
就連那些算學家自己都說不清楚，自己的工作，到底是“發現”還是“發明”。
在這一點上，算君和王崎絕對持有完全相反的看法。
當然，在美神那種層次看來，這種爭持，完全就是笑話。
王崎在與美神遭遇之後，便也有了這種傾向。
他甚至都在形式語言學的序言之中表示，這種爭論，純粹就是自然語言混沌不堪，非得分出“發現”和“發明”兩個完全不同的概念。
但不管怎麼說，在算學領域，一個不可證明也不可證僞的理論，是允許存在的。
但它就好像是神學一樣，在自己的邏輯裡自成一體。
就算想要將之摧毀，也很難下手。
對於普通人來說，這就是一個“不知道到底有什麼”的未知區域。
但馮落衣巧就巧在，他一開始，就直接證明了另一點。
無限公理是安全的。
“不知道里面有什麼”，但是是“安全的”。
這也從側面說明了，連宗對“無窮”概念的批判，實在是沒有什麼意義。
而陳由嘉的論文，也是緊隨其後放出了。
這一下，卻讓所有離宗修士難受了一陣。
甚至有人當場大罵：“叛徒！”
離宗叛徒！
在過去的時光裡，幾乎所有修士，都將基派理所當然的視作了離宗。王崎也旗幟鮮明的表示過自己離宗的立場。
而現在，身爲離宗修士的陳由嘉，發表了帶有明顯連宗傾向的論文。
這又讓他們怎麼不怒？怎能不怒？
但比他們更怒的，卻是千機閣的衆多基層弟子。
類型論直接刪掉了圖靈完備，刪掉了循環。
圖靈真人本人倒是覺得挺有趣的，甚至將之當做一個課題佈置離了下去。
但千機閣弟子發現這一點之後，就立刻沸騰了。
對於他們來說，沒有圖靈完備、沒有循環的算器體系，是不可想象的。
他們感覺自己的聖域受到了侵犯。
過去的“自由飛翔”，如今就變成了“帶着鐐銬跳舞”。
陳由嘉“離宗叛徒”的呼聲，也在千機閣鬧得沸反盈天。
對此，圖靈真人也只有苦笑：“這卻是……好似是我對不住那姑娘了。”
馮落衣搖了搖頭：“由得他們鬧去。對於這些無心算理的傢伙來說，那丫頭的理論有怎麼的作用，他們未來總會知道的。”
“你是說將‘類型論’納入‘圖靈完備’嗎？”圖靈真人笑了：“渦這幾天想過了，或許會產生惡性不諧的。”
“但王崎跟我說，這卻能極大的降低算器之術的門檻。”馮落衣說道。
由於有了萬象卦文的推廣，他對自己弟子在這方面的眼光，還是信任的。
“就怕這兩不沾的，關鍵時候誤了事。”圖靈真人有些猶豫。與類型論伴生的語言，是稍有錯處，就會直接停機，算得上安全。而往日所用的法子雖然會輸出未知結果，然是由於修士對這一領域已經熟稔，所以也很少在關鍵時刻掉鏈子。
但若是真的兩者結合……
打到關鍵的時候算器宕機了怎麼辦？
“若是主法器自然另說，但是修煉的時候，確實有優勢的。”馮落衣說道。
圖靈真人突然笑道：“月寒兄如今倒是一副事不關己的樣子。你難道不知道嗎？這一股‘離宗叛徒’的風，也吹到你身上了吧？”
馮落衣眼瞼低垂：“不過是些頑固分子……食古不化的老東西罷了。一個不周之算，都沒有讓他們看清楚真相，那他們也就這樣了。”
實際上，馮落衣的論文，在離宗內部，也並非沒有反對之聲。
最開始也就是因爲千機閣修士對陳由嘉的反對之聲，才引發了另一股反對之聲。
有一些離宗修士都覺得，馮落衣是瘋了。
他居然剔除掉了“循環”這個概念！
循環，是廣泛存在於自然界之中的概念。天地呼吸所代表的靈力循環，大氣環流、水的循環，都是一種循環。
所以，循環這種東西，理應存在於算學之中實際上，它甚至都是萬法門功法的關鍵部分。
“循環是不能被剔除出邏輯的。”
那些離宗修士如此說道。
陳由嘉和馮落衣，都是走算主“兩條路”之中的“斷自指”的。
甚至兩人也在一定程度上相互啓發了。
只不過從根基上來說，馮落衣是最正統的離宗，而陳由嘉則從算君這裡接受了不少連宗的思路。
但他們卻是指向了同一個方向。
馮落衣從來就不在乎這點小事。他對圖靈真人說道：“歌庭派內部沒有反對之聲，就足夠了。接下來，就看他們的吧？”
圖靈真人不置可否。誰都知道，歌庭派此時此刻，已經是置之死地而後生了。
在不周之算的碾壓下，他們也顧不得許多了。
不過，圖靈真人並沒有想到，數日之後，歌庭派的背水一擊，居然來得如此猛烈。
實際上，也就是馮落衣將連宗、離宗算理頻繁轉化的手段，引起了他們的注意。
他們由此，提煉出了一個無名的邏輯層面的函數。
“雙重否定翻譯”。【地球上稱之爲“哥德爾-根岑”翻譯】
“假設排中律有矛盾，則可以構造出這個假設的否定證明”。
“而排中律，則可以等價於雙重否定去除”。
這是兩條已經存在淺顯證明的論題。
而就在這個時候，歌庭派提出了一個更進一步的想法。
“如果從經典邏輯裡面的證明裡，添加雙重否定，那麼這個證明，是否可以等價於直覺主義的構造性證明？”
也就是說，如果將歌庭派算理之中屬於“排中律”的部分祛除，那麼，這東西，是否就等價於少黎派的構造性證明呢？
答案是，“是”。
它用反對排中律的連宗算理，確定了連宗反對的排中律，也是安全的。
和無窮公理一樣安全。
換言之……
連宗算理並不比離宗算理安全到哪裡去。