中南大學(xué)數(shù)學(xué)科學(xué)與計算技術(shù)學(xué)院08級的學(xué)生劉嘉憶，成功破解了困擾數(shù)學(xué)界十幾年的數(shù)理邏輯難題西塔潘的猜想。不過，這個“爆炸性”的消息，起初并不為大家所熟知。因為劉嘉憶是個筆名，他的本名叫劉路。

中南大學(xué)數(shù)學(xué)科學(xué)與計算技術(shù)學(xué)院院長劉再明告訴記者，經(jīng)中國工程院院士、中南大學(xué)校長黃伯云批示，學(xué)校決定讓劉路提前大學(xué)畢業(yè)，并立即錄取為碩、博連讀的研究生或直接攻讀博士學(xué)位。

大學(xué)生破解西塔潘的猜想

西塔潘的猜想是由英國數(shù)理邏輯學(xué)家西塔潘于上個世紀(jì)90年代提出的一個猜想，十幾年來許多學(xué)者一直努力都沒有解決。

2010年8月，酷愛數(shù)理邏輯的大學(xué)生劉路在自學(xué)反推數(shù)學(xué)的時候，第一次接觸到這個問題。兩個月后，他突然想到利用之前用到的一個方法稍作修改便可以證明這一結(jié)論。他連夜將證明寫出，投給了數(shù)理邏輯國際權(quán)威雜志《符號邏輯雜志》。

今年5月，由北大、南京大學(xué)和浙江師大聯(lián)合舉辦的邏輯學(xué)術(shù)會議在浙江師范大學(xué)舉行，劉路應(yīng)邀參加了這次會議，報告了他對目前反推數(shù)學(xué)中的拉姆齊二染色定理的證明論強(qiáng)度的研究。劉路的報告給了這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想。

今年9月16日，美國芝加哥大學(xué)數(shù)理邏輯學(xué)術(shù)會議，劉路又應(yīng)邀出席。作為亞洲高校唯一一位代表，劉路在會上作了40分鐘報告。他在數(shù)理邏輯方面的研究成果，讓與會專家、學(xué)者對這位來自中國的年輕學(xué)生贊許不已。

“數(shù)學(xué)奇才”平時成績不拔尖

按說，這個“難得一見的杰出數(shù)學(xué)人才”應(yīng)該在同學(xué)面前嶄露頭角，但每次數(shù)學(xué)考試，他的成績并不拔尖。

“這只怪我馬虎慣了?？荚囘^程中，我的演算過程太亂、解答不太標(biāo)準(zhǔn)，都影響加分?！眲⒙访鎸τ浾卟稍L顯得有些羞澀，他的身子很單薄，略顯蒼白的臉上架著一副近視眼鏡。面對一撥又一撥記者的追問，劉路很淡定。

“我出生在大連，小學(xué)的時候很淘氣?！敝钡匠踔薪佑|到平面幾何，劉路才對數(shù)學(xué)產(chǎn)生了濃厚的興趣，并一直堅持到現(xiàn)在?！皵?shù)學(xué)是很好玩的，有的人覺得很高深，但喜歡它就不覺得了?！眲⒙氛J(rèn)為，自己只是比較喜歡自學(xué)。從初中開始，他就開始自學(xué)數(shù)學(xué)課程。