应金宝搏app官网下载数学研究院端木昊随教授邀请，北京雁栖湖应用数学研究院冯琦教授将于2026年5月22日举行学术讲座，报告题目为“关于元数学的正式基础”，欢迎感兴趣的师生参加。

题目：关于元数学的正式基础

报告人：冯琦

时间：5月22日（星期五），14:00-15:00

地点：明德楼B区201-1

摘要： 

      自 1879 年弗雷格发表《概念文字》以来，逻辑学的研究以及数学基础的研究便成为了数学的一部分。实际上，这类研究属于元数学的范畴。通常来说，在元数学领域内，诸如《数是什么以及它们应该是什么？》（戴德金，1888 年）、《算术原理》（皮亚诺，1889 年）、《算术基本定律》（弗雷格，1893 年）、《数学原理》（怀特海和罗素，1910 - 1913 年）、《理论逻辑的基本原理》（希尔伯特和阿克曼，1928 年）、哥德尔关于一阶谓词逻辑完备性和皮亚诺算术不完备性的著作（1929 年、1931 年）、塔尔斯基关于形式化语言中真理概念的研究（1929 - 1935 年）等所有研究或调查，都是在元理论部分以非正式和直观的方式进行的，尽管这些客观理论已经得到了良好的形式化处理。自然地，随之而生的问题便是：此类研究是否能够以某种形式化的元理论为基础来进行，使得该元理论能够用一种形式化的语言来表达，推导过程能够通过明确陈述的规则进行形式化操作，并完全基于一组特定的基本形式原则（从一个特定的有限形式部分开始），而非凭借信念、基于自然数的直观概念和直观的数学归纳法、基于直观的推论、或诉诸意义和证据。在这次演讲中，我想报告一下我过去几年为回答这个问题而所做的努力。具体而言，我想展示一个纯粹的形式化元理论 CFZFC，它从一种特定的有限形式语言和一组特定的有限原则与规则开始，完全通过纯粹的形式推导来构建，这将足以用于元数学的发展以及大部分数学的构建。

报告人简介：

       冯琦，北京雁栖湖应用数学研究院研究员，研究方向为数理逻辑、公理化集合论及无穷组合理论。在实数集正则性领域与Magidor、Woodin合作完成奠基性工作，与Jensen合作构建复杂内模型理论，在大基数与印证原理研究中取得系列突破，并与Woodin合作推进连续统假设研究。出版《数理逻辑导引》、《集合论导引》、《元数学基础》等教材。曾任国际符号逻辑协会东亚分会理事长及理事、中国科学院数学研究所副所长。1977年考入金宝搏app官网下载计算机科学系，1988年获宾州州立大学博士学位。1990年赴新加坡国立大学任讲师，1998年任中科院数学所研究员。2004-2007年执教清华大学数学系，期间参与数学院-新加坡国立大学-加州伯克利分校联合培养项目，曾担任德国柏林洪堡大学Mer Cator客座教授。2000年获国家杰出青年科学基金，2003年入选中科院百人计划，2017年获北京市教学名师奖。

                                                                            主办单位：数学研究院