刘路千人 “西塔潘猜想”破解者刘路获“影响世界华人盛典”提名

荆楚网消息(记者 盛小航 通讯员廖瑾)中南大学数学科学与计算技术学院2008级学生刘路(笔名刘嘉忆),近日获得凤凰卫视等十余家知名华文媒体和机构联合推选的世界因你而美丽——影响世界华人盛典“希望之星”奖项提名。

一道在数理逻辑学中沉寂了二十年的难题——“西塔潘猜想”,被22岁的刘路一举破解。2011年5月,在北京大学、南京大学和浙江师大联合举办的逻辑学术会议上,刘嘉忆报告了他对猜想的研究,这个于上世纪90年代提出的,曾经难倒许多研究者甚至是一些著名数学家的问题被彻底解决。

“西塔潘猜想”由英国数理逻辑学家Seetapun于1990年代提出。它涉及反推数学中“拉姆齐二染色定理”和“弱寇妮定理”的证明论强度问题。Seetapun猜测,“拉姆齐二染色定理”的证明论强度强于“弱寇妮定理”。

过去二十多年来,许多著名科研工作者都试图破解,但未能如愿。2010年8月,刘路第一次接触到了“西塔潘猜想”,之后他阅读了大量相关文献,对其兴趣越发浓厚。两个月后,他突然想到可以试着将以前的一个方法改进后来证明结论,于是着手一试。

刘嘉忆回忆说,当时真可以用“灵光一闪”来形容自己的思绪,想到这种可能的时候,一向淡定的自己兴奋得“心脏都快要跳出来了”。于是他生怕忘记似的立即跑回宿舍,涂涂写写用了一大堆算草纸,又连夜用英文写出证明过程,做完这些事情后,他立即将结果通过E-mail发给了美国芝加哥大学主办的数理逻辑界国际权威杂志《符号逻辑杂志》。

2011年6月,刘嘉忆收到了《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德的回信,他说,“我是过去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴,特别是你给出的如此漂亮的证明,请接受我对你令人赞叹的惊奇的成果的祝贺!

”汉斯杰弗德教授将刘路的研究介绍给其他几位专家,他们一起审读,如同发现了新大陆。芝加哥大学博士达米尔·扎法洛夫认为:“这是一个重要的结果,促进了反推数学和计算性理论方面的研究。

”此外,汉斯杰弗德教授还对他论文中的几处细节进行了简化,并附上修改后的版本,告知他可以任意使用。2011年9月16日,刘路被邀请在美国芝加哥大学数理逻辑学术会议上作了40分钟报告,他是这次会议上亚洲高校的唯一参与者。

成功破解“西塔潘猜想”让大三学生刘路“一夜成名”,现在的他,已经提前完成本科学业,并得到中国科学院3位院士的推荐,被特批硕博连读,校方还为他量身定制一套具体的求学方案。面对这些,刘路觉得,“能够在比较宽松的学习环境中完成初步的理想,自己比别人幸运。”在刘路看来,他痴迷的数学“有一种不可抗拒的魅力,是最纯粹、最本质的艺术表现”,他希望也自己能像崇拜的数学领域的偶像们那样,将数学当作毕生的事业。

“世界因你而美丽——影响世界华人盛典2011-2012”是凤凰卫视及凤凰网策划发起,北京青年报、欧洲时报和北京大学等十余家单位在全世界富有广泛影响力的华文媒体和机构共同主办的华人年度盛事,至今已成功举办五届。

华人盛典由来自主办机构的百名资深媒体人推选出本年度身处新闻大事件核心、在不同领域成就卓著、对世界具影响力并受全世界关注的10余位杰出华人,对他们颁授“影响世界华人大奖”和“影响世界华人终身成就奖”。大奖分为科学研究、公共事务、文化艺术、体育竞技和希望之星等五个类别。

“世界因你而美丽——影响世界华人盛典2011-2012”将于3月31日在北京大学百周年纪念讲堂举行,凤凰卫视及凤凰网会在当晚通过卫星和网络向全球直播,而这些华语圈的精英媒体人也会齐聚典礼现场,代表全球华人观众向获奖人提问。