關燈 巨大 直達底部
親,雙擊螢幕即可自動滾動
第1080部分

他甚至宣誓說,絕對不與海霆真人走到一百步之內,否則就只能做過一場。

因為,海霆真人的構造主義,以及他從離宗引入的選擇天理、全域性選擇天理,會引發他當年親手排除的荒誕之處——分球悖論。

他絕不接受這樣有可能一即是全,全即是一的算學圖景。

但實際上,離宗也很少聲援海霆真人。

離宗也有過排除“分球悖論”的努力。

而他們做出的成果,就是測度論。

也就是當年王崎教育妖族的入門課程。

選擇公理是會破壞測度論的。離宗內部也存在爭議。

而且……海霆真人,也還是一個旗幟鮮明的連宗啊!

也正是因為如此,連宗分裂,也幾乎不可逆轉了。

或許,這才是梵巴赫急著挑動歌庭派與馮落衣的關係吧?

何外爾如此悲哀的想到。

但是,歌庭派一定會咬下這塊餌的。

梵巴赫當然不會掩飾自己的心思。但是,良基集合推導而出的“全集”,與歌庭派的道路,也確實存在巨大矛盾。

這是堂堂正正的陽謀。

“理論分歧而私交不斷”,差不多就是最理想的結果了。何外爾覺得,自己至少應該保證這個。

但實際上,算主都沒有做到這一點。

太一天尊在歌庭求學的時候,也曾勸算主不要對某些連宗算家的攻擊超出學術範圍。

算主能夠和何外爾保持師徒情誼,反而顯得很可貴了。

“老師啊,我接下來,應該怎麼辦呢?”他如此嘆息。

不過,在短時間內,何外爾的擔憂,並沒有變成現實。

歌庭派、馮落衣圖靈,以及成功離開陽神閣的蘇君宇,著實合作了一陣子。

這種合作,甚至一直持續到宇歷三年的秋季。

在這半年之中,更多的理論被髮掘了出來。

來自於基派的、歌庭派的,甚至有一部分是海霆真人新連宗的貢獻,逐漸匯入了一個更大的途徑之中。

——或許,應該說“更小”?

馮落衣與歌庭派的“翻譯函式”,在這半年之中,釋放了更大的光彩。

由於離宗算理和連宗算理,在某一層面上被反覆翻譯下來,所以,人們發現,有一些算理,對於連宗和離宗來說,都是必然成立的。

數學公理雖然不同,但是依舊有很多同樣的數學實體,比如加法減法乘法。

如果某種數學實體的公式有這種性質,就叫做——絕對性。

第一百零五章 最後一幕

宇歷三年的時候,離宗和連宗很罕見的達成了全新的共識。

一個公式,在離宗算理和連宗算理之中,具備完全一致的內蘊的話,那麼,就可以說,這個公式,具備“絕對性”。

這種“絕對性”,毫無疑問,給予了離宗某種“希望”。

對於他們來說,這簡直就是不周之算的滅世一擊下,所能找到的最後救贖與唯一福音。

“絕對性”的存在,或許就是在表明,數學實體是在不同的數學公理系統裡面普遍存在的。

而如果是這樣的話,這個數學實體本身,或許就具有“實際完備”的性質。

這是他們最後的希望了。

或許他們需要尋找到一條新的道路,來探索出這個數學實體的性質。

在這一點上,馮落衣與歌庭派的目的是出奇的一致。

他們甚至暫且放下了些許分歧,共同探索這一領域。

而在這一過程之中,海霆真人也終於嶄露頭角。

自從連宗證明直覺主義邏輯不比歌庭派的經典邏輯安全之後,