中南大学数学天才

刘路，笔名 刘嘉忆， 中南大学数学科学与计算技术学院应用数学专业08级本科生。高中曾就读于 大连育明高中。他经过自己的努力，作出了对 拉姆齐（Ramsly）二染色定理的证明论强度的研究，被认为彻底解决了 英国数理逻辑学家Seetapun于90年代提出的一个猜想。 相关事件　　今年5月，由 北京大学、 南京大学和 浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三的刘嘉忆参加了这次会议，并做了题为 “ Ramsey theorem for pair as second order arithmetic statement does not imply Weak Konig Lemma”的报告。会上，刘嘉忆报告了他对目前反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了Seetapun的猜想。语惊四座，与会专家对眼前这个小伙子刮目相看，由于交流时间紧， 新加坡国立大学的两位教授来不及完全相信其证明的正确性，只是鼓励他继续研究。但他已是倍受感动和鼓舞。
　　好消息随即而来，6月，数理逻辑国际权威杂志《Journal of Symbolic Logic》的主编、逻辑学专家、 芝加哥大学数学系Denis Hirschfeldt教授发来了论文评审意见，信中说，“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你的令人赞叹的惊奇的成果的祝贺！”同时，Denis Hirschfeldt教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家，他们一起审读，反复商讨，如同发现了 新大陆。Denis Hirschfeldt教授对文章中几处小细节进行了简化，附上他修改后的版本，告知刘嘉忆可以任意使用。这对刘嘉忆来说又是一个莫大的鼓励。
　　说起解决这一问题要归溯到2010年8月，酷爱数理逻辑的刘嘉忆在学习反推数学的时候第一次接触到这个问题。与此同时，他通过阅读大量文献，发现不少学者在证明Seetapun的猜想，越发对此产生了兴趣。2010年10月的一天，他突然想到用之前想到的一个方法稍作修改便可以证明这一结论，心脏都快蹦到嗓子眼了，按捺不住内心的激动和兴奋，他通宵达旦地把这一证明写出来，投给了《Journal of Symbolic Logic》杂志。于是就有了开头一幕。 社会评价　　《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道，看到这一问题的最终解决，他感到非常高兴。他并向刘嘉忆表示祝贺。
　　论文审稿人芝加哥大学博士达米尔·扎法洛夫认为：“这是一个重要的结果，该问题的研究促进了反推数学和计算性理论方面的研究。”
　　 中国科学院 李邦河等院士认为，刘嘉忆在大三时就已独立解决了重要的数学难题，可见是难得一见的杰出数学人才。他们建议有关部门采取特殊措施，加强对其学术方面的培养，并在各方面对其进行扶持。
　　著名数学家、中南大学 博士生导师 侯振挺教授了解刘嘉忆的情况后，千方百计为他创造条件，鼓励他参加有代表性的学术会议，并收他为徒，共同探讨学术问题。
　　中南大学数学科学与计算技术学院院长刘再明说，为了让刘嘉忆尽快进入该领域的学习和研究工作，学校决定让他提前大学毕业，并立即录取为硕、博连读的研究生或直接攻读博士学位。 个人其他信息　　祖籍 大连的刘嘉忆，父亲在当地一家国有企业后勤部门工作，母亲在一家企业任工程师。他告诉记者，父母并没有给予他数学方面的遗传基因和教育，自己上小学时也没有对数学表现出特别的爱好。
　　“如果要说我与同龄人有什么不同之处的话，那就是我对数学的特别关注。”刘嘉忆说，“上初中时，一些同学还在为数学教科书上的习题抓耳挠腮时，我就开始自学数论了。”
　　数论就是指研究整数性质的一门理论。刘嘉忆说，当时，对其他同学来说，看初等数论中的整除理论、同余理论、连分数理论像是在看“天书”，而他却学得津津有味。
　　2008年，刘嘉忆以优异的成绩考上中南大学数学科学与计算技术学院。按说，有了扎实的数学基础，刘嘉忆应该在同学面前崭露头角，但每次数学考试，他的成绩并不拔尖。他对此解释说：“这只怪我马虎惯了。考试过程中，我的演算过程太乱、解答不太标准，都影响加分。”而他的同学则认为，刘嘉忆当时在数学领域涉猎范围十分广泛，不太在意学校的每次考试，不愿在同学面前显山露水。
　　刘嘉忆的同学 高涛说，在课堂上，他并没有表现得与众不同，但每到课余时间，他就会去图书馆，一回来，准会带上一大堆全英文数学书籍，常常捧着看到深夜。同学问他题目，发现他的思路与他人不一样，还会用更简单的方法来计算或解释。“我们当时都知道他对数学钻得很深，也知道他肯定会有所收获。”高涛说。
　　大二时，刘嘉忆开始学习数理逻辑。数理逻辑是数学基础的一个不可缺少的组成部分。相对其他数学课程，他对此表现出特别的偏爱。他的任课老师也看出了他的不一般，给予他许多指导和鼓励。 何伟教授在组合学课程中提及 拉姆齐二染色定理这正是刘嘉忆几个月来冥想苦思的问题。从此，他更坚定了攻克这个难题的信心。
　　“其实，我在思考这个命题时好像灵光一现，论证倒没有花费太多的时间。”刘嘉忆说，“如果一定要总结点什么，可能与我平时的积累有关吧。”