儘管宇歷四年才剛剛開始,但絕大多數人都堅信,力迫法就是這一年裡最有價值的發現了。
所有研究算理邏輯的萬法門修士都開始自願或非自願的學習了力迫法。
當你要證明某個存在滿足條件甲的集合,而條件甲比較複雜,從而你把它分解為甲一,甲二等等。而一個條件自然也是一個集族,然後證明集族甲子們的交非空。
連續統假設以外還有強連續統、選擇公理、非標準分析的無窮公理,都可以透過力迫法完成證明。
這簡直就是天大的福音了。
對於處於一片絕望氣息的萬法門來說,這就是最重大的成果。
離宗修士不吝讚美。
他們認為,恰如其分的說,蘇君宇所完成的力迫法,就是集合論公理化以來,最重要的成果。
這句話剛出來的時候,蘇君宇對此一無所知。他還在家裡睡大覺呢。
力迫法的證明,著實消耗了他的精神。
等他知道了這份讚譽之後,他的聲望已經完全重新整理了一遍。
“這……”蘇君宇對此哭笑不得。
在梅歌牧受害者互助協會的小群裡,他對其他人哭笑不得地說道:“我很難說明,但是,這真的得是連宗思路才能完成的離宗成果。如果沒有算君手稿,沒有那個不懷好意的連宗前輩指點,還真一不定能夠做出來。”
“管他呢。”項琪倒是很得意,彷彿這都是自己完成的一樣:“連宗就連宗唄。”
“如果這話挑明瞭,只怕離宗又會罵我叛徒了。”蘇君宇如此總結道。
Loading...
未載入完,嘗試【重新整理】or【關閉小說模式】or【關閉廣告遮蔽】。
嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏!
移動流量偶爾打不開,可以切換電信、聯通、Wifi。
收藏網址:www.peakbooks.cc
(>人<;)