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

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

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

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

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

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

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

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

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

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

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