数理逻辑在计算机(微博)科学和人们的生活中占有重要的地位。中南大学(微博)数学科学与计算技术学院2008级本科生刘嘉忆通过潜心研究，成功攻克一个多年未解的国际数学(微博)难题。
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。
2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候第一次接触到这个问题。他在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上世纪90年代提出的一个猜想。十多年来，许多著名研究者一直努力都没有解决。
同年10月的一天，刘嘉忆突然想到用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道，看到这一问题的最终解决，他感到非常高兴。他并向刘嘉忆表示祝贺。
论文审稿人芝加哥大学博士达米尔·扎法洛夫认为：“这是一个重要的结果，该问题的研究促进了反推数学和计算性理论方面的研究。”
中国科学院(微博)李邦河等院士认为，刘嘉忆在大三时就已独立解决了重要的数学难题，可见是难得一见的杰出数学人才。他们建议有关部门采取特殊措施，加强对其学术方面的培养，并在各方面对其进行扶持。
■对话
小时候数学成绩并不突出
刘嘉忆今年22岁，大连人。他说自己性格内向，朋友少，但同学们都叫他“路哥”。8日，记者电话采访了刘嘉忆。
记者：你是从小就喜欢数学吗？
刘：我从小学开始就对数学有很大的兴趣，尤其是上了初中以后，但我的数学成绩在同学当中并不是很突出。
记者：你的兴趣主要体现在哪些方面呢？
刘：我主要是利用课余时间，看了很多数学方面的书。比如我上初三时，看了《古今数学思想集》的第二册。
记者：你高中的成绩如何？
刘：我的学习成绩浮动很大，除了语文比较弱之外，其他科都差不多，成绩好的时候差不多全年级二三十名，差的时候能排到500多名。
相关阅读