劉嘉憶——人物介紹

        劉路，筆名劉嘉憶，中南大學數學科學與計算技術學院應用數學專業08級本科生。他經過自己的努力，作出了對拉姆齊（Ramsly）二染色定理的證明論強度的研究，被認為徹底解決了英國數理邏輯學家Seetapun于90年代提出的一個猜想。 

          今年5月，由北京大學等聯合舉辦的邏輯學術會議上，還是大三的劉嘉憶報告了他對目前反推數學中的拉姆齊(Ramsly)二染色定理的證明論強度的研究。這是由英國數理邏輯學家Seetapun于上個世紀90年代提出的一個猜想，十多年來，許多著名研究者一直努力都沒有解決。劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答，徹底解決了Seetapun的猜想。 

         祖籍大連的劉嘉憶，父親在當地一家國有企業后勤部門工作，母親在一家企業任工程師。他告訴記者，父母并沒有給予他數學方面的遺傳基因和教育，自己上小學時也沒有對數學表現出特別的愛好。

“如果要說我與同齡人有什么不同之處的話，那就是我對數學的特別關注。”劉嘉憶說，“上初中時，一些同學還在為數學教科書上的習題抓耳撓腮時，我就開始自學數論了。”

數論就是指研究整數性質的一門理論。劉嘉憶說，當時，對其他同學來說，看初等數論中的整除理論、同余理論、連分數理論像是在看“天書”，而他卻學得津津有味。

2008年，劉嘉憶以優異的成績考上中南大學數學科學與計算技術學院。按說，有了扎實的數學基礎，劉嘉憶應該在同學面前嶄露頭角，但每次數學考試，他的成績并不拔尖。他對此解釋說：“這只怪我馬虎慣了。考試過程中，我的演算過程太亂、解答不太標準，都影響加分。”而他的同學則認為，劉嘉憶當時在數學領域涉獵范圍十分廣泛，不太在意學校的每次考試，不愿在同學面前顯山露水。

劉嘉憶的同學高濤說，在課堂上，他并沒有表現得與眾不同，但每到課余時間，他就會去圖書館，一回來，準會帶上一大堆全英文數學書籍，常常捧著看到深夜。同學問他題目，發現他的思路與他人不一樣，還會用更簡單的方法來計算或解釋。“我們當時都知道他對數學鉆得很深，也知道他肯定會有所收獲。”高濤說。

大二時，劉嘉憶開始學習數理邏輯。數理邏輯是數學基礎的一個不可缺少的組成部分。相對其他數學課程，他對此表現出特別的偏愛。他的任課老師也看出了他的不一般，給予他許多指導和鼓勵。何偉教授在組合學課程中提及拉姆齊二染色定理這正是劉嘉憶幾個月來冥想苦思的問題。從此，他更堅定了攻克這個難題的信心。

“其實，我在思考這個命題時好像靈光一現，論證倒沒有花費太多的時間。”劉嘉憶說，“如果一定要總結點什么，可能與我平時的積累有關吧。”