三湘都市報
中南大學數學科學與計算技術學院08級的學生劉嘉憶，成功破解了困擾數學界十幾年的數理邏輯難題----西塔潘的猜想。不過，這個“爆炸性”的消息，起初並不為大家所熟知。因為劉嘉憶是個筆名，他的本名叫劉路。
 |
點 擊 圖 片 看 原 圖 |
劉路在美國芝加哥參加數理邏輯學術會議期間的留影。劉路供圖
 |
點 擊 圖 片 看 原 圖 |
丁夏畦：這是很了不得的事情，在大學裏，從來沒有聽說過，也沒見過（破解數學猜想）。
中南大學數學科學與計算技術學院院長劉再明告訴記者，經中國工程院院士、中南大學校長黃伯雲批示，學校決定讓劉路提前大學畢業，並立即錄取為碩、博連讀的研究生或直接攻讀博士學位。
大學生破解西塔潘的猜想
西塔潘的猜想是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個猜想，十幾年來許多學者一直努力都沒有解決。
2010年8月，酷愛數理邏輯的大學生劉路在自學反推數學的時候，第一次接觸到這個問題。兩個月後，他突然想到利用之前用到的一個方法稍作修改便可以證明這一結論。他連夜將證明寫出，投給了數理邏輯國際權威雜誌《符號邏輯雜誌》。
今年5月，由北大、南京大學和浙江師大聯合舉辦的邏輯學術會議在浙江師範大學舉行，劉路應邀參加了這次會議，報告了他對目前反推數學中的拉姆齊二染色定理的證明論強度的研究。劉路的報告給了這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想。
今年9月16日，美國芝加哥大學數理邏輯學術會議，劉路又應邀出席。作為亞洲高校唯一一位代表，劉路在會上作了40分鍾報告。他在數理邏輯方麵的研究成果，讓與會專家、學者對這位來自中國的年輕學生讚許不已。
| “數學奇才”平時成績不拔尖
按說，這個“難得一見的傑出數學人才”應該在同學麵前嶄露頭角，但每次數學考試，他的成績並不拔尖。 “這隻怪我馬虎慣了。考試過程中，我的演算過程太亂、解答不太標準，都影響加分。”劉路麵對記者采訪顯得有些羞澀，他的身子很單薄，略顯蒼白的臉上架著一副近視眼鏡。麵對一撥又一撥記者的追問，劉路很淡定。 “我出生在大連，小學的時候很淘氣。”直到初中接觸到平麵幾何，劉路才對數學產生了濃厚的興趣，並一直堅持到現在。“數學是很好玩的，有的人覺得很高深，但喜歡它就不覺得了。”劉路認為，自己隻是比較喜歡自學。從初中開始，他就開始自學數學課程。 他明年有望成為新科博士 今年7月，著名數學家、中南大學博士生導師侯振挺教授了解劉路的情況後，千方百計為他創造條件，鼓勵他參加有代表性的學術會議，並收他為徒。中國科學院院士李邦河、丁夏畦、林群得知劉路的成就後，分別向教育部有關部門負責人寫信推薦。在信中他們說，劉路同學在大三的時候就已經獨立解決了重要的數學難題，可見他是難得一見的傑出數學人才。 如果不出意外，劉路將出現在2012級新科博士生行列，於明年春天正式開始博士生課程的學習。不過，劉路所要攻讀的博士生課程的方向和導師，目前都還沒有完全確定。 劉路向記者坦言，除了數學，他還喜歡物理，但他權衡了一下，物理需要做大量的試驗，需要成本，對一個學生來說還沒那麽多資金。 劉路還喜歡心理學，他曾設計了一組關於認知的心理實驗。然而他更熱衷於數理邏輯，他說其他感興趣的東西等到40歲以後再來做，40歲前要專心攻數學。 獨家秘笈 閉關修行的數學奇才 劉路的同學高濤說，在課堂上，劉路並沒有表現得與眾不同。但每到課餘時間，劉路就會去圖書館，一回來，準會帶上一大堆全英文數學書籍，常常捧著看到深夜。同學問他題目，發現他的思路與他人不一樣，還會用更簡單的方法來計算或解釋。 劉路說，在思考這個命題時好像靈光一現，論證倒沒有花費太多的時間。如果一定要總結點什麽，可能與他平時的積累有關吧。 |
