據新華社長沙10月8日電(記者黃興華)數理邏輯在計算機科學和人們的生活中佔有重要的地位。中南大學數學科學與計算技術學院2008級本科生劉嘉憶通過潛心研究，成功攻克一個多年未解的國際數學難題。

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

　　同年10月的一天，劉嘉憶突然想到用之前用到的一個方法稍作修改便可以證明這一結論，連夜將這一證明寫出來，投給了數理邏輯國際權威雜誌《符號邏輯雜誌》。

　　《符號邏輯雜誌》主編、邏輯學專家、芝加哥大學數學系教授鄧尼斯·漢斯傑弗德在論文評審意見中寫道，看到這一問題的最終解決，他感到非常高興。他並向劉嘉憶表示祝賀。

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