中南大學數(shù)學科學與計算技術(shù)學院08級的學生劉嘉憶，成功破解了困擾數(shù)學界十幾年的數(shù)理邏輯難題西塔潘的猜想。不過，這個“爆炸性”的消息，起初并不為大家所熟知。因為劉嘉憶是個筆名，他的本名叫劉路。
中南大學數(shù)學科學與計算技術(shù)學院院長劉再明告訴記者，經(jīng)中國工程院院士、中南大學校長黃伯云批示，學校決定讓劉路提前大學畢業(yè)，并立即錄取為碩、博連讀的研究生或直接攻讀博士學位。
大學生破解西塔潘的猜想
西塔潘的猜想是由英國數(shù)理邏輯學家西塔潘于上個世紀90年代提出的一個猜想，十幾年來許多學者一直努力都沒有解決。
2010年8月，酷愛數(shù)理邏輯的大學生劉路在自學反推數(shù)學的時候，第一次接觸到這個問題。兩個月后，他突然想到利用之前用到的一個方法稍作修改便可以證明這一結(jié)論。他連夜將證明寫出，投給了數(shù)理邏輯國際權(quán)威雜志《符號邏輯雜志》。
今年5月，由北大、南京大學和浙江師大聯(lián)合舉辦的邏輯學術(shù)會議在浙江師范大學舉行，劉路應(yīng)邀參加了這次會議，報告了他對目前反推數(shù)學中的拉姆齊二染色定理的證明論強度的研究。劉路的報告給了這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想。
今年9月16日，美國芝加哥大學數(shù)理邏輯學術(shù)會議，劉路又應(yīng)邀出席。作為亞洲高校唯一一位代表，劉路在會上作了40分鐘報告。他在數(shù)理邏輯方面的研究成果，讓與會專家、學者對這位來自中國的年輕學生贊許不已。
“數(shù)學奇才”平時成績不拔尖
按說，這個“難得一見的杰出數(shù)學人才”應(yīng)該在同學面前嶄露頭角，但每次數(shù)學考試，他的成績并不拔尖。
“這只怪我馬虎慣了?？荚囘^程中，我的演算過程太亂、解答不太標準，都影響加分?！眲⒙访鎸τ浾卟稍L顯得有些羞澀，他的身子很單薄，略顯蒼白的臉上架著一副近視眼鏡。面對一撥又一撥記者的追問，劉路很淡定。
“我出生在大連，小學的時候很淘氣?！敝钡匠踔薪佑|到平面幾何，劉路才對數(shù)學產(chǎn)生了濃厚的興趣，并一直堅持到現(xiàn)在?！皵?shù)學是很好玩的，有的人覺得很高深，但喜歡它就不覺得了?！眲⒙氛J為，自己只是比較喜歡自學。從初中開始，他就開始自學數(shù)學課程。
已有0人發(fā)表了評論