Home» News» Seminars» 12月21日 报告人:刘力恺 题目:Nik Weaver对Γ_0的超越

12月21日 报告人:刘力恺 题目:Nik Weaver对Γ_0的超越

发布日期:2021-12-19 作者:

题目: Nik Weaver对Γ_0的超越

 

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

 

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