本科生“一夜頓解”世界數理邏輯難題

　　困擾數學界10余年的“西塔潘猜想”,被中南大學數學科學與計算技術學院2008級本科生劉路(筆名劉嘉憶)破解了。日前,他應邀參加了在美國芝加哥大學召開的國際數理邏輯會議,并作為亞洲高校參會者唯一在會上作報告者,向與會的專家學者介紹了他在這一領域的研究成果。

　　“西塔潘猜想”即反推數學中的拉姆齊二染色定理的證明強度論研究,是由英國數理邏輯學家西塔潘1995年在論文《關于拉姆齊定理的證明論強度》中提出的。在此前,一些專家通過研究,發現大多數數學命題都能歸結到5個系統中,西塔潘的論文發現RT這一定理弱于其中一個子系統ACA0,而WKL_0是僅次于ACA0的五個系統中的另一個。他根據論文的證明過程猜測可能RT要強于WKL_0,即“西塔潘猜想”。該猜想是反推數學中的問題,猜想提出后,引發了反推數學界的大量研究,但一直無人破解。劉路通過研究,證明了RT并不強于WKL_0,從而徹底解決了這一猜想。目前,全世界范圍內超過20個專家、學者正對這一問題進行研究。

　　我國著名數學家侯振挺教授表示,雖然“西塔潘猜想”無法與“哥德巴赫猜想”相提并論,但本科生能夠破解前沿的數學問題確實難得。記者了解到,中南大學校長黃伯云已要求劉路所在學院,根據劉路自己的意愿及興趣愛好,制定書面的、個性化的培養方案。目前學校已向相關部門申請讓劉路破格讀研。(記者唐湘岳 通訊員張留)

【本科生“一夜頓解”世界數理邏輯難題】相關文章：

世界未解之謎作文12-21

(優)世界未解之謎作文12-21

世界未解之謎讀書筆記12-04

《世界未解之謎》讀書筆記09-11

世界未解之謎讀書筆記02-01

難題11-07

《世界未解之迷》讀書筆記12-04

世界未解之謎作文精品（7篇）12-22

世界未解之謎閱讀心得通用10篇11-20

難題的作文07-07