《刘路解答西塔潘猜想》由会员分享，可在线阅读，更多相关《刘路解答西塔潘猜想（3页珍藏版）》请在金锄头文库上搜索。
1、2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问 题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染 色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪 90年代 提出的一个猜想，10多年来许多著名研究者一直努力都没有解决。同年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以 证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志符号逻辑 杂志。2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术 会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告 了他对目前反推数学中的拉
2、姆齐二染色定理的证明论强度的研究。刘嘉忆的报 告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。 刘嘉忆，本名刘路，“刘嘉忆”是刘路向国外杂志投稿时用的名字。中南大学数学 科学与计算技术学院2008级本科生，在大三时通过潜心研究成功攻克了一个多年 未解的国际数学难题：反推数学中的拉姆齐二染色定理的证明论强度的研究，引起 世界广泛赞誉。2011年10月，中国科学院李邦河等3名院士分别向教育部写信推 荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即 采取特殊措施，加强对其学术方面的培养。国际反响刘嘉忆（3张）符号逻辑杂志的主编、逻辑学专家、芝加哥大学数学系
3、邓尼斯汉斯杰弗 德看到论文后给他写信：“我是过去众多研究该问题而无果者之一，看到这一问题 的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你令人赞 叹的惊奇的成果的祝贺！”同时，邓尼斯汉斯杰弗德教授高兴地将刘嘉忆的研究 介绍给了其他几位同仁和专家，他们一起审读、反复商讨。论文审稿人、芝加哥大学博士达米尔扎法洛夫也认为：“这是一个重要的结 果，过去20多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反 推数学和计算性理论方面的研究。”2011年9月16日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的 许多数理逻辑专家、学者。大会邀请了 12位专家、学者作学术报告，
4、刘嘉忆作为 亚洲高校唯一一位代表在会上作了 40分钟报告。他在数理逻辑方面的研究成果， 让与会专家、学者对这位来自中国的“80后”投上赞许的目光。中国反响为了让刘嘉忆尽快进入该领域的学习和研究工作，中南大学决定让他提前大学 毕业，并立即录取为硕、博连读的研究生或直接攻读博士学位。2011年7月，著名数学家、中南大学博士生导师侯振挺教授了解刘嘉忆的情况 后，千方百计为他创造条件，鼓励他参加有代表性的学术会议，并收他为徒，共同 探讨学术问题。中国科学院院士李邦河、丁夏畦、林群得知刘嘉忆的成就后，分别向教育部有 关部门负责同志写信推荐。在信中他们说，刘嘉忆同学在大三的时候就已经独立解 决了重要的数学
5、难题，可见他是难得一见的杰出数学人才。个人经历个人情况刘嘉忆本名刘路，“刘嘉忆”是刘路向国外杂志投稿时用的名字。1989年生， 今年22岁，大连人，1.75米的个头，体重只有55公斤。他说自己性格内向，朋友 少，目前是中南大学数学科学与计算技术学院2008级本科生。但同学们都叫他“路哥”。家庭情况祖籍大连的刘嘉忆,芝加哥参加数理逻辑学术会议父亲在当地一家国有企业后勤部门工作，母亲在一家企业任工程师。他告诉记者， 父母并没有给予他数学方面的遗传基因和教育，自己上小学时也没有对数学表现出 特别的爱好。数学学习“如果要说我与同龄人有什么不同之处的话，那就是我对数学的特别关注。” 刘嘉忆说，“上初中时
6、，一些同学还在为数学教科书上的习题抓耳挠腮时，我就开 始自学数论了。”数论就是指研究整数性质的一门理论。刘嘉忆说，当时，对其他同学来说，看 初等数论中的整除理论、同余理论、连分数理论像是在看“天书”，而他却学得津 津有味。2008年，刘嘉忆以优异的成绩考上中南大学数学科学与计算技术学院。按说， 有了扎实的数学基础，刘嘉忆应该在同学面前崭露头角，但每次数学考试，他的成 绩并不拔尖。刘嘉忆的同学高涛说，在课堂上，他并没有表现得与众不同，但每到课余时 间，他就会去图书馆，一回来，准会带上一大堆全英文数学书籍，常常捧着看到深 夜。同学问他题目，发现他的思路与他人不一样，还会用更简单的方法来计算或解 释
7、。大二时，刘嘉忆开始学习数理逻辑。数理逻辑是数学基础的一个不可缺少的组 成部分。相对其他数学课程，他对此表现出特别的偏爱。他的任课老师也看出了他 的不一般，给予他许多指导和鼓励。何伟教授在组合学课程中提及拉姆齐二染色定 理这正是刘嘉忆几个月来冥想苦思的问题。从此，他更坚定了攻克这个难题的 信心。“其实，我在思考这个命题时好像灵光一现，论证倒没有花费太多的时间。” 刘嘉忆说，“如果一定要总结点什么，可能与我平时的积累有关吧。”其他爱好刘嘉忆坦言，除了数学，还喜欢物理，但他权衡了一下，物理需要做大量的试 验，需要成本，对一个学生来说还没那么多资金。他还喜欢心理学，他曾设计了一 组关于认知的心理实验，然而他更热衷于数理逻辑。他说这些等到他 40岁以后再 来做，40岁以前要攻数学。学习现状刘嘉忆说，前不久他投给美国数学会汇刊的论文获得威士康星大学、伯克 利大学等几位教授很高的评价，有望公开发表。目前，刘嘉忆正准备学习模型论。“这是数理逻辑的主要分支之一，研究形式 语言与其模型之间的关系，将来研究要再上台阶，必须具备扎实的基础知识。”他 说
