首页English
  • 时政
  • 国际
  • 时评
  • 理论
  • 文化
  • 科技
  • 教育
  • 经济
  • 生活
  • 法治
  • 军事
  • 卫生
  • 健康
  • 女人
  • 文娱
  • 电视
  • 图片
  • 科普
  • 光明报系
  • 更多>>
  • 报 纸
    杂 志
    光明日报 2011年10月28日 星期五

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

    作者: 《光明日报》( 2011年10月28日 01版)

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

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

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

    光明日报
    中华读书报
    文摘报
    出版社
    考试
    博览群书
    书摘

    光明日报社概况 | 关于光明网 | 报网动态 | 联系我们 | 法律声明 | 光明网邮箱 | 网站地图

    光明日报版权所有