为了推动数学哲学的发展，促进国内外学者对数学哲学研究最新成果的交流和讨论，兰州大学哲学社会学院与中国自然辩证法研究会数学哲学专业委员会将于2025年7月25-27日在兰州大学召开“2025年数学哲学国际学术研讨会”。敬请关注!

会议主题

本次会议包括(但不限于)下列主题：

1. 实在论、怀疑论与多元论

2. 集合论、范畴论、类型论与数学基础

3. 可计算性理论与反推数学

4. 逻辑哲学

5. 机器辅助定理证明、AI与数学基础

6. 东西方数学史

7. 数学哲学其他相关议题

会议议程

见附件链接

参会人员名单

见附件链接

项目支持

兰州大学“中央高校基本科研业务费专项资金”文科振兴计划B类团队项目(青苗工程)项目资助。

       项目负责人：薄谋 

       项目名称：数学哲学视野下物理学的唯名论化策略

       项目编号：20241zujbkyqm011

哲学社会学院

2025年7月24日