优盈娱乐-优盈娱乐注册「官网登陆」

优盈娱乐-优盈娱乐注册「官网登陆」专注于回合制战斗,并且围绕游戏开办了专业比赛,优盈娱乐-优盈娱乐注册「官网登陆」是一个以游戏交流、娱乐休闲为主的温馨家园.我们提供最新的游戏资讯,优盈娱乐-优盈娱乐注册「官网登陆」游戏等众多项目,共同打造全新公益模式。

中南大学本科生“一夜顿解”世界数理逻辑难题

中南大学本科生一夜顿解世界数理逻辑难题 www.hnedu.cn发表时间: 时间标签来源:光明日报 点击: 点击数

新华社长沙10月8日电(记者 黄兴华)数理逻辑在计算机科学和人们的生活中占有重要的地位。中南大学(微博)数学科学与计算技术学院2008级本科生刘嘉忆通过潜心研究,成功攻克一个多年未解的国际数学难题。

(记者唐湘岳 通讯员张留)困扰数学界10余年的西塔潘猜想,被中南大学数学科学与计算技术学院2008级本科生刘路破解了。日前,他应邀参加了在美国芝加哥大学召开的国际数理逻辑会议,并作为亚洲高校参会者唯一在会上作报告者,向与会的专家学者介绍了他在这一领域的研究成果。

数理逻辑是研究推理的数学分支。它使用数学的方法,即一套符号体系来研究推理前提和结论之间的形式关系,故也称符号逻辑。在计算机科学和人们的生活中,数理逻辑发挥着重要的理论指导作用。

西塔潘猜想即反推数学中的拉姆齐二染色定理的证明强度论研究,是由英国数理逻辑学家西塔潘1995年在论文《关于拉姆齐定理的证明论强度》中提出的。在此前,一些专家通过研究,发现大多数数学命题都能归结到5个系统中,西塔潘的论文发现RT这一定理弱于其中一个子系统ACA0,而WKL_0是仅次于ACA0的五个系统中的另一个。他根据论文的证明过程猜测可能RT要强于WKL_0,即西塔潘猜想。该猜想是反推数学中的问题,猜想提出后,引发了反推数学界的大量研究,但一直无人破解。刘路通过研究,证明了RT并不强于WKL_0,从而彻底解决了这一猜想。目前,全世界范围内超过20个专家、学者正对这一问题进行研究。

2010年8月,酷爱数理逻辑的刘嘉忆在自学反推数学的时候第一次接触到这个问题。他在阅读大量文献时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上世纪90年代提出的一个猜想。10多年来,许多著名研究者一直努力都没有解决。

我国著名数学家侯振挺教授表示,虽然西塔潘猜想无法与哥德巴赫猜想相提并论,但本科生能够破解前沿的数学问题确实难得。记者了解到,中南大学校长黄伯云已要求刘路所在学院,根据刘路自己的意愿及兴趣爱好,制定书面的、个性化的培养方案。目前学校已向相关部门申请让刘路破格读研。今日5版刊登深度报道《西塔潘猜想不相信怪才》。

同年10月的一天,刘嘉忆突然想到用之前用到的一个方法稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了数理逻辑国际权威杂志《符号逻辑杂志》。

责任编辑:唐雯娟

《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道,看到这一问题的最终解决,他感到非常高兴。他并向刘嘉忆表示祝贺。

本文由优盈娱乐发布于国际,转载请注明出处:中南大学本科生“一夜顿解”世界数理逻辑难题

相关阅读