第2章 兩位掛逼的跨洋對話
「學習，獲得知識儲備。💜😲 ６９Ŝђ𝐔乂.ｃᵒ爪 🍧😎「葉非既然發現系統的威力，自然重視系統的應用。
「看論文一小時，任務進度2%。」
「看書、看論文和聽課，都是學習。」
「學習是一個漫長的過程，短時間是無法快速提升知識儲備，這個只能隨遇而安。」
「而現在首要任務是做任務。」
「我剛剛就是看論文找出錯誤，任務進度才加快的。」
「這時候應該更能爆發出靈感。」
「但去arxiv找論文錯誤，還不如去Stack Exchange和別人商討數學。」
「這應該能更快提升任務進度。」
說完，他打開Stack Exchange網站。
Stack Exchange網站是全球性開放網站，許多各領域的學者在這上面問問題和回答問題。
葉非打開數學板塊，看到上面有很多問題，他隨意瀏覽著，看到有趣的問題，他也會回答一下，看到有趣的回答，他也會互動一下。
他發現這樣做，任務進度提升非常的快。
只是一個小時，他的任務進度提升5%。
「嗯？」葉非突然點開一個帖子：「康托在集合論中的兩個錯誤？」
「康托的錯誤？」葉非好笑：「這人是真大膽，說大話就不怕被噴嗎？」
康托就是格奧爾格·康托爾，集合論的創始人，也是提出連續統假設的人。
集合論都出現將近百年了，這時候有人跳出來說，康托的集合論有錯誤。
這就好似有人說愛因斯坦的相對論是錯誤的。
要是個名人，在數學上的建樹，和康托接近或相當，別人會認真思考。
要是能力相差太大，要是說的話，任誰看到這話，都想噴他。
葉非心道：「先看看再說。」
說完，他看向正文。
【分析了康托的實數集合不可數證明及康托定理……】
「嗯？」葉非突然皺眉：「這好像還真的有錯誤哎！」
「不，應該說不是康托集合上的錯誤，而是他這題出的很巧妙，向連續統假設上引。」
「這裡說康托證明實數集合不可數用的是區間套方法和對角線方法。」
「在這兩個證明中用的是反證法。」
「而實數集合不可數就是連續統假設。」
「連續統假設沒證明成功，自然是康托的錯誤。」
「嘿……」葉非好笑：「這人真雞賊，這不妥妥的標題黨嗎！」
「嗯……」葉非沉吟片刻，突然眼前一亮：「倒是可以這樣解啊！」
「雖然不能完全證明出連續統假設，但這個思路也許能解出一些小問題。」
說完，葉非在下面留言。
【證明：首先證明，因為對於任一x∈s，令(x)={x}，且x1≠x2時……】
北麗國，麻省理工博士生宿舍！
一位黃皮膚青年，正撐著下巴無聊的看著電腦屏幕上，等待有人回他消息。
青年叫高飛，夏國人，麻省理工博士。
他主要研究的東西不是集合論，只是最近有研究觸及到集合論了。
研究集合論自然要研究連續統假設。
所以，在兩個小時前，他發了一篇關於實數集合的帖子到Stack Exchange。
為了吸引流量，他特意寫康托在集合論中有錯誤，他經常這麼做，屢試不爽，每次都能吸引一大波人。
偶爾能吸引來某位大佬的留言，能讓他對數學的研究豁然開朗。
修長的手指滑動著滑鼠滾軸，瀏覽著網頁。
「嗯？」他突然停住動作，直起身子，定眼看去。
「用羅素悖論證明實數集合不可數？」
他雙眸閃爍，拿過一旁的紙筆計算。
片刻後，他興奮的道：「就是如此，但他說的並不完美，還應該如此。」
他快速在葉非的留言下留言。
【感謝你的回覆，讓我找到靈感，但我覺得還應該進行如下補充。
假若x∈s成立，根據(3)式中對s中元素的要求……
……
假若xs，由s=φ(x)得xφ(x)……】
他剛發出不到十分鐘，就收到回復。
高飛驚訝：「這麼快？」
「看樣子他也和我一樣，守在電腦前，很期待答案吧！」
【感謝你的補充，但我也想對下面進行補充。
不論x是否屬於s，都導致矛盾……】
高飛看完後笑道：「這想法很好。」
說完他又拿過紙筆計算，想了片刻後回復對方。
葉非看完後也想了片刻回復。
兩人你來我往的回覆，他們都不知道互相是誰，但此時卻好似找到心靈上的契合。
高飛很興奮，他很長時間沒遇到在數學上給他靈感的人了。
「不知道是哪位大佬？」高飛心道，他腦海中描述出一位三四十歲的中年人，樣貌模糊，不知是男是女。
他是天才，在麻省理工，理工科全球第一的學府，也很難遇到他這樣的天才。
所以，以往同齡人中，幾乎沒人能給予他數學上的靈感，只有那些在數學上鑽研多年的人，在和他討論數學的時候，才會給他靈感。
所以，此時葉非在他腦海中是一名中年男子。
葉非也很興奮，在讀研這一年，可能他是導師學生中唯一保研上來的，所以導師對他是所有學生中最嚴格的。
這一年，讓他看了很多文獻。
所以，此時他的知識儲備，在系統的幫助下，融會貫通，爆發出無數靈感。
許久，兩人結束交談，看著洋洋灑灑寫一大篇的對話，高飛將所有數學內容都抄下來。
他給葉非後台留言，道：「互相關注一下吧！」
很難遇到在學術上能和他交流的，遇到這樣的人，肯定要認識一下，以後再有數學上的問題，也可以討論。
葉非：「ok！」
看在讓自己任務提升50%的份上，葉非就同意他的提議了。
之後兩人互相關注。
(本章完)