第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%的份上，葉非就同意他的提議了。
之後兩人互相關注。