第2章 兩位掛逼的跨洋對話

「學習，獲得知識儲備。「葉非既然發現系統的威力，自然重視系統的應用。

「看論文一小時，任務進度2%。」

「看書、看論文和聽課，都是學習。」

「學習是一個漫長的過程，短時間是無法快速提升知識儲備，這個只能隨遇而安。」

「而現在首要任務是做任務。」

「我剛剛就是看論文找出錯誤，任務進度才加快的。」

「這時候應該更能爆發出靈感。」

「但去arxiv找論文錯誤，還不如去StackExchange和別人商討數學。」

「這應該能更快提升任務進度。」

說完，他打開StackExchange網站。

StackExchange網站是全球性開放網站，許多各領域的學者在這上面問問題和回答問題。

葉非打開數學板塊，看到上面有很多問題，他隨意瀏覽著，看到有趣的問題，他也會回答一下，看到有趣的回答，他也會互動一下。

他發現這樣做，任務進度提升非常的快。

只是一個小時，他的任務進度提升5%。

「嗯？」葉非突然點開一個帖子：「康托在集合論中的兩個錯誤？」

「康托的錯誤？」葉非好笑：「這人是真大膽，說大話就不怕被噴嗎？」

康托就是格奧爾格·康托爾，集合論的創始人，也是提出連續統假設的人。

集合論都出現將近百年了，這時候有人跳出來說，康托的集合論有錯誤。

這就好似有人說愛因斯坦的相對論是錯誤的。

要是個名人，在數學上的建樹，和康托接近或相當，別人會認真思考。

要是能力相差太大，要是說的話，任誰看到這話，都想噴他。

葉非心道：「先看看再說。」

說完，他看向正文。

【分析了康托的實數集合不可數證明及康托定理……】

「嗯？」葉非突然皺眉：「這好像還真的有錯誤哎！」

「不，應該說不是康托集合上的錯誤，而是他這題出的很巧妙，向連續統假設上引。」

「這裏說康托證明實數集合不可數用的是區間套方法和對角線方法。」

「在這兩個證明中用的是反證法。」

「而實數集合不可數就是連續統假設。」

「連續統假設沒證明成功，自然是康托的錯誤。」

「嘿……」葉非好笑：「這人真雞賊，這不妥妥的標題黨嗎！」

「嗯……」葉非沉吟片刻，突然眼前一亮：「倒是可以這樣解啊！」

「雖然不能完全證明出連續統假設，但這個思路也許能解出一些小問題。」

說完，葉非在下面留言。

【證明：首先證明，因為對於任一x∈s，令(x)={x}，且x1≠x2時……】

北麗國，麻省理工博士生宿舍！

一位黃皮膚青年，正撐著下巴無聊的看着電腦屏幕上，等待有人回他消息。

青年叫高飛，夏國人，麻省理工博士。

他主要研究的東西不是集合論，只是最近有研究觸及到集合論了。

研究集合論自然要研究連續統假設。

所以，在兩個小時前，他發了一篇關於實數集合的帖子到StackExchange。

為了吸引流量，他特意寫康托在集合論中有錯誤，他經常這麼做，屢試不爽，每次都能吸引一大波人。

偶爾能吸引來某位大佬的留言，能讓他對數學的研究豁然開朗。

修長的手指滑動着滑鼠滾軸，瀏覽著網頁。

「嗯？」他突然停住動作，直起身子，定眼看去。

「用羅素悖論證明實數集合不可數？」

他雙眸閃爍，拿過一旁的紙筆計算。

片刻后，他興奮的道：「就是如此，但他說的並不完美，還應該如此。」

他快速在葉非的留言下留言。

【感謝你的回復，讓我找到靈感，但我覺得還應該進行如下補充。

假若x∈s成立，根據(3)式中對s中元素的要求……

……

假若xs，由s=φ(x)得xφ(x)……】

他剛發出不到十分鐘，就收到回復。

高飛驚訝：「這麼快？」

「看樣子他也和我一樣，守在電腦前，很期待答案吧！」

【感謝你的補充，但我也想對下面進行補充。

不論x是否屬於s，都導致矛盾……】

高飛看完后笑道：「這想法很好。」

說完他又拿過紙筆計算，想了片刻后回復對方。

葉非看完后也想了片刻回復。

兩人你來我往的回復，他們都不知道互相是誰，但此時卻好似找到心靈上的契合。

高飛很興奮，他很長時間沒遇到在數學上給他靈感的人了。

「不知道是哪位大佬？」高飛心道，他腦海中描述出一位三四十歲的中年人，樣貌模糊，不知是男是女。

他是天才，在麻省理工，理工科全球第一的學府，也很難遇到他這樣的天才。

所以，以往同齡人中，幾乎沒人能給予他數學上的靈感，只有那些在數學上鑽研多年的人，在和他討論數學的時候，才會給他靈感。

所以，此時葉非在他腦海中是一名中年男子。

葉非也很興奮，在讀研這一年，可能他是導師學生中唯一保研上來的，所以導師對他是所有學生中最嚴格的。

這一年，讓他看了很多文獻。

所以，此時他的知識儲備，在系統的幫助下，融會貫通，爆發出無數靈感。

許久，兩人結束交談，看着洋洋洒洒寫一大篇的對話，高飛將所有數學內容都抄下來。

他給葉非後台留言，道：「互相關注一下吧！」

很難遇到在學術上能和他交流的，遇到這樣的人，肯定要認識一下，以後再有數學上的問題，也可以討論。

葉非：「ok！」

看在讓自己任務提升50%的份上，葉非就同意他的提議了。

之後兩人互相關注。