劉路
| 劉路 | |
|---|---|
| 出生 | 1989年4月2日 中國遼寧省大連市 |
| 民族 | 漢族 |
| 母校 | 中南大學 |
| 職業 | 數學研究者 |
劉路（1989年4月2日—）[1]，筆名劉嘉憶，遼寧大連人，畢業於湖南省長沙市中南大學數學科學與計算技術學院，是中南大學教授級研究員。[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 - 劉路在芝加哥大學所做演講的幻燈片 （英文）
