岳麓书院学科交叉融合发展论坛第50期暨

岳麓书院邀访教授讲座第128期

【讲座信息】

主 题：编码与数学基础：数学哲学市声

时 间：2025年10月20日（周一）19:00—21:00

地 点：湖南大学高研院松林斋报告厅

主 讲：杨睿之（复旦大学哲学学院副教授）

主 持：杨 晨（湖南大学岳麓书院哲学系助理教授）

主 办：湖南大学岳麓书院湖南大学数学学院

承 办：湖南大学岳麓书院哲学系

协 办：岳麓书院发展基金

【主讲人简介】

杨睿之，复旦大学哲学学院副教授。研究兴趣包括数理逻辑、数学哲学与数学基础，尤其是集合论及其哲学，可计算性与随机性及其哲学，数理逻辑与分析哲学史。代表作包括《作为哲学的数理逻辑》等。

【内容简介】

我们从莱布尼茨关于通用文字的设想出发，领略数学所取得的成就和声誉，并进一步探索其背后隐藏的危机与问题。我们将看到为回应这些问题与危机所发展出来的数学基础，尤其是公理集合论所取得的成就。我们也将了解集合论基础主义在当代所面临的来自哲学与数学的挑战。作为应对，主讲人试图为一种作为编码系统的集合论基础主义辩护，并介绍它可能带来的数学问题。