4月10日高珂报告
附件:   

4月10日下午3-6点,高珂同学做了题为《On End Extension of Models of Subsystems of Peano Arithmetic》的报告。报告主要介绍了一阶算术子系统模型尾节扩张构造的历史背景,并从模型论和证明论的角度给出了构造尾节扩张的两种思路。讨论环节,老师同学们围绕报告中的证明细节,以及如何更好地做好技术性报告进行了热烈讨论。


发布时间:2018-04-10 17:17:01
   
联系我们      关于本站      版权所有© 2009-2018  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