算君執弟子禮。
但是,雪國派的“直覺”,和算君的“直覺”,又有微妙的差異。
實際上,關於“直覺”的構造,不同的連宗修士也有不同的想法。
雪國主的論文指示出了一個奇異的事實。對於任意命題,存在對應的非命題,其非命題成立的則意味著該命題的荒謬。某非命題的證明,是把該命題的證明變換成荒謬的證明的函式。
荒謬的標準例子可以在算術中找到。假定0=1,並進行數學歸納法:0=0透過等同公理得到;(歸納假設)如果0等於特定自然數n,則1將等於n+1,但是因為0=1,所以0也等於n+1;透過歸納,0等於任何數,所以任何兩個自然數都是相等的。
這顯然是荒謬的。
或許用自然語言來敘述,這就是一個低等的笑話?但是在算理上,它確實是存在著重要的地位。
而幾乎是同時,另一位連宗逍遙修士,也獨立完成了類似的成果。
他用一種離宗修士看來有些怪異的形式,重寫了離宗的重要成就——算術公理。
這一下子,整個萬法門都開始變得一片混沌了。
所有用研究算學理論的修士都陷入了對三個問題的思考之中。
——我是哪邊的?是連宗還是離宗?
——我在研究什麼?朝哪個方向?
——我的隊友是誰?歌庭派?馮落衣?基派?雪國派?還是少黎派?
這是前所未有的大混亂。
儘管歷史上,連宗會吸收離宗的成就,離宗會吸收連宗的成就,但那都是基於“轉化到一個算學基礎上”所完成的。
以幾何融合算術,以分析容納幾何,這樣。
但現在,全亂了,離宗和連宗從沒有這樣相互爭奪一個領域過。他們幾乎是在以接力跑的形式進行研究。
你研究一段之後,我在你的基礎上繼續研究一段,緊接著你再在我的成就上進行研究。
中古數家離宗連宗分裂之後,四萬年來,頭一次出現這樣混亂的景象。
離宗和連宗的分割依舊異常明顯,但是,研究上卻打成一團。
可以說,他們就純然是亂戰了。
尤其是向來超然與爭鬥之外的雪國派,以及雖然新近成立,卻始終氣勢洶洶的基派,都是不可忽視的力量。
同為連宗,雪國派與少黎派之間也存在分歧。
同為離宗,基派與歌庭派之間關係也不融洽。
大家彼此都殺成了一團。
甚至有些極端的弟子,終於開始不再區分離宗連宗了。
凡是與我方不同的萬法門弟子,都可以算是“敵人”!
隨著理論層面的混戰,萬法門門內也終於漸漸失去穩定。
甚至連維護門規的執律使,都沒辦法保持純粹的重力。
門主陳景雲不得不緊急從其他門派調來了一批執律使,保持萬法門內部基本安定。
見到此情此景,趙清潭有些迷惘:“我只是來買麵粉的……我只想好好過個年啊!”
“還過個屁的年啊!”蘇君宇咬牙切齒:“這是欺負我們基派無人……欺負我們離宗無人啊!”
“……不,我覺得歌庭派的支持者,也不是很喜歡基派來著。”
“這不重要!”蘇君宇揮揮手:“現在,最值得注意的,應該是那個叫做海霆【阿蘭德·海廷】的連宗逍遙了。”
海霆雖然也是逍遙,但大抵就屬於那種聲名不顯的個體。他是在十數年前證得逍遙的。彼時,正是算主如日中天,在全萬法門推行元算之算的之後。海霆這一代連宗修士的光輝,幾乎都被算主蓋過去了。
不,就算沒有算主,他也不會太過