劉路
劉路(1989年4月2日—)[1],筆名劉嘉憶,遼寧大連人,畢業於湖南省長沙市中南大學數學科學與計算技術學院,是中南大學教授級研究員。[2]
劉路 | |
---|---|
出生 | 中國遼寧省大連市 | 1989年4月2日
民族 | 漢族 |
母校 | 中南大學 |
職業 | 數學研究者 |
生平
劉父在國有企業後勤部門工作,母親是一家企業的工程師,良好的家庭環境培養了他對理工科尤其是數學的熱愛。[2]他說:「如果要說我與同齡人有什麼不同之處的話,那就是我對數學的特別關注。」,「上初中時,一些同學還在為數學教科書上的習題抓耳撓腮時,我就開始自學數論了。」[2]
2008年,劉路考入了中南大學數學科學與計算技術學院。據媒體描述,在學校里,他每天進出入圖書館,每日在寢室閱讀從圖書館借的全英文數學書籍,一直讀到深夜。[2]大二,劉路開始研究數理邏輯。[2]
2010年,劉路證明了英國數理邏輯學者大衛·西塔潘提出的西塔潘猜想。[2][3][4]2012年,中南大學頒發給劉路100萬元的獎勵,其中50萬元用於改善科研條件,50萬元用於改善生活條件。[3]
榮譽
劉路被提名2012年「影響世界華人盛典希望之星」。[4]
評價
國際邏輯學知名專家、芝加哥大學數學系教授鄧尼斯·漢斯傑弗德寫信評價他:「我是過去眾多研究該問題而無果者之一,看到這一問題的最終解決感到非常高興。」「請接受我對你令人讚嘆的驚奇的成果的祝賀!」[2]
芝加哥大學博士達米爾·扎法洛夫:「這是一個重要的結果,過去20多年許多著名科研工作者在這方面進行努力。該問題的研究促進了反推數學和計算性理論方面的研究。」[2]
參考文獻
- ^ 《“西塔潘猜想”破解者刘路获“希望之星”提名》“刘路,笔名刘嘉忆,1989年4月2日出生于辽宁大连市。”. 2012-03-19 [2017-08-03]. (原始內容存檔於2017年8月4日).
- ^ 2.0 2.1 2.2 2.3 2.4 2.5 2.6 2.7 大三生攻克国际数学难题 三院士致信教育部推荐. 搜狐. 2011-10-09 [2012-03-21]. (原始內容存檔於2011-10-26).
- ^ 3.0 3.1 大四在校生获聘“正教授”. 搜狐. 2012-03-21 [2012-03-21]. (原始內容存檔於2012-05-29).
- ^ 4.0 4.1 22岁“数学奇才”刘路成为目前国内最年轻教授. 搜狐. 2012-03-20 [2012-03-21]. (原始內容存檔於2016-03-04).
外部連結
- Liu, Lu, RT22 does not imply WKL0, The Journal of Symbolic Logic, 2012, 77 (2): 609–620, arXiv:1602.03784 , doi:10.2178/jsl/1333566640
- 劉路在芝加哥大學所做演講的幻燈片 (英文)