第2章 两位挂逼的跨洋对话

    “学习，获得知识储备。“叶非既然发现系统的威力，自然重视系统的应用。

    “看论文一小时，任务进度2%。”

    “看书、看论文和听课，都是学习。”

    “学习是一个漫长的过程，短时间是无法快速提升知识储备，这个只能随遇而安。”

    “而现在首要任务是做任务。”

    “我刚刚就是看论文找出错误，任务进度才加快的。”

    “这时候应该更能爆发出灵感。”

    “但去arxiv找论文错误，还不如去Stack Exchange和别人商讨数学。”

    “这应该能更快提升任务进度。”

    说完，他打开Stack Exchange网站。

    Stack Exchange网站是全球性开放网站，许多各领域的学者在这上面问问题和回答问题。

    叶非打开数学板块，看到上面有很多问题，他随意浏览着，看到有趣的问题，他也会回答一下，看到有趣的回答，他也会互动一下。

    他发现这样做，任务进度提升非常的快。

    只是一个小时，他的任务进度提升5%。

    “嗯？”叶非突然点开一個帖子：“康托在集合论中的两个错误？”

    “康托的错误？”叶非好笑：“这人是真大胆，说大话就不怕被喷吗？”

    康托就是格奥尔格·康托尔，集合论的创始人，也是提出连续统假设的人。

    集合论都出现将近百年了，这时候有人跳出来说，康托的集合论有错误。

    这就好似有人说爱因斯坦的相对论是错误的。

    要是个名人，在数学上的建树，和康托接近或相当，别人会认真思考。

    要是能力相差太大，要是说的话，任谁看到这话，都想喷他。

    叶非心道：“先看看再说。”

    说完，他看向正文。

    【分析了康托的实数集合不可数证明及康托定理……】

    “嗯？”叶非突然皱眉：“这好像还真的有错误哎！”

    “不，应该说不是康托集合上的错误，而是他这题出的很巧妙，向连续统假设上引。”

    “这里说康托证明实数集合不可数用的是区间套方法和对角线方法。”

    “在这两个证明中用的是反证法。”

    “而实数集合不可数就是连续统假设。”

    “连续统假设没证明成功，自然是康托的错误。”

    “嘿……”叶非好笑：“这人真鸡贼，这不妥妥的标题党吗！”

    “嗯……”叶非沉吟片刻，突然眼前一亮：“倒是可以这样解啊！”

    “虽然不能完全证明出连续统假设，但这个思路也许能解出一些小问题。”

    说完，叶非在下面留言。

    【证明：首先证明，因为对于任一x∈s，令ƒ(x)={x}，且x1≠x2时……】

    北丽国，麻省理工博士生宿舍！

    一位黄皮肤青年，正撑着下巴无聊的看着电脑屏幕上，等待有人回他消息。

    青年叫高飞，夏国人，麻省理工博士。

    他主要研究的东西不是集合论，只是最近有研究触及到集合论了。

    研究集合论自然要研究连续统假设。

    所以，在两个小时前，他发了一篇关于实数集合的帖子到Stack Exchange。

    为了吸引流量，他特意写康托在集合论中有错误，他经常这么做，屡试不爽，每次都能吸引一大波人。

    偶尔能吸引来某位大佬的留言，能让他对数学的研究豁然开朗。

    修长的手指滑动着鼠标滚轴，浏览着网页。

    “嗯？”他突然停住动作，直起身子，定眼看去。

    “用罗素悖论证明实数集合不可数？”

    他双眸闪烁，拿过一旁的纸笔计算。

    片刻后，他兴奋的道：“就是如此，但他说的并不完美，还应该如此。”

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

    【感谢你的回复，让我找到灵感，但我觉得还应该进行如下补充。

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

    ……

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

    他刚发出不到十分钟，就收到回复。

    高飞惊讶：“这么快？”

    “看样子他也和我一样，守在电脑前，很期待答案吧！”

    【感谢你的补充，但我也想对下面进行补充。

    不论x是否属于s，都导致矛盾……】

    高飞看完后笑道：“这想法很好。”

    说完他又拿过纸笔计算，想了片刻后回复对方。

    叶非看完后也想了片刻回复。

    两人你来我往的回复，他们都不知道互相是谁，但此时却好似找到心灵上的契合。

    高飞很兴奋，他很长时间没遇到在数学上给他灵感的人了。

    “不知道是哪位大佬？”高飞心道，他脑海中描述出一位三四十岁的中年人，样貌模糊，不知是男是女。

    他是天才，在麻省理工，理工科全球第一的学府，也很难遇到他这样的天才。

    所以，以往同龄人中，几乎没人能给予他数学上的灵感，只有那些在数学上钻研多年的人，在和他讨论数学的时候，才会给他灵感。

    所以，此时叶非在他脑海中是一名中年男子。

    叶非也很兴奋，在读研这一年，可能他是导师学生中唯一保研上来的，所以导师对他是所有学生中最严格的。

    这一年，让他看了很多文献。

    所以，此时他的知识储备，在系统的帮助下，融会贯通，爆发出无数灵感。

    许久，两人结束交谈，看着洋洋洒洒写一大篇的对话，高飞将所有数学内容都抄下来。

    他给叶非后台留言，道：“互相关注一下吧！”

    很难遇到在学术上能和他交流的，遇到这样的人，肯定要认识一下，以后再有数学上的问题，也可以讨论。

    叶非：“ok！”

    看在让自己任务提升50%的份上，叶非就同意他的提议了。

    之后两人互相关注。