“西塔潘猜想”破解者刘路(3)


发表时间:2012-06-20 来源:

 

学术会议
  20115月,由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行,还是大三的刘嘉忆参加了这次会议,并做了题为“ Ramsey theorem for pair as second order arithmetic statement does not imply Weak Konig Lemma”的报告。会上,刘嘉忆报告了他对目前反推数学中的拉姆齐(Ramsly)二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun90年代提出的一个猜想,十多年来,许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了Seetapun的猜想。语惊四座,与会专家对眼前这个小伙子刮目相看,由于交流时间紧,新加坡国立大学的两位教授来不及完全相信其证明的正确性,只是鼓励他继续研究。但他已是倍受感动和鼓舞。   好消息随即而来,6月,数理逻辑国际权威杂志《Journal of Symbolic Logic》的主编、逻辑学专家、芝加哥大学数学系Denis Hirschfeldt教授发来了论文评审意见,信中说,我是过去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴,特别如你给出的如此漂亮的证明,请接受我对你的令人赞叹的惊奇的成果的祝贺!同时,Denis Hirschfeldt教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家,他们一起审读,反复商讨,如同发现了新大陆。Denis Hirschfeldt教授对文章中几处小细节进行了简化,附上他修改后的版本,告知刘嘉忆可以任意使用。这对刘嘉忆来说又是一个莫大的鼓励。   说起解决这一问题要归溯到20108月,酷爱数理逻辑的刘嘉忆在学习反推数学的时候第一次接触到这个问题。与此同时,他通过阅读大量文献,发现不少学者在证明Seetapun的猜想,越发对此产生了兴趣。201010月的一天,他突然想到用之前想到的一个方法稍作修改便可以证明这一结论,心脏都快蹦到嗓子眼了,按捺不住内心的激动和兴奋,他通宵达旦地把这一证明写出来,投给了《Journal of Symbolic Logic》杂志。于是就有了开头一幕。[2]
    社会评价
  《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道,看到这一问题的最终解决,他感到非常高兴。他并向刘嘉忆表示祝贺。   论文审稿人芝加哥大学博士达米尔·扎法洛夫认为:这是一个重要的结果,该问题的研究促进了反推数学和计算性理论方面的研究。”   中国科学院李邦河等院士认为,刘嘉忆在大三时就已独立解决了重要的数学难题,可见是难得一见的杰出数学人才。他们建议有关部门采取特殊措施,加强对其学术方面的培养,并在各方面对其进行扶持。   著名数学家、中南大学博士生导师侯振挺教授了解刘嘉忆的情况后,千方百计为他创造条件,鼓励他参加有代表性的学术会议,并收他为徒,共同探讨学术问题。


 

copyright©1998-2017 Lushan International Experimental School All right reserved 
长沙麓山国际实验学校 现代教育技术中心制作  
湘教QS7-201311-001684  湘ICP备05000897号 版权所有