报告人: 刘力恺 （北京大学哲学系）

题目：Gentzen's Consistency Proof

时间：2023/04/18 15:10-18:00

地点：二教 501

摘要：

本报告将介绍甘岑对皮亚诺算术系统一致性的证明。报告分为以下四个部分：第一部分是历史性和哲学性的背景介绍，将陈述希尔伯特有穷主义计划及其失败、哥德尔扩张有穷主义的方案及其实现；第二部分是证明的预备知识，将涉及矢列演算及其主定理、序数记号；第三部分将展示甘岑一致性证明的整体架构、基本想法和关键步骤；第四部分将对序数分析这一因甘岑的工作而发展出的证明论重要分支做相当简单的说明。