中国人民大学科学-社会-人文论坛第32期

报告题目：从希尔伯特的《论无穷》谈起

报告人：杨  跃（新加坡国立大学数学系Department of Mathematics, National University of Singapore）

评论人： 叶  峰（北京大学哲学系教授）

主持人： 刘晓力（中国人民大学哲学院教授）

时  间：2011年4月15日（周五）15:00-17:30

地  点：中国人民大学教二2217

报告人简介：
杨跃本科毕业于北京大学数学系，在美国康乃尔大学获得博士学位，现任新加坡国立大学数学系副教授，研究领域为：递归论，数理逻辑

报告摘要（Abstract）：
1925年，希尔伯特做了题为《论无穷》的著名演说，试图阐明无穷的本质。但很快哥德尔的不完全性定理证明了希尔伯特的设想至少在其原有的意义上是不可行的。八十年后的今天，无穷在数理逻辑中的地位究竟如何？我们打算通过一些具体的例子，谈谈我们对无穷和数学中存在性的一些看法。本报告内容是与复旦大学郝兆宽和北京师范大学施翔晖合作探讨的。