我校2008年毕业生刘嘉忆同学，考入中南大学后，通过潜心研究，成功攻克一个多年未解的国际数学难题。被各大媒体争先报道，以下是新华网和湘南教育网的详细报道。

      新华网长沙１０月８日电（记者黄兴华）数理逻辑在计算机科学和人们的生活中占有重要的地位。中南大学数学科学与计算技术学院２００８级本科生刘嘉忆通过潜心研究，成功攻克一个多年未解的国际数学难题。

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

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

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

　　《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道，看到这一问题的最终解决，他感到非常高兴。他并向刘嘉忆表示祝贺。

　　论文审稿人芝加哥大学博士达米尔·扎法洛夫认为：“这是一个重要的结果，该问题的研究促进了反推数学和计算性理论方面的研究。”

　　中国科学院李邦河等院士认为，刘嘉忆在大三时就已独立解决了重要的数学难题，可见是难得一见的杰出数学人才。他们建议有关部门采取特殊措施，加强对其学术方面的培养，并在各方面对其进行扶持。

        湘南教育网10月8日报道

       近日，在美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者，大会还邀请了十二位专家、学者作学术报告。中南大学数学科学与计算技术学院2008级本科生刘嘉忆作为亚洲高校唯一一位代表在会上作了40分钟报告，他在数理逻辑方面的研究成果，使与会专家纷纷向这位来自中国的22岁年轻后生投来赞许的目光。

　　一篇论文引发国际反响

　　今年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，中南大学大三学子刘嘉忆应邀参加了这次会议，并作了对目前反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究报告。这是由英国数理逻辑学家Seetapun于上世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，语惊四座。

　　6月，数理逻辑国际权威杂志《Journal of Symbolic Logic》主编、逻辑学专家、芝加哥大学数学系Denis Hirschfeldt教授发来了论文评审意见，信中说，“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你的令人赞叹的惊奇的成果的祝贺！”

　　“路哥”还喜欢心理学

　　其实刘嘉忆的真名叫刘路，“嘉忆”是他的笔名。

　　同学眼中的刘路是这样的：高挑的个子，一副眼镜，一顶棒球帽，背个双肩包，每天像上班一样，一早就去图书馆，有时可能要到下午才回来；背回来一大堆英文书籍，翻开一本，满是英文和符号，虽然不知道刘嘉忆看的是什么书，但他们清楚，这家伙肯定会干出一番成绩。他偶尔也会打打游戏，但常常捧着那些书看到深夜，计算到凌晨。同学问他题目，他会用简单的方法来计算或解释，有时一个公式就可以搞定，同学说他“牛”，称他为“路哥”。

　　不苟言笑，内向，甚至有些腼腆的刘路，其实更喜欢“嘉忆”这个名字，他希望自己能给人们带来美好的回忆。他还喜欢物理，但物理需要做大量的试验，需要成本，对一个学生来说还没那么多资金；他喜欢心理学，曾设计了一组关于认知的心理实验。然而，他更热衷于数理逻辑，他说等到他40岁以后再来做，40岁以前要攻数学！(通讯员 唐百友 记者 岳霞)