劉路

劉路（1989年4月2日—）^[1]，筆名劉嘉憶，遼寧大連人，畢業於湖南省長沙市中南大學數學科學與計算技術學院，是中南大學教授級研究員。^[2]

劉路
出生	(1989-04-02) 1989年4月2日（36歲）  中國遼寧省大連市
民族	漢族
母校	中南大學
職業	數學研究者

生平

劉父在國有企業後勤部門工作，母親是一家企業的工程師，良好的家庭環境培養了他對理工科尤其是數學的熱愛。^[2]他說：「如果要說我與同齡人有什麼不同之處的話，那就是我對數學的特別關注。」，「上初中時，一些同學還在為數學教科書上的習題抓耳撓腮時，我就開始自學數論了。」^[2]

2008年，劉路考入了中南大學數學科學與計算技術學院。據媒體描述，在學校里，他每天進出入圖書館，每日在寢室閱讀從圖書館借的全英文數學書籍，一直讀到深夜。^[2]大二，劉路開始研究數理邏輯。^[2]

2010年，劉路證明了英國數理邏輯學者大衛·西塔潘（英語：David Seetapun）提出的西塔潘猜想。^[2][3][4]2012年，中南大學頒發給劉路100萬元的獎勵，其中50萬元用於改善科研條件，50萬元用於改善生活條件。^[3]

榮譽

劉路被提名2012年「影響世界華人盛典希望之星」。^[4]

評價

國際邏輯學知名專家、芝加哥大學數學系教授鄧尼斯·漢斯傑弗德（Denis Hirschfeldt）寫信評價他：「我是過去眾多研究該問題而無果者之一，看到這一問題的最終解決感到非常高興。」「請接受我對你令人讚嘆的驚奇的成果的祝賀！」^[2]芝加哥大學數學系博士生達米爾·扎法洛夫（Damir Dzhafarov）：「這是一個重要的結果，過去20多年許多著名科研工作者在這方面進行努力。該問題的研究促進了反推數學和計算性理論方面的研究。」^[2]