
一篇論文引發(fā)國際反響
今年5月,由北京大學(xué)(微博)、南京大學(xué)(微博)和浙江師范大學(xué)聯(lián)合舉辦的邏輯學(xué)術(shù)會議在浙江師范大學(xué)舉行,中南大學(xué)大三學(xué)子劉嘉憶應(yīng)邀參加了這次會議,并作了對目前反推數(shù)學(xué)中的拉姆齊(Ramsly)二染色定理的證明論強度的研究報告。這是由英國數(shù)理邏輯學(xué)家Seetapun于上世紀(jì)90年代提出的一個猜想,十多年來,許多研究者一直努力都沒有解決。劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答,語驚四座。
6月,數(shù)理邏輯國際權(quán)威雜志《Journal of Symbolic Logic》主編、邏輯學(xué)專家、芝加哥大學(xué)數(shù)學(xué)系Denis Hirschfeldt教授發(fā)來了論文評審意見,信中說,“我是過去眾多研究該問題而無果者之一,看到這一問題的最終解決感到非常高興,特別如你給出的如此漂亮的證明,請接受我對你的令人贊嘆的驚奇的成果的祝賀!”
“路哥”還喜歡心理學(xué)
其實劉嘉憶的真名叫劉路,“嘉憶”是他的筆名。
同學(xué)眼中的劉路是這樣的:高挑的個子,一副眼鏡,一頂棒球帽,背個雙肩包,每天像上班一樣,一早就去圖書館,有時可能要到下午才回來;背回來一大堆英文書籍,翻開一本,滿是英文和符號,雖然不知道劉嘉憶看的是什么書,但他們清楚,這家伙肯定會干出一番成績。他偶爾也會打打游戲,但常常捧著那些書看到深夜,計算到凌晨。同學(xué)問他題目,他會用簡單的方法來計算或解釋,有時一個公式就可以搞定,同學(xué)說他“牛”,稱他為“路哥”。
不茍言笑,內(nèi)向,甚至有些靦腆的劉路,其實更喜歡“嘉憶”這個名字,他希望自己能給人們帶來美好的回憶。他還喜歡物理,但物理需要做大量的試驗,需要成本,對一個學(xué)生來說還沒那么多資金;他喜歡心理學(xué),曾設(shè)計了一組關(guān)于認(rèn)知的心理實驗。然而,他更熱衷于數(shù)理邏輯,他說等到他40歲以后再來做,40歲以前要攻數(shù)學(xué)!