西塔潘猜想的破译

• 作者: 孙立山
• 来源期刊: 大学科普
• 学科: 教育
• 关键词: 猜想 破译 数理逻辑 90年代 南京大学 数学 公理 定理
• 年，卷（期）: dxkp,（2）
• 页码范围: 6-7
• 页数: 2页
• 分类号: G647

摘要

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