2024 Annual Conference of Philosophy of Mathematics in China
2024年全国数学哲学国际学术研讨会
August 12 to 13, 2024
Host: School of Philosophy and Philosophy of Science and Technology at Shanxi University
Call for Paper
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
The meeting will be both online and in-person. There is no conference fee for this conference.
Organizers
- Liang, Xiaolong (梁晓龙)
- Yang, Ruizhi (杨睿之)
- Chen, Long (陈龙)
Email: lianghillon@gmail.com, yangruizhi@fudan.edu.cn, long.chen@bnu.edu.cn