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

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

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

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

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

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

    中國科學院李邦河等院士認為，劉嘉憶在大三時就已獨立解決了重要的數學難題，可見是難得一見的傑出數學人才。他們建議有關部門採取特殊措施，加強對其學術方面的培養，並在各方面對其進行扶持。