Home» News» News» 11月8日 王林峰报告

11月8日 王林峰报告

发布日期:2022-11-08 作者:

11月8日,王林峰做了题为《反推数学和希尔伯特纲领的部分实现》的报告。首先介绍了反推数学这一分支的基本面貌;然后介绍了WKL0是PRA的Pi_2保守扩张的证明,这个证明是用反推数学的方法给出的,这个命题的意义是证明了WKL0和有穷主义算术PRA是等一致性的,从而与WKL0等价的那些数学命题都可以证明论还原到有穷数学中,此即希尔伯特纲领部分实现的一个实例。