漂亮的證明

數(shù)理邏輯是研究推理的數(shù)學分支，也稱符號邏輯。在計算機科學和人們的生活中，數(shù)理邏輯發(fā)揮著重要的理論指導作用。

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

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

今年5月，由北京大學、南京大學和浙江師范大學聯(lián)合舉辦的邏輯學術(shù)會議在浙江師范大學舉行，還是大三學生的劉嘉憶應邀報告了他對拉姆齊二染色定理的證明論強度的研究。劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想。

《符號邏輯雜志》的主編、邏輯學專家、芝加哥大學數(shù)學系鄧尼斯·漢斯杰弗德看到論文后給劉嘉憶寫信：“我是過去眾多研究該問題而無果者之一，看到這一問題的最終解決感到非常高興，特別是如你給出的如此漂亮的證明，請接受我對你令人贊嘆的驚奇的成果的祝賀！”

論文審稿人、芝加哥大學博士達米爾·扎法洛夫也認為：“這是一個重要的結(jié)果，過去20多年許多著名科研工作者在這方面努力。該問題的研究促進了反推數(shù)學和計算性理論方面的研究。”

9月16日，美國芝加哥大學數(shù)理邏輯學術(shù)會議上，云集來自歐美的許多數(shù)理邏輯專家、學者。劉嘉憶作為亞洲高校唯一一位代表在會上作了40分鐘報告。他在數(shù)理邏輯方面的研究成果，讓與會專家、學者對這位來自中國的“80后”投上贊許的目光。