题目： Nik Weaver对Γ_0的超越

时间：2021/12/21 15:10-18:00

摘要: 本报告将介绍Nik Weaver对“直谓推理的极限是Γ_0”这一论断的扬弃。Weaver首先指出了Feferman-Schütte方法存在的问题，以及他本人对“直谓性”的看法；接着他引入真理论，提出了一种超越Γ_0的方法。