逻辑学讲座
内容：反推数学简介
主讲人：杨跃 教授【新加坡国立大学数学系】
时间：2009年12月30日（周三）16:00-17:30
地点：清华大学新斋335（西大操场东北侧）
背景简介：反推数学【Reverse Mathematics】与数理逻辑尤其是与递归论有着不可分割的联系，尽管它的范围并不完全包含在数理逻辑里面。本讲座将通过一个技术性的定理来介绍反推数学这一领域。该定理的证明是与新加坡国立大学庄志达和美威斯康星大学史迪芬•伦普合作完成的，其粗略叙述为：某种线序的分割原理与皮亚诺算术的某种弱归纳原理等价。