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