本科生“一夜頓解”世界數理邏輯難題
困擾數學界10余年的“西塔潘猜想”,被中南大學數學科學與計算技術學院2008級本科生劉路(筆名劉嘉憶)破解了。日前,他應邀參加了在美國芝加哥大學召開的國際數理邏輯會議,并作為亞洲高校參會者唯一在會上作報告者,向與會的專家學者介紹了他在這一領域的研究成果。
“西塔潘猜想”即反推數學中的拉姆齊二染色定理的證明強度論研究,是由英國數理邏輯學家西塔潘1995年在論文《關于拉姆齊定理的證明論強度》中提出的。在此前,一些專家通過研究,發現大多數數學命題都能歸結到5個系統中,西塔潘的論文發現RT這一定理弱于其中一個子系統ACA0,而WKL_0是僅次于ACA0的五個系統中的另一個。他根據論文的證明過程猜測可能RT要強于WKL_0,即“西塔潘猜想”。該猜想是反推數學中的問題,猜想提出后,引發了反推數學界的大量研究,但一直無人破解。劉路通過研究,證明了RT并不強于WKL_0,從而徹底解決了這一猜想。目前,全世界范圍內超過20個專家、學者正對這一問題進行研究。
我國著名數學家侯振挺教授表示,雖然“西塔潘猜想”無法與“哥德巴赫猜想”相提并論,但本科生能夠破解前沿的數學問題確實難得。記者了解到,中南大學校長黃伯云已要求劉路所在學院,根據劉路自己的意愿及興趣愛好,制定書面的、個性化的培養方案。目前學校已向相關部門申請讓劉路破格讀研。(記者唐湘岳 通訊員張留)
中國大學網 http://www.gz-dh.cn (責任編輯：卜范龍)【本科生“一夜頓解”世界數理邏輯難題】相關文章：
世界未解之謎作文12-21
(優)世界未解之謎作文12-21
世界未解之謎讀書筆記12-04
《世界未解之謎》讀書筆記09-11
世界未解之謎讀書筆記02-01
難題11-07
《世界未解之迷》讀書筆記12-04
世界未解之謎作文精品（7篇）12-22
世界未解之謎閱讀心得通用10篇11-20
難題的作文07-07