据新华社长沙10月8日电 数理逻辑在计算机科学和人们的生活中占有重要的地位。中南大学数学科学与计算技术学院2008级本科生刘嘉忆通过潜心研究，成功攻克一个多年未解的国际数学难题。
　　数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。
　　2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候第一次接触到这个问题。他在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上世纪90年代提出的一个猜想。10多年来，许多著名研究者一直努力都没有解决。同年10月的一天，刘嘉忆突然想到用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
　　《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道，看到这一问题的最终解决，他向刘嘉忆表示祝贺。