劉嘉憶（圖片來(lái)源：中南大學(xué)新聞網(wǎng)）
新華網(wǎng)長(zhǎng)沙１０月９日電（記者 黃興華）日前，中國(guó)科學(xué)院李邦河等３名院士分別向教育部寫信推薦，請(qǐng)予破格錄取中南大學(xué)大四學(xué)生劉嘉憶為研究生，并建議教育部有關(guān)部門立即采取特殊措施，加強(qiáng)對(duì)其學(xué)術(shù)方面的培養(yǎng)。
一個(gè)名不見(jiàn)經(jīng)傳的莘莘學(xué)子為何能夠引起科技界前輩如此關(guān)注？這緣于近年劉嘉憶通過(guò)潛心研究成功攻克了一個(gè)多年未解的國(guó)際數(shù)學(xué)難題。
國(guó)際邏輯學(xué)知名專家、芝加哥大學(xué)數(shù)學(xué)系教授鄧尼斯·漢斯杰弗德寫信稱：“我是過(guò)去眾多研究該問(wèn)題而無(wú)果者之一，看到這一問(wèn)題的最終解決感到非常高興。”“請(qǐng)接受我對(duì)你令人贊嘆的驚奇的成果的祝賀！”
大三學(xué)生攻克國(guó)際數(shù)學(xué)難題
數(shù)理邏輯是研究推理的數(shù)學(xué)分支。它使用數(shù)學(xué)的方法，即一套符號(hào)體系來(lái)研究推理前提和結(jié)論之間的形式關(guān)系，故也稱符號(hào)邏輯。在計(jì)算機(jī)科學(xué)和人們的生活中，數(shù)理邏輯發(fā)揮著重要的理論指導(dǎo)作用。
２０１０年８月，酷愛(ài)數(shù)理邏輯的劉嘉憶在自學(xué)反推數(shù)學(xué)的時(shí)候，第一次接觸到這個(gè)問(wèn)題，并在閱讀大量文獻(xiàn)時(shí)發(fā)現(xiàn)，海內(nèi)外不少學(xué)者都在進(jìn)行反推數(shù)學(xué)中的拉姆齊二染色定理的證明論強(qiáng)度的研究。這是由英國(guó)數(shù)理邏輯學(xué)家西塔潘于上個(gè)世紀(jì)９０年代提出的一個(gè)猜想，１０多年來(lái)許多著名研究者一直努力都沒(méi)有解決。
同年１０月的一天，劉嘉憶突然想到利用之前用到的一個(gè)方法稍作修改便可以證明這一結(jié)論，連夜將這一證明寫出來(lái)，投給了數(shù)理邏輯國(guó)際權(quán)威雜志《符號(hào)邏輯雜志》。
今年５月，由北京大學(xué)、南京大學(xué)和浙江師范大學(xué)聯(lián)合舉辦的邏輯學(xué)術(shù)會(huì)議在浙江師范大學(xué)舉行，還是大三學(xué)生的劉嘉憶應(yīng)邀參加了這次會(huì)議，報(bào)告了他對(duì)目前反推數(shù)學(xué)中的拉姆齊二染色定理的證明論強(qiáng)度的研究。劉嘉憶的報(bào)告給這一懸而未決的公開(kāi)問(wèn)題一個(gè)否定式的回答，徹底解決了西塔潘的猜想。
《符號(hào)邏輯雜志》的主編、邏輯學(xué)專家、芝加哥大學(xué)數(shù)學(xué)系鄧尼斯·漢斯杰弗德看到論文后給他寫信：“我是過(guò)去眾多研究該問(wèn)題而無(wú)果者之一，看到這一問(wèn)題的最終解決感到非常高興，特別如你給出的如此漂亮的證明，請(qǐng)接受我對(duì)你令人贊嘆的驚奇的成果的祝賀！”同時(shí)，鄧尼斯·漢斯杰弗德教授高興地將劉嘉憶的研究介紹給了其他幾位同仁和專家，他們一起審讀、反復(fù)商討。
論文審稿人、芝加哥大學(xué)博士達(dá)米爾·扎法洛夫也認(rèn)為：“這是一個(gè)重要的結(jié)果，過(guò)去２０多年許多著名科研工作者在這方面進(jìn)行努力。該問(wèn)題的研究促進(jìn)了反推數(shù)學(xué)和計(jì)算性理論方面的研究。”
９月１６日，美國(guó)芝加哥大學(xué)數(shù)理邏輯學(xué)術(shù)會(huì)議上，云集了來(lái)自歐美的許多數(shù)理邏輯專家、學(xué)者。大會(huì)邀請(qǐng)了１２位專家、學(xué)者作學(xué)術(shù)報(bào)告，劉嘉憶作為亞洲高校唯一一位代表在會(huì)上作了４０分鐘報(bào)告。他在數(shù)理邏輯方面的研究成果，讓與會(huì)專家、學(xué)者對(duì)這位來(lái)自中國(guó)的“８０后”投上贊許的目光。