中南大学刘嘉忆 记攻克国际数学难题的中南大学学生刘嘉忆
记攻克国际数学难题的中南大学学生刘嘉忆
长沙10月9日电，日前,中国科学院李邦河等3名院士分别向教育部写信推荐,请予破格录取中南大学大四学生刘嘉忆为研究生,并建议教育部有关部门立即采取特殊措施,加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注?这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称:"我是过去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴。""请接受我对你令人赞叹的惊奇的成果的祝贺!"
大三学生攻克国际数学难题
数理逻辑是研究推理的数学分支。它使用数学的方法,即一套符号体系来研究推理前提和结论之间的形式关系,故也称符号逻辑。在计算机科学和人们的生活中,数理逻辑发挥着重要的理论指导作用。
2010年8月,酷爱数理逻辑的刘嘉忆在自学反推数学的时候,第一次接触到这个问题,并在阅读大量文献时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想,10多年来许多著名研究者一直努力都没有解决。
同年10月的一天,刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了数理逻辑国际权威杂志《符号逻辑杂志》。
今年5月,由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行,还是大三学生的刘嘉忆应邀参加了这次会议,报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了西塔潘的猜想。
《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德看到论文后给他写信:"我是过去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴,特别如你给出的如此漂亮的证明,请接受我对你令人赞叹的惊奇的成果的祝贺!"同时,邓尼斯·汉斯杰弗德教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家,他们一起审读、反复商讨。
论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为:"这是一个重要的结果,过去20多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。"
9月16日,美国芝加哥大学数理逻辑学术会议上,云集了来自欧美的许多数理逻辑专家、学者。大会邀请了12位专家、学者作学术报告,刘嘉忆作为亚洲高校唯一一位代表在会上作了40分钟报告。他在数理逻辑方面的研究成果,让与会专家、学者对这位来自中国的"80后"投上赞许的目光。
机会只留给有准备的人
单薄的身子,略显苍白的脸上架着一副近视眼镜,说话间不时而至的羞涩表情,这是记者8日在中南大学校园见到刘嘉忆时的第一印象。"我能走到今天这一步,只是运气比别人好些吧!"面对记者探究的目光,刘嘉忆淡淡地说。
祖籍大连的刘嘉忆,父亲在当地一家国有企业后勤部门工作,母亲在一家企业任工程师。他告诉记者,父母并没有给予他数学方面的遗传基因和教育,自己上小学时也没有对数学表现出特别的爱好。"如果要说我与同龄人有什么不同之处的话,那就是我对数学的特别关注。"刘嘉忆说,"上初中时,一些同学还在为数学教科书上的习题抓耳挠腮时,我就开始自学数论了。"
