劉嘉憶

　　劉嘉憶本名劉路，是中南大學數(shù)學科學與計算技術學院2008級本科生。繼今年上半年他攻克一個十多年懸而未決的國際數(shù)學難題后，不久前在美國芝加哥大學結(jié)束的數(shù)理邏輯學術會議上，他作為亞洲高校唯一一位代表在會上做了40分鐘報告，報告了他在數(shù)理邏輯方面的研究成果，語驚四座。這個國慶長假，他在學校準備畢業(yè)論文，還有申請到美國伯克利等幾所知名高校留學深造的材料。

數(shù)學難題 十余年未解

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

　　6月，數(shù)理邏輯國際權威雜志《符號邏輯雜志》的主編、邏輯學專家、芝加哥大學數(shù)學系鄧尼斯·漢斯杰弗德教授給劉嘉憶發(fā)來了論文評審意見，信中說，“我是過去眾多研究該問題而無果者之一，看到這一問題的最終解決感到非常高興，請接受我對你令人贊嘆的、驚奇的成果的祝賀！”

　　論文審稿人芝加哥大學博士達米爾·扎法洛夫認為：“這是一個重要的結(jié)果，該問題的研究促進了反推數(shù)學和計算性理論方面的研究。”

　　中國科學院李邦河等院士建議有關部門采取特殊措施，加強對其學術方面的培養(yǎng)，并在各方面對其進行扶持。

校長批示 碩博連讀

　　發(fā)現(xiàn)劉嘉憶，還有一段佳話。今年7月初，著名數(shù)學家、中南大學博士生導師侯振挺教授聽南京大學一個教授說：“你們中南大學出了個好學生！”之后介紹了這個學生在數(shù)理邏輯領域的研究成果。

　　侯教授聽后立即尋找，然而查遍了數(shù)學學院學生檔案，也查無此人。侯教授根據(jù)劉嘉憶的電子郵箱地址發(fā)出了一封郵件，很快收到回信。原來，劉嘉憶是2008級應用數(shù)學專業(yè)學生劉路，“劉嘉憶”是他向國外雜志投稿時用的名字。侯教授返校后，立即要求與劉嘉憶見面，并收劉嘉憶做他的學生。侯教授說，一個本科生能寫出如此高水平的論文，這樣的人才不可多得。

　　中南大學校長黃伯云了解此事后，批示劉嘉憶碩博連讀。

記者連線

“破解數(shù)學難題純屬偶然”

　　劉嘉憶是中南大學數(shù)學科學與計算技術學院2008級本科生，今年22歲，大連人，1.75米的個頭，體重只有55公斤。他說自己性格內(nèi)向，朋友少，但同學們都叫他“路哥”。

　　劉嘉憶在總結(jié)學習數(shù)學心得時說：做自己喜歡的事，保持一顆好奇心，對所學的知識、所做的事有天然的興趣。

　　昨天上午，記者電話采訪了劉嘉憶。

小時候數(shù)學成績并不突出

　　記者：你是從小就喜歡數(shù)學嗎？

　　劉嘉憶（以下簡稱“劉”）：我從小學開始就對數(shù)學有很大的興趣，尤其是上了初中以后，但我的數(shù)學成績在同學當中并不是很突出。

　　記者：你的興趣主要體現(xiàn)在哪些方面呢？

　　劉：我主要是利用課余時間，看了很多數(shù)學方面的書。比如我上初三時，看了《古今數(shù)學思想集》的第二冊。

　　記者：你高中的成績?nèi)绾危?/P>

　　劉：我的學習成績浮動很大，除了語文比較弱之外，其他科都差不多，成績好的時候差不多全年級二三十名，差的時候能排到500多名。

一晚上沒睡把證明寫出來

　　記者：你考大學選擇這個專業(yè)是你自己的選擇嗎？

　　劉：我父母對我喜歡數(shù)學并不是很支持，媽媽比較反對，爸爸持中立態(tài)度，他們認為學數(shù)學以后不好找工作，但并沒有太多干涉，還是尊重了我的選擇。

　　記者：這個國際數(shù)學難題是如何破解的？

　　劉：我并不是一直把精力放到這個問題上的。

　　說起解決這一問題要追溯到2010年8月，我在自學反推數(shù)學的時候第一次接觸到這個問題。我通過閱讀大量文獻，發(fā)現(xiàn)不少學者在證明西塔潘的猜想，越發(fā)對此產(chǎn)生了興趣。

　　2010年10月的一天，我突然想到用之前想到的一個方法稍作修改便可以證明這一結(jié)論，當時心臟都快蹦到嗓子眼了，按捺不住內(nèi)心的激動和興奮，一晚上沒睡把這一證明寫出來，然后投給了《符號邏輯雜志》。

　　綜合《法制晚報》新華社報道

名詞解釋

數(shù)理邏輯

　　數(shù)理邏輯是研究推理的數(shù)學分支。

　　它使用數(shù)學的方法，即一套符號體系來研究推理前提和結(jié)論之間的形式關系，故也稱符號邏輯。在計算機科學和人們的生活中，數(shù)理邏輯發(fā)揮著重要的理論指導作用。