“学习,获得知识储备。“叶非既然发现系统的威力,自然重视系统的应用。
“看论文一小时,任务进度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%的份上,叶非就同意他的提议了。
之后两人互相关注。