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

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

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

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

【本科生“一夜頓解”世界數(shù)理邏輯難題】相關(guān)文章：

世界未解之謎作文12-21

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

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

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

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

難題11-07

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

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

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

難題的作文07-07