据10月8日电数理逻辑在计算机科学和人们的生活中占有重要的地位。中南大学数学科学与计算技术学院2008级本科生刘嘉忆通过潜心研究，成功攻克一个多年未解的国际数学难题。
2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候第一次接触到这个问题。他在阅读大量文献时发现，不少学者都在进行反推数学中的拉姆齐二染色的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上世纪90年代提出的一个猜想。10多年来，许多著名研究者一直努力都没有解决。
同年10月的一天，刘嘉忆突然想到用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威《符号逻辑》。
《符号逻辑》主编、逻辑学专家、大学数学系教授邓尼斯 汉斯杰弗德在论文评审意见中写道，看到这一问题的最终解决，他感到非常高兴，并向刘嘉忆表示祝贺。
本文由 790游戏（www.790.kim）整理发布
网友评论 ()条 查看