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

时间：4:00-5:30 pm, Decemeber 30, 2009
            
地点：Xinzhai Room 335, Tsinghua University