Léon Probst

I'm a PhD student at the Institute of Philosophy (ISFI) of the University of Italian Switzerland (USI) in Lugano. My research is in logic and philosophy of mathematics. I’m particularly interested in metamathematics and the arithmetization of syntax with notions such as numbering, provability, and consistency.

My PhD project is supervised by Prof. A. Giordani and Prof. V. Halbach. It is funded by my SNF Doc.CH Grant 227030 entitled Intensionality in Metamathematics and Gödel's Second Incompleteness Theorem (see here for details).

I obtained my master's degree from the University of the Italian Switzerland (USI) in 2022 and my bachelor's degree from the University of Geneva (UNIGE) in 2020.

A CV can be found here.

News

I am organising two workshops, on the 5 and 6 October, and on the 8 and 9 October. The first one is on metamathematics; for some details: www.usi.ch/en/feeds/36240. And the second one is the SGSLPS annual meeting, this year on the notion of interpretations; for some details: www.sgslps.ch/past/f26. Anyone is welcome to attend both (only in person)!

My first paper on numberings got accepted in the Review of Symbolic Logic. I discuss the choice of numberings, and what makes is a reasonable numbering. The preprint is available under Research.