### 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.