报告人：王林峰（北京大学哲学系）

题目：反推数学与希尔伯特纲领的部分实现

时间：2022/11/08 15:10-18:00

地点：三教 404

摘要：反推数学是数理逻辑的一个重要分支，它使用二阶算术语言研究数学定理的强度。本次报告分为两个部分，（1）：介绍反推数学的基本想法和相关的定义，以及一些重要结果。（2）从反推数学的角度看希尔伯特纲领，并且证明一个重要结果，这个结果表明了反推数学部分地实现了希尔伯特纲领的目标。