新華社長沙10月8日電中南大學數學科學與計算技術學院2008級本科生劉嘉憶通過潛心研究，成功攻克一個多年未解的國際數學難題。

　　數理邏輯是研究推理的數學分支。它使用數學的方法，即一套符號體系來研究推理前提和結論之間的形式關係，故也稱符號邏輯。2010年8月，酷愛數理邏輯的劉嘉憶在自學反推數學的時候第一次接觸到這個問題。他在閱讀大量文獻時發現，海內外不少學者都在進行反推數學中的拉姆齊二染色定理的證明論強度的研究。這是由英國數理邏輯學家西塔潘於上世紀90年代提出的一個猜想。10多年來，許多著名研究者一直努力都沒有解決。同年10月的一天，劉嘉憶突然想到用之前用到的一個方法稍作修改便可以證明這一結論，連夜將這一證明寫出來，投給了數理邏輯國際權威雜誌《符號邏輯雜誌》。《符號邏輯雜誌》主編、邏輯學專家、芝加哥大學數學系教授鄧尼斯·漢斯傑弗德在論文評審意見中寫道，看到這一問題的最終解決，他感到非常高興。他並向劉嘉憶表示祝賀。