剑网三宠物横小五:本科生“一夜顿解”世界数理逻辑难题
来源:百度文库 编辑:中财网 时间:2024/05/04 17:10:55
本科生“一夜顿解”世界数理逻辑难题
困扰数学界10余年的“西塔潘猜想”,被中南大学数学科学与计算技术学院2008级本科生刘路(笔名刘嘉忆)破解了。日前,他应邀参加了在美国芝加哥大学召开的国际数理逻辑会议,并作为亚洲高校参会者唯一在会上作报告者,向与会的专家学者介绍了他在这一领域的研究成果。
“西塔潘猜想”即反推数学中的拉姆齐二染色定理的证明强度论研究,是由英国数理逻辑学家西塔潘1995年在论文《关于拉姆齐定理的证明论强度》中提出的。在此前,一些专家通过研究,发现大多数数学命题都能归结到5个系统中,西塔潘的论文发现RT这一定理弱于其中一个子系统ACA0,而WKL_0是仅次于ACA0的五个系统中的另一个。他根据论文的证明过程猜测可能RT要强于WKL_0,即“西塔潘猜想”。该猜想是反推数学中的问题,猜想提出后,引发了反推数学界的大量研究,但一直无人破解。刘路通过研究,证明了RT并不强于WKL_0,从而彻底解决了这一猜想。目前,全世界范围内超过20个专家、学者正对这一问题进行研究。
我国著名数学家
《 光明日报》(
数理逻辑
世界难题
世界难题!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
世界难题!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
世界难题
数理逻辑题目
数理逻辑题
数理逻辑题目
求几道世界逻辑难题
求解世界逻辑难题
世界三大难题
世界难题,数学
一个世界电脑难题!!!
世界文学难题!
世界大难题
来,世界难题!!
世界超级IQ难题
谁能解这道世界难题
世界数学难题有多少,
关于 世界 7 大难题!
世界七大数学难题求解
世界七大数学难题是什么?
数理逻辑的题目
数理逻辑的题目啊