论文部分内容阅读
反推数学（Reverse Mathematics）是数理逻辑的一个小分支，是从定理（陈述）到公理的研究，与通常的数学（从公理到定理）方向刚好相反。西塔潘猜想就是反推数学领域中的一道难题。反推数学在上世纪80、90年代还比较活跃，但在新世纪的前十年中有些衰落。目前，随着西塔潘猜想的破解，反推数学又有了一点生气。现存，全球研究反推数学的人员估计超过二十人，其中我国南京大学对反推数学有所研究。