西塔潘的猜想(西塔潘猜想证明的原文)万万没想到

经过若干数学家的研究，他们发现了一些子系统间存在强弱的比较关系:和 RT² 2 形式接近的 RT³ 2 比 ACA 0 要强，而 RT² 2 则

 

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 Ramseys 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》。

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