所有研究算理邏輯的萬法門修士都開始自願或非自願的學習了力迫法。
當你要證明某個存在滿足條件甲的集合,而條件甲比較複雜,從而你把它分解為甲一,甲二等等。而一個條件自然也是一個集族,然後證明集族甲子們的交非空。
連續統假設以外還有強連續統、選擇公理、非標準分析的無窮公理,都可以透過力迫法完成證明。
這簡直就是天大的福音了。
對於處於一片絕望氣息的萬法門來說,這就是最重大的成果。
離宗修士不吝讚美。
他們認為,恰如其分的說,蘇君宇所完成的力迫法,就是集合論公理化以來,最重要的成果。
這句話剛出來的時候,蘇君宇對此一無所知。他還在家裡睡大覺呢。
力迫法的證明,著實消耗了他的精神。
等他知道了這份讚譽之後,他的聲望已經完全重新整理了一遍。
“這……”蘇君宇對此哭笑不得。
在梅歌牧受害者互助協會的小群裡,他對其他人哭笑不得的說道:“我很難說明,但是,這真的得是連宗思路才能完成的離宗成果。如果沒有算君手稿,沒有那個不懷好意的連宗前輩指點,還真一不定能夠做出來。”
“管他呢。”項琪倒是很得意,彷彿這都是自己完成的一樣:“連宗就連宗唄。”
“如果這話挑明瞭,只怕離宗又會罵我叛徒了。”蘇君宇如此總結道。
朱閣宏【地下版】很罕見的出現並開口道:“我覺得,這應該更能說明,連宗離宗本為一體吧?”
兩宗歸一的論調,似乎也在再次興起。
在這一次中,連宗和離宗都分裂得厲害。雪國派過去雖然不怎麼聽從算君,但是對同屬“直覺派”的少黎還算青衿。而這一次,海霆真人則直接分裂了團結一致的少黎。雪國派與新連宗構造派爆發了激烈衝突。
連宗內部,歌庭派、馮落衣一系也鬧得有點僵。
與此同時,兩宗都出現了“叛徒”。海霆真人吸收了離宗的成就,而離宗包括力迫法在內的一系列成就,又都是在連宗指導下展開。
這似乎更加印證了“算學實體”這個形而上的說法。
蘇君宇搖頭:“不,離宗和連宗從來都沒有放棄過兩宗歸一的做法。只不過,這種歸一,永遠都是以‘一方吞併另一方的全部’為基礎的。看到的東西不同,就真的沒法和和氣氣的坐到一起。”
但不管怎麼說,蘇君宇是成名了。
新晉的煉虛期大宗師,未來的逍遙修士。
人們就像當年談論王崎一樣,在談論蘇君宇。
所有人都覺得,他已經是這一個時代的頂峰之一了。
但蘇君宇卻是不敢居功。且不說王崎在這一段時間給了他多少啟發,單說算君那一本技術手冊之中蘊含的思想,對他的幫助就是極為巨大的。
“也不知道算君知不知道,他的小冊子幫助了兩個離宗修士,在算學基礎領域大放異彩……”
蘇君宇的腦海之中閃過了這樣的念頭。
力迫法的出現,無疑是晨曦的一道曙光。
很多人相信,天快要亮了。
但越是黎明將近,就越是不能放鬆。
由於力迫法的出現,眾多問題得到了解決,所遇原本混戰的離宗連宗,驟然失去了大片戰場,只能偃旗息鼓。
但是,這一場戰鬥,可還沒有結束。
能都定鼎算學領域的人還沒出來。現在,萬法門弟子都知道什麼是算學了至少在元算學的領域上,認識得比過去更深。
但是,他們不知道未來會走向何方。
還有一場決定萬法門命運的大戰。