$\omega$ $\aleph$ $\infty$
Mathematical Logic at Fudan

2025 Annual Conference of Philosophy of Mathematics in China
2025年数学哲学国际学术研讨会

July 25 to 27, 2025

Host: School of Philosophy and Sociology at Lanzhou University

About

This annual conference aims to bring together philosophers of mathematics around China. The talks will range over several topics:

  • Realism, scepticism and pluralism.
  • Set theory, Type theory, Category theory and the foundation of mathematics
  • Computability theory and reverse mathematics
  • Philosophy of logic
  • Machine assisted proof and AI in mathematical research

Speakers

Invited Speakers

TBA

Contributed Speakers

TBA

Program

TBA

Organizers

  • Bo, Mou (薄谋)
  • Chen, Long (陈龙)
  • Chen, Jia (陈佳)
  • Liang, Xiaolong (梁晓龙)
  • Yang, Ruizhi (杨睿之)

Email: jiachen@lzu.edu.cn (local), yangruizhi@fudan.edu.cn (program)