大三生攻克国际数学难题三院士致信教育部推荐_新闻台

　　青春，在数学王国飞扬——记攻克国际数学难题的中南大学学生刘嘉忆

刘嘉忆（图片来源：中南大学新闻网）

　　新华网长沙10月9日电（记者黄兴华）日前，中国科学院李邦河等3名院士分别向教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。

　　一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。

　　国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺！”

　　大三学生攻克国际数学难题

　　数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。

　　2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，10多年来许多著名研究者一直努力都没有解决。

　　同年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。

　　今年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。

　　《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德看到论文后给他写信：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你令人赞叹的惊奇的成果的祝贺！”同时，邓尼斯·汉斯杰弗德教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家，他们一起审读、反复商讨。

　　论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为：“这是一个重要的结果，过去20多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。”

　　9月16日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者。大会邀请了12位专家、学者作学术报告，刘嘉忆作为亚洲高校唯一一位代表在会上作了40分钟报告。他在数理逻辑方面的研究成果，让与会专家、学者对这位来自中国的“80后”投上赞许的目光。

　　“40岁以前要攻数学”

　　刘嘉忆的成功无疑给中南大学师生以莫大鼓舞。数学科学与计算技术学院院长刘再明告诉记者，为了让刘嘉忆尽快进入该领域的学习和研究工作，学校决定让他提前大学毕业，并立即录取为硕、博连读的研究生或直接攻读博士学位。

　　今年7月，著名数学家、中南大学博士生导师侯振挺教授了解刘嘉忆的情况后，千方百计为他创造条件，鼓励他参加有代表性的学术会议，并收他为徒，共同探讨学术问题。

　　中国科学院院士李邦河、丁夏畦、林群得知刘嘉忆的成就后，分别向教育部有关部门负责同志写信推荐。在信中他们说，刘嘉忆同学在大三的时候就已经独立解决了重要的数学难题，可见他是难得一见的杰出数学人才。

　　刘嘉忆向记者坦言，除了数学，他还喜欢物理，但他权衡了一下，物理需要做大量的试验，需要成本，对一个学生来说还没那么多资金。他还喜欢心理学，他曾设计了一组关于认知的心理实验，然而他更热衷于数理逻辑。他说这些等到他40岁以后再来做，40岁以前要攻数学。

　　刘嘉忆告诉记者，前不久他投给《美国数学会汇刊》的论文获得威士康星大学、伯克利大学等几位教授很高的评价，有望公开发表。

　　目前，刘嘉忆正准备学习模型论。“这是数理逻辑的主要分支之一，研究形式语言与其模型之间的关系，将来研究要再上台阶，必须具备扎实的基础知识。”他说。

责任编辑：见红蕊