刘嘉忆(本名刘路)在美国芝加哥参加数理逻辑学术会议期间的留影。

  刘嘉忆(本名刘路),中南大学数学科学与计算技术学院2008级本科生。

  继今年上半年他攻克一个十多年悬而未决国际数学难题后,不久前在美国芝加哥大学结束的数理逻辑学术会议上,他作为亚洲高校唯一一位代表在会上做了40分钟报告,报告了他在数理逻辑方面的研究成果,语惊四座。

  这个国庆长假,他在学校准备毕业论文,还有申请到美国伯克利等几所知名高校的留学深造的材料。

  今年5月,由北京大学等联合举办的逻辑学术会议上,还是大三的刘嘉忆报告了他对目前反推数学中的拉姆齐(Ramsly)二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想,十多年来,许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了Seetapun的猜想。