时间：2026年10月9日（周五）13:00 - 15:00 

地点：李兆基人文学苑2号楼206室 

报告人：刘彬

题目：知道如何逻辑中的逻辑全知问题

委员会：邢滔滔（主席），王彦晶（导师），钟盛阳，丁一峰，姚博凯 

秘书：王汝靖

报告人：王林峰

题目： 哥德尔的柏拉图主义与数学直观——从数学实践出发的现象学分析

委员会：邢滔滔（导师），王彦晶（主席），钟盛阳，丁一峰，姚博凯 

秘书：张锟

每人报告30分钟，问答30分钟。