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