Tsinghua Logic

反推数学简介

时间:4:00-5:30 pm, Decemeber 30, 2009

地点:Xinzhai Room 335, Tsinghua University

摘要: 反推数学与数理逻辑尤其是与递归论有着不可分割的联系,尽管它的范围并不完全包含在数理逻辑里面。本讲座将通过一个技术性的定理来介绍反推数学这一领域。该定理的证明是与新加坡国立大学庄志达和美威斯康星大学史迪芬·伦普合作完成的,其粗略叙述为:某种线序的分割原理与皮亚诺算术的某种弱归纳原理等价。

 

Welcome to Tsinghua Logic