点击上方“阿拉奇学Java”,选择“置顶或者星标

 每天早晨0000分, 与你相约!

往日回顾:微信技术总监:一亿用户背后的架构秘密

这段时间,有很多二十多岁成大学博导的新闻,比如28岁女博士李琳获聘大学教授博导,90后博士刘惠颖获聘中南大学社会学系特聘教授。但是如果要说起来,最轰动的还要属多年前的刘路了,直接被学校允许提前毕业,直接硕博连读,22岁破格成为中南大学教授级研究员,这个纪录至今还没有谁打破。

中学“学渣”,大三却仅用2月证实西塔潘猜想

1989年,刘路出生于大连,父亲在国有企业后勤部门工作,母亲是一家企业的工程师,良好的家庭环境培养了他对理工科尤其是数学的热爱。

刘路的中学成绩并不算很好,只能算一般,甚至有时候在老师眼里是标准的”学渣“。

因为整个年级600多人,刘路考过500多名,他热爱学习,但是刘路觉得为考试做过多的准备没什么太大的意义,所以刘路并不会不会为考试刻意去做特别的准备,所以考试成绩随机性很大,他最好的时候是高中开学第一次考试,考过30几名,越考到最后,越觉得有些厌烦,所以就越考越差。

我中考的时候那次排名在我们高中都是500多名,后来就是,考试的话,后来因为考试次数越来越多,然后可能就,可能是有些厌烦,对这个,然后考试的名次是越来越靠后的。

我个人觉得我学习是刻苦,但是要看哪方面,为考试做准备是一方面,学习又是另一回事儿,我觉得为考试做过多的准备没什么太大的意义,所以我通常情况下,我不会为考试刻意去做特别的准备。

——刘路

刘路一直以来对于数学十分专注,刘路念小学时曾学过奥数,学得不算太好,但他至今认为“奥数不是个坏东西,至少能锻炼人的思维能力”。在初中的时候,他就已经开始自学数论了。他在数学上一直以来都具有创新性的思维,思路敏捷而独特,解题步骤和思考方式往往出人意料。

2008年,刘路参加高考,这次发挥却非常不错,成功考取了中南大学,热爱数学的他选择了应用数学专业这个专业,却遭到了父母的反对,在父母的眼里,学数学的话不太好找工作,再一个如果学纯数学应该是成绩比较好的才适合学数学,父母觉得成绩一般的刘路不适合学这个,没有数学家的天赋。

在大学的刘路一开始也并没有什么亮眼的表现,除了因为想要出国留学而英语成绩突出之外,其他成绩在学院都一般般。

2010年,刘路还是中南大学数学科学与计算技术学院的大二学生,这一年的8月,他开始自学反推数学。通俗地说,反推数学是数理逻辑的一个小分支,通常数学大致是从公理到定理的研究,而反推数学则恰好相反,是从定理到公理的研究。

