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