回到學校後,葉非去導師辦公室。
“回來了!”看到葉非進來,魯一山笑道。
“導師!”葉非坐下後道:“我已經将p=t證明出來了,這事您知道嗎?”
魯一山表情一滞,我知道嗎?我當然知道。
因爲你,我沒了奮鬥目标。
魯一山點頭道:“我知道。”
“我這幾天到複旦大學數學學院講座,後來進入他們的小圖書館,看到很多不對外公布的文獻,其中就有集合論知識,這讓我找到極小塔問題剩下的證明思路。”
魯一山驚訝的看着葉非,道:“你就這幾天就找到ZFC下p=t的思路了?”
“是啊!”葉非點頭,笑道:“但我還沒驗證,如果驗證成功的話,咱們的極小塔問題就證明出來了。”
魯一山心中歎息,從研究開始,不到兩月,你就解決了極小塔問題。
那我這麽多年的研究算什麽?
魯一山頗感來自天才的濃濃惡意。
魯一山道:“伱準備什麽時候寫論文?”
“馬上就寫,我來就是和導師說一聲的。”
魯一山心中吐槽,是來打擊我的嗎!
魯一山點了點頭。
離開導師辦公室後,葉非就開始驗算他所思考的在ZFC下p=t。
三天後,圖書館!
葉非驚喜的道:“我的想法果然是對的。”
“下面開始寫論文吧!”
此時,葉非不知道的是,全球很多人聽了他對p=t的證明講解後,都知道p=t的證明思路。
而極小塔問題中,最難的就是p=t。
ZFC下的p=t反而并不是太難。
畢竟,p=t都證明出來了,剩下的就是将p=t轉換一下,套到ZFC下。
面對世界難題的誘惑,很多人都想第一個證明出極小塔問題。
也許,這是他們這輩子,唯一一次能證明出世界難題的機會。
必須要趕在葉非之前證明出極小塔問題,否則他們就沒機會了。
他們這麽做,有點厚臉皮的意思。
畢竟最難的都被葉非解決了,他們隻要再證明出簡單的部分,就能證明出極小塔問題。
然後完成論文,發表到Arxiv,他們就能成爲證明極小塔問題的作者。
當然,事後肯定有人指責他們厚臉皮。
但面對世界難題誘惑和數學界出名的誘惑,厚臉皮就厚臉皮吧!
京都大學,圖書館!
羅洛是數學系在讀碩士研究生,今天周末,他上午九點左右才來圖書館。
但圖書館人滿爲患,過許久才找到一個位置坐下。
坐下後他就打開Arxiv查看,這是數學專業學生經常逛的網站。
突然,他瞪大眼睛驚呼道:“葉非證明出極小塔問題了。”
聲音很大,很多人都聽到。
許多人被打擾學習,煩躁的看他一眼。
但羅洛好似沒察覺,他激動的點開葉非新發表的論文。
“這也太快了吧,才半個月啊!”
“不愧是葉非,這麽短時間就證明出ZFC下的p=t。”
圖書館中很多人都聽到羅洛的話,一些知道葉非的人都上網查看。
很快,他們也發現葉非新發表的論文。
英格蘭,劍橋大學!
“葉非竟然已經證明出極小塔問題了。”庫瑪斯看着葉非新發表的論文,再看看這幾日自己的努力,心中很痛。
自從看到葉非講解p=t後,他就在努力的證明ZFC下p=t。
想在葉非之前證明出來,但現在他的證明還沒到一半,葉非已經證明出來了。
“他怎麽會這麽快?”
北麗國,普林斯頓!
“這麽快就證明出來了。”佩裏絕望的道:“沒機會了,葉非的證明肯定是對的,畢竟他都已經證明出極小塔問題中最難的部分,容易的部分對他來說也應該沒難度。”
“哎……”佩裏看着桌子上自己連日來的努力,他一把将桌子上所有的稿紙推到地上,散落滿地。
東瀛國,東京大學!
“巴嘎……”吉川太郎憤怒的看着電腦屏幕:“爲什麽,我已經這麽拼命了,還是沒趕上,你爲什麽這麽快?”
“我真是太慢了,這麽好的機會就這樣沒了。”他自責的握緊拳頭。
當葉非證明極小塔問題的論文發表到Arxiv上。
很多正在研究ZFC下p=t問題的人,都滿臉絕望。
沒人會認爲葉非的證明是錯的。
畢竟,最難的部分都被葉非解決,容易的部分對葉非來說也應該沒難度。
這一日,全球無數人都被葉非的才華所打敗。
當然,也有很多人被葉非的才華所震撼,驚喜,特别是夏國人。
畢竟,葉非是夏國人,葉非的成就讓他們與有榮焉。
此時,Stack Exchange上集合論闆塊!
很多帖子都是關于葉非證明出極小塔問題。
“算算時間,葉非一共用了兩個月證明出極小塔問題。”
“不能這樣算,這兩個月他并不是全部做研究,聽說在這期間,他還去夏國魔都複旦大學進行演講,并在複旦大學逗留了三天。”
“不管怎麽說,葉非的科研速度也太快了,我從未見過這麽快的男人。”
“什麽這麽快的男人,女人也沒這麽快啊!”
“你們說話能别搞擦邊球嗎,請别開車,我們現在說的是科研。”
“他的速度比研究奇異基數時快多了,他研究奇異基數應該花了四個月時間,現在研究極小塔問題,隻花了奇異基數一半的時間。”
“我從未見過這樣的人,奇異基數和極小塔是同樣難度的問題,他研究反而越來越快了。”
“……”
傍晚,葉非在操場散步,同時思考接下來的研究。
他一共要寫兩篇論文,一篇是p=t,另一片是ZFC下p=t。
他隻發表了一篇,是ZFC下p=t。
另一篇,他會在半個月内寫好。
之所以先發表ZFC下p=t,是因爲他之前将p=t的證明過程挂在Arxiv,他怕有人先他一步證明出極小塔問題。
所以才先發表ZFC下p=t。
當然,現在寫的ZFC下p=t,隻是初稿挂在Arxiv上,還要花幾天時間,對論文多次修改,之後再發給期刊。
“既然選擇集合論,那麽我下面的研究還是應該繼續集合論。”
“拓撲奧特猜想?超緊基數典型内模型問題?高層有限波雷爾等價關系中的兩個問題?連續統勢确定問題?圖靈等價問題?還是帶指數函數的實數理論的可判定性問題?”
這幾個問題,是集合論中除了連續統假設外,剩下的所有問題。
葉非之後的研究,還是從這幾個問題出發。
至于連續統假設問題,是最難的終極問題。
最起碼這幾個問題沒解決,他不會對連續統假設下手。
這時,葉非的手機響起!
“喂,導師!”
“葉非,你來我辦公室,告訴你一個好消息。”
“好的!”
(本章完)