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