数学所讲座第7讲：形式与内涵的对立统一：源自数理逻辑的启示---浅析莱布尼兹之奇想与抱负

报告人：冯 琦 研究员（中科院数学所）

题  目：形式与内涵的对立统一：源自数理逻辑的启示

                            ---浅析莱布尼兹之奇想与抱负

时  间：11.03 (星期三), 09:00-12:00

   (08:30-09:00为茶点时间, 地点: 思源楼509室)

地  点：思源楼五所大报告厅

摘 要:

逻辑支撑着数学的大厦。我们对逻辑很熟悉，每天都用着它，但一般人可能很少对逻辑本身深思。其实，逻辑本身神奇又诡异，远非简单。

我们将利用三个小时的时间向听众介绍（1）大约350年前少年莱布尼兹(Leibniz)之奇想与抱负；（2）自1847年到1936年这90年里西方逻辑学界围绕着莱布尼兹的奇想和抱负所展开的探索和研究；（3）这些探索和研究的主要成果（哪些实现了，实现的状态如何，困境何在），其中包括布尔(Boole)、康托(Cantor)、弗瑞格(Frege)、策墨珞(Zermelo)、罗素(Russsell)、希尔伯特(Hilbert)、哥德尔(Goedel)、丘吉(Church)、图灵(Turing)和塔尔斯基(Tarski)等人围绕解释和实现莱布尼兹之奇想和抱负这一主线所展开的探索和研究的主要成果。从中，我们将会看到形式与内涵的对立统一，以及在人类的思维发展过程之中，寻求系统、准确、充分表达丰富思想内涵的简洁有效的形式是一件多么深刻、多么艰巨和多么基础的任务；而数学，作为体现人类思维最精华的一门学科，又是怎样在发挥着典范的作用。

冯 琦：

数理逻辑专家。原学习计算机科学，后专攻数理逻辑，1988年获美国宾州州立大学数学博士学位。随后赴加州大学Berkeley分校从事博士后研究工作，继在新加坡国立大学工作七年。1997年12月回国工作，获杰出青年基金资助，现任中科院数学所基础研究室研究员。

数学所讲座(The Institute Lecture)：

旨在讲解现代数学的重要内容及其思想、方法和影响，扩展科研人员和研究生的视野、提高数学修养和加强相互交流、增强学术气氛。时间一般定在每月(寒暑假另外安排)的第一个星期三上午10至12点（其中10:00-10:30是茶点时间）。本次报告因内容丰富精彩，需三小时，故报告时间是9:00-12:00，茶点时间是8:30-9:00。