最近，中南大学大三学生刘佳一解决了一个国际数学难题：Ramsey第二染色定理在倒推数学中的证明强度研究。

这引起了广泛的关注，但由于其专业性，很多人并不知道问题出在哪里。以下是对刘嘉义作品的简要介绍。为了弄清楚刘家仪(本名刘璐)做了什么，我们首先看一下中南大学b[1]关于它的新闻报道中的一句话：“刘家仪的论文……“探讨一个反数学问题”，意思是刘探讨了一个反数学问题。落后数学是数理逻辑的一个小分支(刘家译解的西方猜想就是落后数学中的一个问题)。早在20世纪80年代和90年代，落后数学就很活跃。在过去的十年里，这个数字有所下降。现在，这里又有了一点生机。现在，全世界的研究人员估计有超过24种。中国南京大学对后向推理数学进行了研究。落后数学大致如下：普通数学大致是研究从公理到定理的过程，而落后数学是研究从定理(命题)到公理的过程，方向相反。举一个稍微不合适的例子，如果我们知道X等于3，那么我们可以推出x2等于9，这就是一般的数学。但如果我们知道x2=9，问什么条件可以保证结论，选择很多，X=3, X=3, X + 1=4, X - 1=2，等等也可以，但我们可能会特别注意| | X=3，因为感觉“不多也不少”，其余的感觉少了点什么。很容易发现两个表述X=3和x2=9有不同的含义。当然，这也是在上下文中，我们自然假设我们考虑的是在所有整数或实数的范围内。如果我们考虑的是正数的范围，那么这两种说法具有完全相同的含义。这个例子很简单，因为语句看起来很简单，其含义很容易比较。如果我们的表述是实的并且我们定义了定理和闭区间定理，那么判断这两个表述的含义就有点困难了，判断这两个表述就更难了，这两个表述可能更复杂。可以说，反向推理的数学是(在一个基本系统中)探索一个陈述的精确意义(专业术语是证明强度)，不多也不少。为了准确起见，最好使用一些符号：有一个基本系统S和一个陈述T(不能被S证明)。目标是向S添加适当的公理(可能还有一些规则)，以便新系统S '可以准确地证明T。“确切地”意味着S'可以证明T，而S和T本身也暗示着S'。什么是西塔潘猜想？这是刘嘉义研究的领域。他做了什么？二阶算术系统处理起来有点复杂(感兴趣的读者可以查看Wiki条目二阶算术[2])，但最终它们或多或少地像我们通常的分析系统(实数系统，与此相反，一阶算术系统是自然数系统)一样工作。对偶的Ramsey定理可以用非形式语言表述为：任何具有(可数)无限顶点且有2条边染色的完全图都有一个具有无限顶点的染色子完全图，而弱柯尼希定理(弱K