逸仙逻辑讲坛第四十三期｜冯琦：从自然序到自然数

      冯琦，中国科学院数学与系统科学研究院二级研究员、中国科学院大学教授，美国宾州州立大学数学博士，研究方向为数理逻辑、公理化集合论及无穷组合理论。曾任国际符号逻辑协会东亚分会理事长及理事、中国科学院数学研究所副所长。曾任教于新加坡国立大学（讲师，1990-1998），中科院数学所（研究员，1998-2004），清华大学数学系（教授，2004-2007），期间参与数学院-新加坡国立大学-加州伯克利分校联合培养项目，曾担任德国柏林洪堡大学Mer Cator客座教授。在实数集正则性领域与Magidor、Woodin合作完成奠基性工作，与Jensen合作构建复杂内模型理论，在大基数与印证原理研究中取得系列突破，并与Woodin合作推进连续统假设研究。2000年获国家杰出青年科学基金，2003年入选中科院百人计划。 

讲座摘要 
我们将围绕有关自然数的一些基本哲学问题展开讨论。内容包括扼要展示西方有关自然数观念的代表性思想、我国古代对于自然序的经典应用、自然序的特征以及它们之间的自然运算、自然序的序型以及序型算数、自然序序型的规范表示这几个方面。力图勾画出从现实生活到抽象表示这样一条有关自然数的认识之路。