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

Workshop on Metamathematics and Metaphysics

June 15, 2013. 2401 West Guanghua Tower. Poster.


The Meta-Meta workshop intended to bring together scholars and graduate students who are working on or interested in the issues concerning the foundation of mathematics. Many works on mathematical logic are originally motivated by metamathematics, i.e. studying mathematics itself using mathematical methods. However, it turns out that many issues concerning the foundation of mathematics cannot be solved using purely mathematical arguments. The solutions of some natural mathematical problems, say the Continuum Hypothesis, seem to conceal themselves in some delicate philosophical questions. Meanwhile, a philosophical argument will not make sense if it ignore the contemporary developments in mathematical logic. The workshop will offer scholars and students opportunity to present, discuss, and receive feedback on their recent research and thinking on the related topics.


9:30 - 9:40 Openning Zhaokuan Hao
9:40 - 10:30 A multiverse perspective in mathematics and set theory: does every mathematical statement have a definite truth value? Slides Joel David Hamkins
10:30 - 10:40 Break (Photography)  
10:40 - 11:30 A survey on the Borelness of the intersection operation. Slides Longyun Ding
11:30 - 12:20 Embeddings of $P(\omega)/\textrm{Fin}$ into Equivalence Relations between $\ell_p$ and $\ell_q$. Slides Zhi Yin
12:20 - 13:30 Lunch  
13:30 - 14:20 On Strong $\Pi^1_1$-Martin-Löf randomness. Slides Liang Yu
14:20 - 15:10 Some metamathematics of Ramsey theory. Slides Wei Wang
15:10 - 15:20 Break  
15:20 - 16:10 Classical Theorems in Reverse Recursion and $\alpha$-Recursion. Slides Wei Li
16:10 - 17:00 Panel Discussion. Slides  
17:30 Dinner  


Zhaokuan Hao, School of Philosophy, Fudan University
Liang Yu, Department of Mathematics, Nanjing University


Ruizhi Yang
yangruizhi (at) fudan.edu.cn
School of Philosophy, Fudan University
220 Handan Road
Yangpu District
Shanghai, China 200433

The workshop is supported by the school of philosophy at Fudan university.