第23章 證明出極小塔問題
從大學學霸到首席院士 作者：大魚食小魚 投票推薦 加入書簽 留言反饋
回到學校後，葉非去導師辦公室。
“回來了！”看到葉非進來，魯一山笑道。
“導師！”葉非坐下後道：“我已經將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問題的人，都滿臉絕望。
沒人會認為葉非的證明是錯的。
畢竟，最難的部分都被葉非解決，容易的部分對葉非來說也應該沒難度。
這一日，全球無數人都被葉非的才華所打敗。
當然，也有很多人被葉非的才華所震撼，驚喜，特別是夏國人。
畢竟，葉非是夏國人，葉非的成就讓他們與有榮焉。
此時，stackexchange上集合論板塊！
很多帖子都是關於葉非證明出極小塔問題。
“算算時間，葉非一共用了兩個月證明出極小塔問題。”
“不能這樣算，這兩個月他並不是全部做研究，聽說在這期間，他還去夏國魔都複旦大學進行演講，並在複旦大學逗留了三天。”
“不管怎麽說，葉非的科研速度也太快了，我從未見過這麽快的男人。”
“什麽這麽快的男人，女人也沒這麽快啊！”
“你們說話能別搞擦邊球嗎，請別開車，我們現在說的是科研。”
“他的速度比研究奇異基數時快多了，他研究奇異基數應該花了四個月時間，現在研究極小塔問題，隻花了奇異基數一半的時間。”
“我從未見過這樣的人，奇異基數和極小塔是同樣難度的問題，他研究反而越來越快了。”
“……”
傍晚，葉非在操場散步，同時思考接下來的研究。
他一共要寫兩篇論文，一篇是p=t，另一片是zfc下p=t。
他隻發表了一篇，是zfc下p=t。
另一篇，他會在半個月內寫好。
之所以先發表zfc下p=t，是因為他之前將p=t的證明過程掛在arxiv，他怕有人先他一步證明出極小塔問題。
所以才先發表zfc下p=t。
當然，現在寫的zfc下p=t，隻是初稿掛在arxiv上，還要花幾天時間，對論文多次修改，之後再發給期刊。
“既然選擇集合論，那麽我下麵的研究還是應該繼續集合論。”
“拓撲奧特猜想？超緊基數典型內模型問題？高層有限波雷爾等價關係中的兩個問題？連續統勢確定問題？圖靈等價問題？還是帶指數函數的實數理論的可判定性問題？”
這幾個問題，是集合論中除了連續統假設外，剩下的所有問題。
葉非之後的研究，還是從這幾個問題出發。
至於連續統假設問題，是最難的終極問題。
最起碼這幾個問題沒解決，他不會對連續統假設下手。
這時，葉非的手機響起！
“喂，導師！”
“葉非，伱來我辦公室，告訴你一個好消息。”
“好的！”
“回來了！”看到葉非進來，魯一山笑道。
“導師！”葉非坐下後道：“我已經將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問題的人，都滿臉絕望。
沒人會認為葉非的證明是錯的。
畢竟，最難的部分都被葉非解決，容易的部分對葉非來說也應該沒難度。
這一日，全球無數人都被葉非的才華所打敗。
當然，也有很多人被葉非的才華所震撼，驚喜，特別是夏國人。
畢竟，葉非是夏國人，葉非的成就讓他們與有榮焉。
此時，stackexchange上集合論板塊！
很多帖子都是關於葉非證明出極小塔問題。
“算算時間，葉非一共用了兩個月證明出極小塔問題。”
“不能這樣算，這兩個月他並不是全部做研究，聽說在這期間，他還去夏國魔都複旦大學進行演講，並在複旦大學逗留了三天。”
“不管怎麽說，葉非的科研速度也太快了，我從未見過這麽快的男人。”
“什麽這麽快的男人，女人也沒這麽快啊！”
“你們說話能別搞擦邊球嗎，請別開車，我們現在說的是科研。”
“他的速度比研究奇異基數時快多了，他研究奇異基數應該花了四個月時間，現在研究極小塔問題，隻花了奇異基數一半的時間。”
“我從未見過這樣的人，奇異基數和極小塔是同樣難度的問題，他研究反而越來越快了。”
“……”
傍晚，葉非在操場散步，同時思考接下來的研究。
他一共要寫兩篇論文，一篇是p=t，另一片是zfc下p=t。
他隻發表了一篇，是zfc下p=t。
另一篇，他會在半個月內寫好。
之所以先發表zfc下p=t，是因為他之前將p=t的證明過程掛在arxiv，他怕有人先他一步證明出極小塔問題。
所以才先發表zfc下p=t。
當然，現在寫的zfc下p=t，隻是初稿掛在arxiv上，還要花幾天時間，對論文多次修改，之後再發給期刊。
“既然選擇集合論，那麽我下麵的研究還是應該繼續集合論。”
“拓撲奧特猜想？超緊基數典型內模型問題？高層有限波雷爾等價關係中的兩個問題？連續統勢確定問題？圖靈等價問題？還是帶指數函數的實數理論的可判定性問題？”
這幾個問題，是集合論中除了連續統假設外，剩下的所有問題。
葉非之後的研究，還是從這幾個問題出發。
至於連續統假設問題，是最難的終極問題。
最起碼這幾個問題沒解決，他不會對連續統假設下手。
這時，葉非的手機響起！
“喂，導師！”
“葉非，伱來我辦公室，告訴你一個好消息。”
“好的！”