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