中南大学网络教育行政管理本科毕业论文_中南大学网络教育学院

　　2011年，美国芝加哥大学主办的《符号逻辑期刊》收到了一篇论文。《符号逻辑期刊》是数理逻辑领域的国际权威杂志，该刊主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德教授看到这篇论文是关于西塔潘猜想的，非常感兴趣，仔细研读之后，他非常开心，因为困扰数学界十几年的西塔潘猜想终于被人破解。

　　他将论文刊登在了《符号逻辑期刊》上，他还邀请论文作者于当年9月前往美国芝加哥大学，参加数理逻辑学术会议并做专题报告。

　　国外的数学界都因为西塔潘猜想被破解而雀跃，消息传到了中国，中国数学界也大受震动，因为这篇论文的作者是一个名叫“jiayi liu”的中国数学家，“jiayi liu”是谁，中国数学界从来都没有听过这个名字。

刘嘉忆成绩一般，从小热爱数学

　　之所以没有听过，是因为，“jiayi liu”是一名来自中南大学的学生，他的真名叫做刘路，刘路出生于1990年，从来他就不是老师关注的对象，因为他的成绩一般，他的名字常常在班级成绩单的两端出现，好的时候能排名班级十几名，差的时候倒数七八名。

　　刘路的数学成绩并不是很突出，文科比较薄弱。他的老师怎么样也不会想到刘路居然是一个数学天才少年。

　　但很多人都不知道的是，早在小学的时候，刘路就已经对数学非常感兴趣，在初中的时候，他就已经开始自学数论了，而到了高中刘路其实已经在自学大学数学了，2008年，刘路参加高考，这次发挥却非常不错，成功考取了中南大学，当他决定选择应用数学这个专业时，刘路遭到了父母的反对，父母认为刘路并没有数学家的天赋，不过刘路的父母虽然反对刘路学习数学，却没有强加干涉，刘路顺利成为了中南大学数学科学与计算技术学院的一名学生学生。

　　在大学的刘路一开始也并没有什么亮眼的表现，除了因为想要出国留学而英语成绩突出之外，其他成绩在学院都一般。

多月研究，破解西塔潘猜想

　　刘路之所以成绩一般，是因为他一直沉迷在自我的数学世界中，他对于外界的事物都不怎么关注，他在大二的时候接触到了反推数学，反推数学（Reverse Mathematics）是数理逻辑的一个小分支，是从定理（陈述）到公理的研究，与通常的数学（从 公理到定理）方向刚好相反。

　　研究反推数学的时候，刘路刚好看到了西塔潘猜想，在反推数学中，研究的其实是二阶算术的各个子系统以及它们的强度关系，而最重要的是被称为Big Five的五个子系统RCA0，WKL0，ACA0。那么WKL 0 是基本系统 RCA 0 添加弱柯尼希定理的系统，而 RCA 0 添加拉姆齐二染色定理的系统被称为 RT² 2（不在Big Five，类似还有RT³ 2 ，在此不表）。经过若干数学家的研究，他们发现了一些子系统间存在强弱的比较关系：和 RT² 2 形式接近的 RT³ 2 比 ACA 0 要强(其实一样)，而 RT² 2 则不比 ACA 0 强（ACA0比WKL0强是基本的）等等。

　　从这些结果，他们隐约认为 RT² 2和WKL0的强度是可以比较的，1995年英国数理逻辑学家西塔潘在一篇论文《On the Strength of Ramsey's Theorem》中发现 WKL0并不强于 RT² 2，于 是他猜测可能 RT² 2要强于WKL0，这就是著名的西塔潘猜想。这一猜想引发了大量研究，世界上许多著名的科研者都在努力证明，而 对该问题的研究促进了反推数学和计算性理论方面的研究。

　　而刘路经过两个多月的研究之后发现，刘路对国际数学界十几年来悬而未决的“西塔潘猜想”给出了否定的答案。刘路的英文一直都不错，所以他就写了一篇英文论文投稿给了《符号逻辑期刊》。而他没有想到，这篇论文会让他轰动世界。

　　中国数学界一开始并没有听过““jiayi liu”这个名字，后来他论文作者的介绍知道是中南大学的学生，

　　2011年5月，北京大学、南京大学和浙江师范大学在杭州联合举办逻辑学术会议，会议邀请刘路报告了对拉姆齐二染色定理的证明论强度的研究，在场数学家都给予了充分肯定。不过这个时候，刘路在中国数学界的名气还只是小范围知道。

3院士上书中央，22岁成正教授

　　直到2011年7月初，著名数学家、中南大学博士生导师侯振挺教授去南京大学数学系博士生导师、数理逻辑专家丁德成教授家中做客，与他探讨一些数学问题。丁教授很兴奋地告诉侯教授，“你们中南大学出了个好学生，他叫刘嘉忆！”之后介绍了这个学生在数理逻辑领域的研究成果。

　　这让侯振挺教授非常惊讶，立即打电话和学院了解了刘路的情况，他第二天从外地赶回长沙，当晚就请刘路吃饭，考察了刘路的学术水平后。

　　他连夜给中国科学院李邦河、丁夏畦、林群3位院士介绍了刘路的情况，请3位院士分别致信教育部，申请破格录取刘路为硕博连读生。将其作为青年教师后备人才，进入数学家侯振挺教授研究所，从事研究工作。

　　2012年3月，中南大学破格聘任刘路为中南大学正教授级研究员。当时，22岁的刘路成为我国最年轻的正教授级研究员。根据校方规定，刘路获得100万元的奖励。其中50万元用于改善科研条件，50万元用于改善生活条件。与此同时，刘路获学校推荐其参加国家"青年千人计划"的评选。

　　后来的刘路并没有伤仲永，2013年，他发表了《避免计算——闭集上的所有成员》论文，主要将原来用于解决"西塔潘猜想"的方法进行推广并应用到其他问题中，侯振挺教授评价说，刘路的这篇论文比第一篇论文水平更高，可解决计算理论领域一系列问题。

　　我们在中南大学对刘路的介绍中，可以看到，这些年，刘路发表了一系列的研究成果，最新的一篇是今年7月发表的《Subclass of effective supermartingales: completeness》。

　　刘路曾经说过：“我对科学的热爱是天然的，几乎没有任何功利心。我跟着自己的感觉走，并没有过多地考虑前途、命运和后果。对于我来说，学习数学就是一种玩。 ”我想这就是刘路为什么能够在数学的王国里屡有斩获的原因。