From November 6th to 7th, 2021, the "2021 National Symposium on Philosophy of Mathematics", co-sponsored by The School of Philosophy and Society of Lanzhou University and the Professional Committee of Philosophy of Mathematics of Chinese Society of Dialectics of Nature, organized by the School of Philosophy and Society of Lanzhou University and science, Economy and Society magazine, was successfully held. Due to the coronavirus, the conference was changed to online, and more than 50 experts and scholars from more than 20 universities and research institutions across the country attended the conference.

Part one

Kang Shihui, associate professor of Shanxi University, presided over the opening ceremony. Chen Shengbai, dean of School of Philosophy and Society of Lanzhou University, attended the opening ceremony and delivered a speech. Yang Ruizhi, secretary general of Mathematical Philosophy Committee announced the list of the new committee. Professor Chen Shengbai reviewed the development of logic discipline in school of Philosophy and Sociology of Lanzhou University based on his own study and teaching experience. He especially emphasized the close relationship between philosophy, logic and natural science, looked into the future development of relevant disciplines in Lanzhou University and wished the seminar a success. Professor Chen's sincere speech warmed the hearts of the participants.

The first report was presided over by Associate Professor Song Shichang of Beijing Jiaotong University, and professor Ding Longyun of Nankai University gave a report entitled "Equivalence relation and Borel reduction".The second report was presided over by Associate Professor Yu Junhua from Tsinghua University. Professor Xiong Ming from South China Normal University brought a report entitled Solovay Functions and Paradoxes.The third report was presided over by Wang Yi, associate professor of Sun Yat-sen University, Zhuhai campus. Wang Yanjing, associate professor of Peking University, presented a talk titled "What is Intuitive Istic Truth".

Part two

The lecture in the afternoon was moderated by Professor Ye Feng of Capital Normal University. The first report was presented by Fudan University associate Professor Yang Ruizhi entitled formalism and Multi-cosmology. The theme of this report is the dilemma that new forms of formalism still face, and the value of multi-cosmology goes beyond formalism. He briefly states why multicosmology is beyond formalism.The second report was brought by Gao Kun from Shanxi University. The topic was "Can the Realization of Godel's Program Support Mathematical Realism?" The last report of the afternoon was "From Set Theory Geology to Generic Multiverse" by Jiang Feng, a master's student from Capital Normal University.

Part three

The Nov.7th presentation was divided into two parts. The first part was moderated by Associate Professor Shen Yuping of Sun Yat-sen University. First of all, Associate professor Kang Xiaojun from Jilin University presented a report entitled "Backward Mathematics from the Perspective of Pragmatism". The second presentation was "Dot, Interval and Truth Value of Sentences with numbers" by Xiao Haojian, assistant professor of Sun Yat-sen University.The second part of the presentation was moderated by Associate Professor Kang Shihui from Shanxi University. The first report was presented by Kou Liang, a doctoral student at Fudan University, on the infeasibility of the Reflection principle as an inherent justification for large bases. The second report was "Infinity in Mathematics -- On Strict finitism and its Challenges" by Liang Dezhu, a master's student at Shanxi University.

At the end of the meeting, several experts had a heated discussion on the issues of Fictionalism, Physicalism and Platonism in the last report. Finally, Professor Xing Taotao, director of the new committee, made a summary of the conference and a good prospect for the future development of mathematical philosophy.