Workshop: Variations on Metamathematics
Institute of Philosophy
Start date: 3 July 2025
End date: 4 July 2025
In 1960, Feferman first called attention to the notion of intensionality, or indeterminacy, in metamathematics. This notion gave rise to a variety of mathematical and philosophical questions related to coding, provability, truth, and other metamathematical concepts.
The Variations on Metamathematics workshop aims to discuss some of these questions. It is organised within Léon Probst’s SNSF Doc.CH Grant (#227030).
Date: 3 – 4 July 2025
Venue:
SI-006, Black Building
USI West Campus
Via Buffi 13
Lugano, Switzerland
Speakers:
Balthasar Grabmayr (University of Tübingen)
Volker Halbach (University of Oxford)
Carlo Nicolai (King’s College London)
Lavinia Picollo (National University of Singapore)
Léon Probst (University of Lugano)
Albert Visser (University of Utrecht)
Daniel Waxman (National University of Singapore)
Programme:
Thursday 3rd:
10.30 - 10.45 Welcome
10:45 – 12:00 V. Halbach
Lunch Break
14.00 - 15.15 L. Picollo and D. Waxman
15:15 - 16:30 B. Grabmayr
16.30 - 16.45 Coffee Break
16.45 - 18.00 L. Probst
Friday 4th:
09:00 - 10:15 A. Visser
10:15 - 10:30 Coffee break
10:30 - 11:45 C. Nicolai
11:45 - 12:15 Final discussion
Organisers:
Léon Probst with his SNSF Doc.CH “Intensionality in Metamathematics” (#227030)
An event of the Institute of Philosophy (ISFI)
For more info: [email protected]