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