數(shù)理邏輯在計算機(微博)科學和人們的生活中占有重要的地位。中南大學(微博)數(shù)學科學與計算技術(shù)學院2008級本科生劉嘉憶通過潛心研究，成功攻克一個多年未解的國際數(shù)學(微博)難題。

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

　　2010年8月，酷愛數(shù)理邏輯的劉嘉憶在自學反推數(shù)學的時候第一次接觸到這個問題。他在閱讀大量文獻時發(fā)現(xiàn)，海內(nèi)外不少學者都在進行反推數(shù)學中的拉姆齊二染色定理的證明論強度的研究。這是由英國數(shù)理邏輯學家西塔潘于上世紀90年代提出的一個猜想。十多年來，許多著名研究者一直努力都沒有解決。

　　同年10月的一天，劉嘉憶突然想到用之前用到的一個方法稍作修改便可以證明這一結(jié)論，連夜將這一證明寫出來，投給了數(shù)理邏輯國際權(quán)威雜志《符號邏輯雜志》。《符號邏輯雜志》主編、邏輯學專家、芝加哥大學數(shù)學系教授鄧尼斯·漢斯杰弗德在論文評審意見中寫道，看到這一問題的最終解決，他感到非常高興。他并向劉嘉憶表示祝賀。

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

　　中國科學院(微博)李邦河等院士認為，劉嘉憶在大三時就已獨立解決了重要的數(shù)學難題，可見是難得一見的杰出數(shù)學人才。他們建議有關(guān)部門采取特殊措施，加強對其學術(shù)方面的培養(yǎng)，并在各方面對其進行扶持。

　　■對話

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

　　劉嘉憶今年22歲，大連人。他說自己性格內(nèi)向，朋友少，但同學們都叫他“路哥”。8日，記者電話采訪了劉嘉憶。

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

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

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

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

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

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