周科际）今天，从中南大学传来喜讯，该校数学科学与计算技术学院2008级本科生刘嘉忆通过潜心研究，成功攻克一多年未解的数理逻辑学方面的国际数学难题。据悉，刘嘉忆攻克的这一国际数学难题，是对目前反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究。中国科学院李邦河等院士认为，刘嘉忆在大三时就已独立解决了重要的数学难题，可见是难得一见的杰出数学人才。
本报10月8日讯（记者 姚学文 通讯员 周科际）今天，从中南大学传来喜讯，该校数学科学与计算技术学院2008级本科生刘嘉忆通过潜心研究，成功攻克一多年未解的数理逻辑学方面的国际数学难题。不久前在美国芝加哥大学结束的数理逻辑学术会议上，刘嘉忆作为亚洲高校唯一一位代表在会上做了40分钟报告数学凤凰网站，赢得与会专家的高度好评。
据悉，刘嘉忆攻克的这一国际数学难题，是对目前反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想，10多年来，许多著名研究者一直努力都没有解决。
去年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候第一次接触到这个问题。一下对其有了很大兴趣，立即查阅了大量的文献资料，进行了深入研究。
同年10月的一天，刘嘉忆突然想到用以前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道，刘嘉忆的研究给这一悬而未决的问题一个否定式的回答，彻底解决了Seetapun的猜想。
论文审稿人芝加哥大学博士达米尔·扎法洛夫认为：“这是一个重要的结果，该问题的研究促进了反推数学和计算性理论方面的研究。”
中国科学院李邦河等院士认为数学凤凰网站，刘嘉忆在大三时就已独立解决了重要的数学难题，可见是难得一见的杰出数学人才。他们建议有关部门采取特殊措施，加强对其学术方面的培养，并在各方面对其进行扶持。
据悉，目前刘嘉忆正在学校准备毕业论文，并申请到了美国伯克利等几所知名高校的留学深造的材料。
原创文章，作者：第一财经，如若转载，请注明出处：https://baike.d1.net.cn/1237080.html
相关推荐
-
22考研信息确认该如何准备？
所谓的“信息确认”，就是需要确认网报信息，进一步核实大家网报信息是不是有错误，同时还有缴费以及采集本人图像等相关电子信息。信息确认有两种方式：网上确认和现场确认。如果是网上确认，需要自己准备好证件照(电子版的)，登录指定网站上传。如果忘了考研报名号，可以在研招网上登录你报名时使用的用户名，然后点击“网上报名”，点击之后会出现查询已提交的信息，这样就可以查看你的报名号和报名信息了。
-
国防部发言人就徐才厚案等答问
发布人：国防部新闻事务局副局长、国防部新闻发言人杨宇军大校国防部新闻发言人杨宇军大校答记者问新华社两天前报道，徐才厚受到起诉的原因之一是他利用自己的职务对其他军官的晋升提供帮助，请问对于这些受到徐才厚帮助的人，军方有没有对他们进行调查？杨宇军：关于徐才厚案的一些具体情况，军事检察院的负责人已经作了回应。杨宇军：据了解，你所说的有关外媒报道是不符合事实的。
-
居住证和登记信息 可以自助查询打印_深圳商报数字报
吴维）记者昨日从深圳市公安局获悉，近日居住证系统已在“深圳公安”微信服务号、深圳市公安局门户网站、i深圳手机APP正式推出带有电子章及真伪核验功能的居住证、居住登记信息网上自助查询功能，刷脸登录、免提交证件即可查询、下载、打印本人居住证、居住登记信息，免去现场排队办理困扰。为方便有需要的单位核验信息单、查询单真伪，居住证系统同步上线了“居住证和居住登记信息单核验”功能。
-
好录取，有前途，第45届新东方国际教育展武汉站圆满落幕
本次活动，新东方前途出国CEO孙涛也应邀出席，为现场武汉家长和学子带来了《全球视野下的国际教育选择—2019国际化人才》主题巡讲。下午，新东方教育科技集团助理副总裁、新东方前途出国总裁孙涛给我们展示了最新的留学录取数据及趋势，剖析了武汉学生案例，引起了不少家长的强烈共鸣。
-
教培机构如何借力择校无忧系统实现盈利倍增
择校无忧-智慧生涯完整解决方案，行业首创人工智能报考系统，从“软件支持”“服务支持”“内容支持”“运营支持”四大维度，为教培机构赋能，实现盈利倍增。择校无忧合作伙伴，曾通过与高中预科班打造成组合产品，一周引流转化1000名预科班学员，轻松实现6000名学生转化预科班。通过择校无忧线下校区成功经验复制，帮助机构生源火爆，收益保障，运营无忧。
