主讲人学术背景：
杨睿之，复旦大学哲学学院副教授。研究兴趣包括数理逻辑、数学哲学与数学基础，尤其是集合论及其哲学，可计算性与随机性及其哲学，数理逻辑与分析哲学史。
活动简介：
本活动为通识课程《逻辑导论》中“逻辑前沿系列讲座”中的一讲，旨在带领学生领略逻辑前沿研究的风采。按照计划，每学期《逻辑导论》均安排一次讲座，邀请校外逻辑学领域专家，结合自己的研究，向同学们介绍目前逻辑学家们正在做的工作，让同学们看到课堂上学习到知识能够在学术研究中获得怎样的应用，开拓他们的眼界，也让同学们对逻辑学有更深入的了解。
内容简介：
在这个报告中，我们从“任何严格的内容都可以用数学来表达”这个判断出发，开始一段数学哲学之旅。数学就其严格、可靠和可应用性而言被认为是其他学科的典范。但更深入的思考揭示数学面临着或许比其他学科更严重的哲学困难。我们将回顾数学曾经面临的一些哲学问题，以及数学基础研究如何较成功地回应了这些困惑。我们也将探讨当代数学哲学中仍然遗留的问题，如寻找新公理和数学多宇宙观，以及数学发展的新进展，如自动化证明辅助的需求和发展，带来的新的数学哲学问题。