这个时候,刘路接触到了拉姆齐二染色定理,这是属于组合数学中的一个定理,,拉姆齐(Ramsey)定理是要解决以下的问题:要找这样一个最小的数n,使得n个人中必定有k个人相识或l个人互不相识。这是在拉姆齐在论文On a Problem in Formal Logic(《形式逻辑上的一个问题》提出的。

那西塔潘猜想就涉及到反推数学,在反推数学中, 研究的其实是二阶算术的五大系统(RCA0, WKL0, ACA0, ATR0,和Π11-CA0)以及它们的强度 关系,从 1970 年代创立以来,直到 2000 年,反推数学的主要结果都是把数学定理归类到五大系统中去。

二阶算术是刻画自然数理论的二阶形式理论。这里还涉及到另外一个定理,叫柯尼希定理,这是一个与质心系下能量有关的定理。其文字表述是:质点系的总动能等于质心的动能,加上各质点相对于质心平动坐标系运动所具有的动能。

那么,其中RCA 0 , WKL 0 , ACA 0 这些都属于二阶算术的子系统,那么WKL 0 是基本系统 RCA 0 添加弱柯尼希定理的系统,而 RCA 0 添加拉姆齐二染色定理的系统被称为 RT 2。经过若干数学家的研究,他们发现了一些子系统间存在强弱的比较关系:和 RT 2 形式接近的 RT 2 比 ACA 0 要强(其实一样),而 RT 2 则不比 ACA 0 强等等。

而著名数学家英国数理逻辑学家西塔潘在一篇论文《On the Strength of Ramsey’s Theorem》中发现WKL_0并不强于 RT 2 ,于是他猜测可能 RT 2 要强于 WKL 0 。这就诞生理著名的西塔潘猜想,它在反推数学上还有计算理论中具有很重要的地位。这个定理诞生十几年,一直没有人证实。

刘路在接触到西塔潘猜想之后,整整花了两个月的时间研究,当时他还在做别的题目,这些题目也都和西塔潘猜想有千丝万缕的关系。2010年10月的一天,才刚刚大二的刘路突然想到,利用之前用到的一个方法稍作修改就可以证明西塔潘猜想。然后他花了一周的时间写论文,然后用了非常长的时间去修改论文。

刘路对国际数学界十几年来悬而未决的“西塔潘猜想”给出了否定的答案。他将证明过程用英文写出来后,投给了美国芝加哥大学主办的《符号逻辑期刊》。

2011年,刘路的论文在杂志上登载,该杂志的主编在向刘路表示祝贺的同时,也邀请他于当年9月前往美国芝加哥大学,参加数理逻辑学术会议并做专题报告,刘路也成为这次会议上惟一一名来自亚洲高校的参与者。

「我是过去众多研究该问题的无果者之一,看到这一问题最终被你解决,感到非常高兴——特别是你的证明如此漂亮,请接受我对你研究成果的祝贺!

大二花费2个月证明世界性数学难题,大三论文研究成功发表,这就是刘路。

著名数学家收为学生,三大院士致信中央

刘路破解了世界性难题的消息很快传遍了国内,2011年7月初,著名数学家、中南大学博士生导师侯振挺教授专程拜访南京大学数学系博士生导师、数理逻辑专家丁德成教授,与他探讨一些数学问题。丁教授很兴奋地告诉侯教授,“你们中南大学出了个好学生,他叫刘嘉忆!”(刘路投稿的时候用的刘嘉忆的名字)之后介绍了这个学生在数理逻辑领域的研究成果。

侯教授听后,立即打电话和学院了解了刘路的情况,他第二天从外地赶回长沙,当晚就请刘路吃饭,考查了刘路的学术水平后,他连夜给中国科学院李邦河、丁夏畦、林群3位院士介绍了刘路的情况,请3位院士分别致信教育部,申请破格录取刘路为硕博连读生。

李邦河在微分拓扑、低维拓扑、偏微分方程、广义函数、非标准分析以及代数几何和代数机械化等方面均取得了重要成果或重大突破。丁夏畦则长期以来从事偏微分方程和函数空间等方面的研究,林群主要从事计算数学、有限元分析研究,是提出积分方程超收敛的作者之一。

他们三个都是全国著名的数学家,在听完了侯振挺的介绍之后,得知中国数学界出了这样一个少年天才,也特别高兴,立马致信教育部,让刘路提前毕业,破格录取刘路为硕博连读生。并建议教育部有关部门立即采取特殊措施,加强对其学术方面的培养。

因此中南大学决定让他提前大学毕业,并立即录取为硕、博连读的研究生或直接攻读博士学位,中南大学还奖励了刘路100万元,其中50万元用于改善科研条件,50万元用于改善生活条件。

刘路在接受采访的时候,被记者问及钱怎么花,刘路脱口而出买房子,在当时被网友抨击,刘路被利欲消磨了数学的大脑,但刘路的想法很简单,只因为计算过个人所得税,发现买房子是缴税最少、最划算的。

而侯振挺教授也千方百计为他创造条件,鼓励他参加有代表性的学术会议,并立即收他为博士生,共同探讨学术问题。

而当记者问及刘路是如何破解西塔潘猜想时候,刘路表示:

我做这个问题的时候,我不是说看着这个问题,我就是想要解决它,我当时完全没有注意这个问题,而是在想别的一些问题,再想别的问题的时候,然后发现了一些方法,然后后来才,然后又突然发现自己发明了这个方法可以用来解决一些其它的猜想,是这样的一个过程。当然别的专家,肯定做研究的时候也是做,它不可能说十几年,或者是整整几年都一直盯着这个问题,他可能也是一会儿换这个、一会儿换那个问题,然后在这个过程中,应该是像这样的问题没有人会去,很少有人会专门盯着这个问题去做。

这个我觉得真的没有什么,真的说不出来这个为什么,那为什么,为什么JK罗琳就写出《哈利波特》,这个怎么说呢,真的没法去说。

2012年,刘路被破格聘请为正教授级研究员,创造了中国最年轻教授的纪录。

数学家在工作的时候都是靠直觉的,它表面上看那些东西都是很枯燥、很冗长,但是在数学家的头脑中很快就会完成,他们的头脑中都是形成了一些东西的时候,并不是严谨的,一步一步的,都是靠一些直觉,都是靠不严格的直觉去进行推理的。——刘路对数学家的理解,他不认同学习数学就需要严谨这样的言论。

重新出发,选择全新的挑战领域

刘路在破解了西塔潘猜想之后,并没有执着在数理逻辑领域探索,他将数据挖掘作为了自己新的目标,数据挖掘是指从大量的数据中通过算法搜索隐藏于其中信息的过程。数据挖掘通常与计算机科学有关,并通过统计、在线分析处理、情报检索、机器学习、专家系统(依靠过去的经验法则)和模式识别等诸多方法来实现上述目标。

其实继续沿着数理逻辑这条路走下去对于刘路来说,是最佳选择,因为他已经在这个领域取得了成绩,在这个领域他会更加轻松。刘路认为,数理逻辑是纯数学,在实际应用当中没有什么应用,以前虽然对计算机的发展曾经一度起到过很大的应用。但是在实际应用方面也不是特别的突出。

刘路和自己导师

刘路自己也想趁年轻多学点知识也好,再学一些别的领域的知识,在各个领域里面都去尝试一下,而不是一直地去做数理逻辑方面的研究,正如他一开始选择学习纯数学一样。

刘路讲解自己解答西塔潘猜想的思路

即便我在这个领域奋斗了一生,也没有做出我想要做到的那种成果的话,我会比较奥恼,但是我不会后悔我这样的选择,是,我不会后悔这样的选择。因为我觉得做自己喜欢的事情是最主要的。

刘路是一个很沉下心的一个人,并没有被声誉束缚,热爱逻辑、追求程序的理科生特点,在刘路身上表现得淋漓尽致,在他介绍蛙泳技巧时,会来一句“根据能量守恒定律……”;在解释交通事故时,一般人说“行驶中的车子”,他习惯说“运动中的车子”;有人起兴问他,如果可以,想拥有《哈利波特》中的哪项魔法?他不肯回答,执意要先定一个框架,“一般解答数学题都需要一个框架……”

2014年,刘路的全新论文《避免计算——闭集上的所有成员》在国际数学权威杂志《美国数学学会会刊》发表。这篇论文成为了刘路回击网友指责他是「学术骗子」,抨击他被功名所腐蚀或压垮的最强利器。

该杂志评审认为,作者“发明了一个全新的技术……是计算理论和相关领域近年来最重要的贡献之一”。

从数理逻辑跨界到计算机,刘路在短短2年的时间里依然取得了突破,刘路一直在他人生的路上创造着属于他的奇迹。

一个人拥有爱好是最重要的,刘路一直以来都坚定自己数学的梦想,这是他成功的最重要原因,而身为父母,学会培养孩子自主、自律学习的习惯,同时也积极引导孩子拥有自己的目标与爱好,并且尊重鼓励孩子的爱好。

刘路的父母虽然反对刘路学习数学,却没有强加干涉,这就给了刘路自由选择人生机会。

很多人即使缺少攀登珠穆朗玛峰顶的天赋,但他们也会创造属于他的奇迹,关键是看家长懂不懂得去尊重且鼓励孩子的爱好。

有些时候,对于目标和爱好的执着追求,而不计较结果,反而会取得更多的收获:刘路会在感兴趣的一个问题上长时间钻研、思考,不追求分数甚至结果。而更多孩子则总是急着做出结果来,不会做的就去翻标准答案,而不是自己独立思考。


来自:腾讯网

链接:https://new.qq.com/omn/20191118/20191118A0BDGU00.html

回复「进群」即可进入无广告技术交流群。同时送上250本电子书+学习视频作为见面 
有你想看的精彩 微信技术总监:一亿用户背后的架构秘密
如何从 Windows 切换到 Linux
高并发之API接口,分布式,防刷限流,如何做?
阿里的BUG智能定位神器!直接定位线上BUG,超给力!必须收藏!
Java 14 令人期待的 5 大新特性,打包工具终于要来了!
一款SQL自动检查神器,再也不用担心SQL出错了,自动补全、回滚等功能大全
淘宝现重大BUG:坊间传言称3.25出现是程序员报复,被淘宝斥为谣言!淘宝这样回应!

朕已阅 

他成绩一般,大二却破解世界难题,三院士致信中央,22岁破格成教授相关推荐

  1. 计算机系大二学期计划范文,大二学期学习计划范文

    大二学期学习计划范文 大学二年级是大学生在适应大学生活后,正式进入大学自主学习.生活阶段的初始期.下面是小编整理的大二学期学习计划范文,希望能够为大家提供帮助! 大二学期学习计划范文一 过去的一学期, ...

  2. 计算机系大二学期计划范文,大二学期学习计划范文6篇

    大学二年级是大学生在适应大学生活后,正式进入大学自主学习.生活阶段的初始期.本文是大二学期的学习计划范文,仅供参考. 大二学期学习计划范文一 过去的一学期,是辛苦的但又是充满意义的.不知不觉,已经加入 ...

  3. 计算机大二总结范文,大二学年总结范文

    大二学生正处于心理走向成熟的过渡时期,面临恋爱.职业规划.人际关系等综合压力,存在着不同程度的困惑和问题.下面是学习啦小编整理大二学年总结范文的范文,仅供参考,欢迎阅读! 大二学年总结范文篇一 经历了 ...

  4. 炸了!中科大26岁数学家攻克世界难题!12岁读高中,14岁考入中科大少年班.......

    点击上方"计算机视觉工坊",选择"星标" 干货第一时间送达   来源 |  超级数学建模(ID:supermodeling) 昨天数学界立刻就爆出重磅消息:又有 ...

  5. 大学计算机专业,目前大二成绩不好,现面临分专业大数据,物联网,网络工程,该选什么?

    该选什么?目前大二成绩不好,计科.软工.大数据.物联网.网络工程都不适合,对基础要求很高,而且就业饱和,不适合发展~所以可以选择网络安全方向呢. 从近段时间发生的重大网络信息安全新闻就可以看出来网安人 ...

  6. 一个菜鸟从高一到大二的作品整理

    转载理由:看着大神的往昔,真是自叹不如...以此自勉! 一个菜鸟从高一到大二的作品整理 转载理由:有多少人浑浑噩噩过了四年的大学生活,有多少人真正知道自己在大学期间应该追求什么,又有多少人取得了点小成 ...

  7. 大数据:大二上期期末感悟及总结

    学期期末总结 一.期末感悟 1.个人感悟 2.知识积累 3.谦卑心理 4.利用好碎片时间 5.为学历添砖加瓦 6.寒假计划 二.比赛经历及所获荣誉 1.全国高校计算机挑战赛office赛项 2.蓝桥杯 ...

  8. 大四生破解数学难题 丘成桐问是否想去清华深造

    韶关学院大四学生王骁威. 破解世界级数论猜想大学生:中国缺少静心做学问的人   学校正在为他安排破格保研 未来想做图书馆管理员研究学问 韶关学院刚上大四的学生王骁威,否定了数论界多年未解的猜想--&q ...

  9. 我的2013 --岁月划过生命线(大二.上)

    岁月划过生命线(大二.上) 又一次大清早被红马甲查赶出被窝,让哥光着屁股就跑到隔壁宿舍去了,真心恨死他们! 这是一篇最早写于2013.11.26日的日志,通过后来不断地增删改,来总结,回忆自己的大学二 ...

最新文章

  1. constraintlayout布局新特性_安卓ConstraintLayout布局
  2. leetcode 214. 最短回文串 解题报告
  3. 怎样把python源程序发给别人_如何把Python源码打包成EXE文件?以及bug
  4. Java基本语法(14)--for循环结构
  5. linux 磁盘挂载sde,linux lvm挂载新的硬盘并且扩容
  6. 面向对象:包装类、对象处理、类成员
  7. 修改 Joomla! 1.5 的 HTML 输出而不动核心文件 (附api文档)
  8. 我用MRS-ClickHouse构建的用户画像系统,让老板拍手称赞
  9. MacOS Monterey 12.5.1 (21G83) OC 0.8.4 / Cl 5148 / PE 三分区原版黑苹果镜像
  10. 人脸数据库使用授权求助帖
  11. 如何查询Linux软件安装源,Zypper——suse软件查询 安装 升级 与 软件源编辑
  12. 单数据库,多数据库,单实例,多实例不同情况下的数据访问效率测试
  13. Flowable 流程实例
  14. 十大经典系统架构设计面试题
  15. 2022年全球市场燃气烧烤架总体规模、主要生产商、主要地区、产品和应用细分研究报告
  16. ConcurrentHashMap插入与遍历时出现混乱
  17. 啡鸟集:什么样的咖啡豆,才是好的咖啡豆?
  18. 企业如何正确选择云服务商
  19. 监控神器-普罗米修斯Prometheus的安装
  20. 关于switch_to的用法

热门文章

  1. 电网故障定位与隔离(配网自动化)
  2. Microsoft Teams 会议室讲解
  3. 常见行内元素、块级元素、行内块元素
  4. 火鸟数据库 linux,firebird数据库
  5. 《Buildozer打包实战指南》实战打包beautifulsoup (bs4)
  6. c/s程序版本自动升级的问题,如何判断client端版本号是否最新,然后从指定ftp服务器down...
  7. Hugo 博客搭建教程
  8. 复杂网络链路预测的研究现状及展望(2010)
  9. C#版网络对战五子棋以及Socket通信
  10. 广州大学2020操作系统实验二:银行家算法