華人數學家大會上,張碩要進行NS方程無限取值論證報告的消息,迅速的傳遍了國內外輿論。
數學界對此非常的關注,幾大研究機構都開始討論這個問題。
克雷數學研究所。
羅斯特布蘭德和往常一樣早早的來到了辦公室,他才剛一進門,就有同事和他起這個消息,“張碩完成了無限取值的論證,並準備在一個數學會上發表。”
“什麼?”
羅斯特布蘭德聽的一驚,又問了幾次才確定了內容。
他頓時皺起了眉頭。
之前張碩完成了自然邊界下有無限取值的論證,克雷數學研究所針對是否頒發千禧年數學猜想的獎金進行了討論,中途還出現了不少的爭議。
有些人認為有限取值解決了絕大部分工程性的問題,也確定ns方程應用上的可靠性,足以認為ns方程問題得到了解決。
但有些人認為,數學方向上來說,問題沒有得到根本性的解決。
無限取值,也牽扯很多的問題。
Ns方程的純數學論證本來就非常重要,沒有無限取值的論證,就等於是隻論證了一小段,甚至可以歸在應用數學成果領域上。
羅斯特布蘭德就是反對頒獎的人之一。
他並沒有什麼其他的心思,比如國籍或人種的歧視,又或者針對張碩有什麼不好的看法,是發自內心覺得Ns方程問題沒有得到解決。
現在聽到說張碩完成了無限取值的論證,羅斯特布蘭德也感到非常驚訝。
他們針對這個問題進行過討論,都認為張碩論證有限取值的方法,無法應用在無限取值的論證上。
換句話說,想要完成無限取值的論證,就必須重新找個方法從頭到尾進行證明。
這根本是不可能完成的。
羅斯特布蘭德反應過來以後,馬上坐在了辦公桌上,並聯係了老朋友,水木大學數學中心的邱成文。
“張碩的研究確定完成了嗎?”他直接開口問道。
邱成文一點都不意外,昨天開始他就接到了好幾個電話,都是問起相同的問題。
他很淡定的說道,“我也不清楚,他隻是在網站上更新了報告標題和介紹。”
“為什麼不問問呢?”
羅斯特布蘭德擰著眉頭又問了一句,之後就意識到自己問了個很傻的問題。
他自問自答的說道,“當然,也不需要問了。”
張碩已經在網站上更新了報告的標題和內容,自然就說明已經完成了證明,直接去詢問不就等於質疑嗎?
“好吧。”
羅斯特布蘭德搖了搖頭,說道,“那個大會是你主持的,對吧?”
“看來我要準備訂機票了,我的意思是說我要去參會。”
邱正文笑道,“非常歡迎!”
華人數學家大會,從名字上來說是海內外華人數學家參加的會議,實際上,也是給華人數學家到會議上做報告以及和頂尖數學家交流的機會,以提升年輕學者們的經曆和水平。
所以,其他有名氣的學者也可以申請參會。
想要讓會議的影響力更大,自然是要吸引更多最頂級的數學家,每一次會議也會特邀一些頂尖數學家作為嘉賓。
羅斯特布蘭德的名氣和影響力,也足以受邀參會了。
……
當外界輿論紛紛的時候,張碩、羅勇軍以及李偉華正在進行最後的攻關,研究已經完成了99.5%。
最後一步,非常的重要。
其中牽扯到縝密邏輯性的問題,也就是把所有論證的條件結合在一起,來證明NS方程任意點位不存在奇點,也就說明了NS方程任意點位解的存在性、唯一性以及光滑性。
張碩本來以為收尾是很容易的,畢竟所有條件都已經列了出來,但上百頁以上的複雜論證內容,都放在一起是讓人很頭疼的。
其中的邏輯關係要慢慢理清楚,還有一些很燒腦的論證要做。
張碩尚且如此。
羅勇軍和李偉華都已經愁白了頭,不,準確的說是頭發快掉光了。
當麵對一個複雜公式的邏輯問題,羅勇軍思考中很用力的一抓頭皮,頓時幾根稀疏的頭發掉了下來,他欣喜的開口道,“我想明白了!”
“這裡是嚴謹的。”
“從條件三、條件四向上推導,實際上能和條件七、條件八形成一個完美的閉環。”
“你們來看條件三的邊界函數,覆蓋取值圖形是……”
“烏拉烏拉~~”
羅勇軍帶著興奮連續說了一大堆,等全部說完以後,就看到對麵兩個人不斷點頭,眼神卻怪怪的。
“怎麼了?我說的不對嗎?”羅勇軍疑惑的問了一句,就看到張碩用手指著他的頭皮的一處。
他用手一摸,頓時垮了臉,“又禿了一塊,最近頭發掉的太快了。”
“所以研究速度也很快,很棒啊,羅老師。”張碩伸手點了個讚。
羅勇軍想到的內容對研究有很大助力,也讓任務進度提升到了99.8%以上。
後續三人又繼續努力,花費了一個下午時間,終於完成了全部的邏輯梳理。
接下來就是整理論文了。
……
這時,已經是七月底了。
華人數學家大會就在八月初,時間感覺還是有些緊迫的。
整理論文,並不是容易的事情。
他們需要把每一部分梳理清楚,確定每一個位置的證明沒有錯誤或者分歧,有些地方能簡化還是儘量簡化。
在工作之餘,張碩拿起手機發現有個未接來電,是邱成文打來的。
他馬上回撥了過去。
邱成文是想了很久才給張碩打電話的,因為他不想讓張碩誤會自己質疑研究,電話接通以後,他就說道,“張碩,你的ns方程研究完成了,對吧?”
說完趕緊補充一句,“我的意思是說,我建議你提前把論文上傳。”
“需要提前上傳論文嗎?”張碩疑惑的問了一句。
“常規報告當然需要論文,你是不需要的,但我覺得你的研究可能會很複雜,可以提前上傳論文讓其他人看到,然後再到會議上做報告,否則直接去講,可能有很多人聽不懂。”
“哦~~也對!”
張碩頓時恍然大悟。
Ns方程無限取值的論證是非常複雜的,全部整理出來最少超過80頁。