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.

Program

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