《八零後考清華:我靠讀書報恩全家》第680章 西塔潘猜想(2)

作者:朽木雕龍·9個月前

透過一番交流和勸說,聽到馬菲菲心意已決,且還是先斬後做,林東昇的心情也非常複雜。

由於對方的年薪雖然高達千萬,但工作時間和積累有限,她看中的一座別墅,折算成人民幣,據說售價高達兩千萬,還有一千萬的缺口。

看到對方主動開口借錢,林東昇也只好心情失落地結束通話了電話,默默地給她的賬戶轉去了一千五百萬,比她需要的還多借了五百萬。

轉完錢之後,林東昇就開始發呆,腦海裡反覆想起兩人第一次見面的情形,那個活潑可愛的城裡丫頭,以及後來相處的點點滴滴。

那些曾經被蒙上灰塵的記憶,在這一刻彷彿被突然激活了,無比清晰。

下次再見,對方也許就是某個孩子的媽媽了。

一念至此,林東昇也是一聲長嘆,為了馬菲菲和她肚子裡的孩子著想,他以後也必須得儘量與對方保持好距離了。

成長真是一件無比殘酷的事情,很多人,走著走著,就散了。

這段時間,他和蘇文淺也見得很少,大部分時間,都住在研究生宿舍裡。

教室、圖書館、食堂、宿舍,四點一線,忙碌而充實。

或許是受到了馬菲菲事件的嚴重刺激,當天晚上,林東昇躺在床上,怎麼也睡不著。

馬菲菲真乃女中豪傑,看不上一般的男人,索性就直接去父留子,既能體驗當母親的艱辛與幸福,也能達成人生下一個階段的小圓滿,這種果敢和勇氣,確實令人佩服!

突然,他腦中靈光一閃,人生的活法,沒有定式,數學證明也是一樣啊,順推不行,那麼,逆推可否?

隨後,他直接修改了此前研究中用到過的樹遞迴構造方法,可構造滿足RT2?但不滿足WKL?的模型(反例),直接否定了原猜想。

他的核心邏輯就是,透過構造特定遞迴結構,證明RT2?的系統強度不足以覆蓋WKL?,二者不可比,不存在誰更強的關係。

即:以否定性證明破解了西塔潘猜想,核心是構造反例說明RT2?不包含WKL?,推翻“RT2?強於WKL?”的猜想。

奮戰一個通宵後,他終於完成了該猜想的形式化證明,並用英文撰寫好論文,悄悄投給了國際權威的《符號邏輯雜誌》。

數學的世界,總是如此美妙,既是一個人的戰鬥,也是一個人的狂歡。

前面孤獨地行走了99步,可能看似毫無意義,但只要能完成最後一步的終極跳躍,就能成功登頂一座巍峨的高峰。

從此,這座高峰上,將永久地留下某一個人的名字,並永久地承受世人的膜拜!

他沒有刻意將自己的證明拿給熊教授等人甄別和討論,雖然他有九成九的把握,相信自己論證的正確和嚴謹,但也不敢保證就一定是對的。

萬一事後證明這只是一場空歡喜,其中依然有自己未曾想到的某種邏輯漏洞,那對自己的傷害可能沒那麼大,無非就是浪費了一點時間。

但是,對於熊教授這種一直對自己寄予厚望的人來說,絕對是一個沉重的打擊。

秋天註定是一個收穫的季節,學校收穫了一群軍訓結束的黝黑新生,馬菲菲收穫了一個腹中的胎兒。

而林東昇,也將曠世科技和升淺科技的分廠,全都開到了正在蓬勃發展的鵬城,為自己的國際化戰略,進一步打下堅實的基礎……

猜你喜歡

同題材或同分類的其他作品。