規則系學霸 第三百四十三章 世界的肯定
更新:09-30 00:57 作者:不吃小南瓜 分類:都市小說
測試廣告1 劉賀敏發過來的消息里,哀怨氣息十足,讓人聽了都能感覺到酸楚,仿佛他本來能評上院士,結果因為趙奕要參加評選,不得不遺憾的選擇退出。筆硯閣 m.biyange.net
趙奕看笑了。
如果不了解劉賀敏的話,完全看不出話里的打趣意味,但是他非常了解劉賀敏,知道劉賀敏不可能評的上數學物理學部的院士。
劉賀敏確實參加了數學物理學部的院士增選,但他就是參加評選人中『重在參與』的那一個,而且最初被推薦成為候選人,熟悉的人就都知道,他就是參加一下湊個數。
當然了。
劉賀敏也許是真心想評上院士,但『想』和『是否能評上』,是完完全全的兩件事,連他自己也知道評不上。
因為,研究方向和成果。
劉賀敏是科學院軟件所的研究員,主要研究方向是計算機類的進化算法,他對數學的研究也和進化算法直接掛鈎,但基本上都是信息學中,一些軟件、算法設計的數學理論研究,就和趙奕為國內導航項目衛星,設計的『數字壓縮技術的數學理論』類似。
他的數學研究就是為計算機算術法、軟件服務的。
所以劉賀敏應該去評選信息學部的院士。
科學院有信息學部,名字叫做信息技術科學部;工程院也有信息學部,名字叫做信息與電子工程學部。
劉賀敏的數學成果偏理論,但他在國際有影響力的成果,都是和人工智能有關,偏重於『技術』,而不是理論性質的科學,他應該去評選信息與電子工程學部的院士,簡單來說就是『工程院院士』。
所以劉賀敏被推薦成為院士候選人,大概率就是數學物理學部的參選人數不夠,就被划過去湊數了。
今年很特殊。
有些消息靈通的知道趙奕會被推薦,提前就決定等兩年以後了。
現在劉賀敏酸溜溜的說自己中途放棄,還真就是和趙奕開個玩笑,但他主要還是給趙奕曝了『內幕』,意思就是『你已經被預訂成為學部院士』了。
看着劉賀敏發來的消息,趙奕倒是沒什麼特別的感覺。
評上數學院士?
趙奕根本就沒關心過,甚至就連哪個幾個院士推薦自己成為候選人,他也就知道兩、三個名字,還是從其他人嘴裏聽說的。
在完成了費馬猜想以後,他會被認為是世界第一的數學家,都已經是『世界第一』了,有沒有『數學院士』的名號,又有什麼區別呢?
所以趙奕只是回復了一個大笑的表情,順便補上幾個字,「恭喜你,謝啦!」
「恭喜……?」
劉賀敏快速回復。
趙奕淡然的打了十幾個字,「自己退出總比被刷下來好。」
「……當我沒問。」
網線對面的劉賀敏連着咳嗦了好幾聲,仿佛是感覺一支穿雲箭,順着網線以光速扎進了他的心房。
於此同時。
世界學術界的輿論依然聚焦在趙奕的費馬猜想證明上。
趙奕的證明比懷爾斯的簡單許多,但實際上,一系列的證明過程,再包括之前發表的『簡化費馬猜想』成果,加在一起正常發表論文,也輕鬆超過六十頁。
普通數學學者想理解是很困難的,但一些的頂級的數學家,尤其是對拓撲學有研究的,理解起來就容易許多。
水木大學的報告會結束僅僅兩天,就其他頂級的數學家站出來,表態讚嘆趙奕的證明過程『很精緻』。
那是佛羅里達大學的湯姆森。
湯姆森和趙奕見過兩次,偶爾也會交流數學研究,也能算的上是熟悉了,他對拓撲學有一定了解,仔細聽了趙奕的報告講解,又拿到一份證明論文後,他花費了幾個小時,差不多就理解了內容。
之後他對細節的論證結果進行了演算。
這是報告會中沒有的。
在費馬猜想的報告會中,趙奕談到一些簡單的邏輯推理,或者是一些運算、變換步驟,都是直接一帶而過的,簡單的邏輯推理不用多解釋,能明白的人瞬間就能理解,不能明白的人講解也沒意義,運算上來說則是太複雜,只是說明步驟都需要很多時間,就乾脆直接給出了結論。
如果給出的結論是錯誤的,自然就說明趙奕的證明是有問題的,對細節進行驗算還是很有必要的。
這個過程很耗費時間。
湯姆森用了一天半的時間,才完成了一半兒的運算,有些公式變換、函數代換的部分,因為沒有詳細的解答步驟,還需要自己去推斷、思考,就乾脆暫時選擇放棄。
不過驗算進行到這裏,發現能簡單算出來的,都是完全正確的,他也可以暫時得出結論。
「證明是嚴謹而精緻的。」
湯姆森接受採訪時說道,「我之所以用『精緻』來形容,是因為證明過程邏輯清晰,沒有任何多餘的步驟,縱觀整個過程,每一個部分的目的都很明確的。」
「雖然還沒有完成所有的演算,但我相信是正確的。」
「恭喜趙奕!」
「他也是我的朋友,我很高興看到他又完成了一項最頂級的數學成果!」
湯姆森發表看法就是個開端。
之後好多的數學家都紛紛發表看法,表現說沒有在證明過程中看到問題,並認為證明是完全正確的。
但他們不敢百分百確定。
因為未講解的計算內容里,有些還是很複雜的,他們並沒有全部驗算出來,只能確定過程的縝密。
數學證明來說,到這裏就可以確定是正確的了,計算的內容確實可能出錯,但大致上沒有問題,最少說明所採用的方法是正確的,是能夠解決問題的。
就算中途有個計算出錯,也只是個小錯誤,只要方法是正確的,以同樣的方法去重新做計算,就能夠得到最終的答案。