Master Class in Proof Theory: Perspectives on the interplay of mathematics and its foundations

Masterclass in proof theory (MCPT):
https://masterclassprooftheory.weebly.com/
23rd to 26th March 2020
Carl Friedrich von Siemens Foundation, Munich, Germany

This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) on “Proof Theory: From Arithmetic to Set Theory” and Peter Schuster (Verona) on “The finite content of transfinite methods”. These will be enriched through advanced evening lectures by other senior researchers, incl. Norbert Gratzl (MCMP, LMU Munich) and Helmut Schwichtenberg (LMU Munich). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich’s picturesque Nymphenburg Palace and Gardens.

*Participation*
Registration is open now. Please visit https://masterclassprooftheory.weebly.com/ for details. Undergraduate-level knowledge of formal logic is strongly recommended. The sooner you register, the more likely we can accept your registration.


*Participation scholarships for graduate students in mathematics*
Graduate students in mathematics can apply for participation scholarships of €150 funded by the German Mathematical Association (DMV). Applications for are open on a first-come first-serve basis and must be sent to [email protected]. Please include a short 1 (max 2) page statement of your motivation for participation.  Support is subject to registering for MCPT as a student and attending all sessions.

*Confirmed speakers*
•        Michael Rathjen (Leeds) (main speaker)
•        Peter Schuster (Verona) (main speaker)
•        Norbert Gratzl (MCMP, LMU Munich)
•        Helmut Schwichtenberg (LMU Munich)
•        Tba

*Background*
Proof theory is one of the main branches of modern logic. It consists in the study of formal proofs, clearly defined syntactical objects. These can be considered data structures such as lists or trees, which are constructed according to fixed axioms and rules of a logical system. The development of proof theory enabled the mathematical community to introduce their own work, (informal) mathematical proofs, to thorough meta-mathematical treatment. This might be one of the biggest achievements of modern logic: the study of the properties of proofs by formalisation.


*Organising committee*
•        Dominik Kirst (Saarland)
•        Simon Nagler (Oxford/MCMP, LMU Munich)
•        Robert Paßmann (ILLC, UvA Amsterdam)
•        Hannah Pillin (LSE/MCMP, LMU Munich)
•        Deniz Sarikaya (Hamburg)
•        Hosea von Hauff (MCMP, LMU Munich)

*Sponsors*
This event is made possible by the generous support of the Carl Friedrich von Siemens Foundation, the Munich Center for Mathematical Philosophy (MCMP), and the German Mathematical Association (DMV).