演讲人：杨跃 教授（新加坡国立大学 数学系）
题目：反推数学简介
时间：2009年12月30日(星期三） 下午4：00-5：30
地点：清华大学新斋335

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