人物关系共1人

侯振挺

老师

侯振挺（1936年3月-），出生于河南省新密市，毕业于唐山铁道学院，数学家。 其长期从事概率论特别是马尔可夫过程的研究，曾获得国家自然科学三等奖、国家教委科技进步二等奖、罗庚数学奖等奖项，代表著作有《齐次可列马尔可夫过程》《逐段决定马尔可夫骨架过程》等。

全文

人物经历

教育经历

2008年9月-2011年12月，就读于中南大学数学科学与计算技术学院，获得学士学位9。

2011年7月，中南大学博士生导师侯振挺教授了解刘路的情况后，千方百计为他创造条件，鼓励他参加有代表性的学术会议，并收他为徒，共同探讨学术问题；10月，中南大学特批刘路硕博连读，并为其量身打造培养方案后，还将其作为青年教师后备人才，进入数学家侯振挺教授研究所，从事研究工作。

2012年9月-2016年12月，就读于中南大学，获得博士学位。

学术经历

2010年，中南大学宣布刘路证明了英国数理逻辑学者西塔潘（英语：David Seetapun）提出的西塔潘猜想，其论文名为"RT_2^2 does not imply WKL_0"，发表在《符号逻辑杂志》（Journal of Symbolic Logic）2012年第二期609-602页。

2011年5月，参加了由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议，并做了题为“ Ramsey theorem for pair as second order arithmetic statement does not imply Weak Konig Lemma”的报告。会上，刘路报告了他对目前反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究。

2011年9月16日，作为亚洲高校唯一一位代表，他应邀出席美国芝加哥大学数理逻辑学术会议，并作了40分钟报告。

刘路

2012年3月20日，中南大学召开的新闻发布会上，时任校长张尧学宣布，破格聘任攻克国际数学难题的在校学生刘路为中南大学正教授级研究员。根据校方规定，刘路获得100万元的奖励，其中50万元用于改善科研条件，50万元用于改善生活条件。

主要成就

2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，10多年来许多著名研究者一直努力都没有解决。

同年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑杂志《符号逻辑杂志》。

2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个肯定的回答，彻底解决了西塔潘的猜想7。

荣誉记录