刘路
| 刘路 | |
|---|---|
| 出生 | 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 - 刘路在芝加哥大学所做演讲的幻灯片 （英文）
