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

蘇君宇深吸一口氣:“我說認真的。我今天才收到算君的手稿。上面很有可能就是我下一步的方向。所以,今天晚些時候,我就會去陽神閣,在陽神閣高手的監督之下,閱讀算君手稿。”

說道這裡,他頓了一下,臉色才柔和下來:“這是好事,也是天大的機會。有陽神閣強者看著,不會出大岔子。書稿也是王崎那小子解讀過一遍的,危險性大減——但既然是算君,總還是有點危險的。”

“別說話。”項琪反抱住蘇君宇。

第一百零一章 爆發

為這大爭之世打響第一槍的,是馮落衣。

儘管歌庭齋已經交託給了身為連宗修士的算主首徒何外爾手中,但是歌庭派依舊是離宗正統,依舊是算主嫡系。這一點,從來就不會因為何外爾或其他任何一個人的因素而簡單改變。

或許百年之後,歌庭齋終將變成另外一個樣子,但是何外爾一個人,終歸是無法扭轉這個石頭的。

歌庭派最核心的修士,已經殺紅了眼,處心積慮的將要將連宗算理同被不周之算所擊潰的那部分離宗算理劃上等號,將他們也納入不周之算的攻擊範圍之中。

但最先完成成果的,卻還是馮落衣——這位有著“非人”之稱的天才人物。

應當說,馮落衣找到了全新的思路。

他們宣稱,集合論之前的思路都有問題。

不應該從“全部”,而是應該從“無”之中入手。

所有的“集合”,都必須從“空集”開始,進行構建。

或者說,只有從空集開始構建的集合才被承認為合法集合。

除此之外的集合,都是有問題的,都是被不周之算抽掉了根基的空中閣樓。

無論是有窮集還是無窮集,都必須從“空集”開始。

空集?對應0,{?}對應1,{?{?}}就對應2。如果一切集合,包括無窮集合都有類似的良序,那麼,那麼就可以實施超越無限的歸納——就和普通的數學歸納一樣。

然後,離宗至高成就的“天理體系”【ZF公理體系】,其全部公理,都能夠在良基集合之中實現。

這就是馮落衣的命題。

這位天才,先後用兩篇論文,完成了這一偉大的論證。

任何證明構造都必須是有窮長度的,關於矛盾的證明也不例外。而無窮公理——自然數無窮集合存在公理,之運用到了後繼運算和空集運算。這兩個運算,在連宗的算理當中,均有對應。因而,這兩個算理,在連宗算理和離宗算理之間,是絕對的。換言之,離宗算理和連宗算理,其實存在著相當程度上的一致內蘊。

這就是兩個算理的“絕對性”。

因此,如果無窮公理有矛盾,那麼這個矛盾,也會透過一個“有窮”的翻譯過程,出現在算理之中。

無窮功能公理,是安全的。

這篇論文一出,便是連宗修士的大面積吐血。

誰都知道,連宗,特別是近代連宗代表的少黎派,就是否認“無窮”與“排中律”的。算君認為,物質的世界不存在無窮的物件,算學的世界同樣不應該存在無窮的物件。

這便是撼動了連宗的根基了。

無數連宗算家抓耳撓腮,恨不能立刻就寫出論文,反擊馮落衣。

但是,很快,馮落衣的第二篇論文,就讓所有的爭論都偃旗息鼓。

“如果取無窮公理的否定形式作為公理,有窮良序之中的矛盾也會更加方便的體現在其他公理之上。”

“因此,某種意義上來講,無窮公理不可證明,也不可證否。”

這一下,便如同晴天霹靂,鎮得所有連宗算家都說不出話來了。

一般來說,“可證偽性