Variations on Metamathematics
SI-006, USI West Campus, Via Buffi 13
Lugano
Switzerland
Sponsor(s):
- SNSF Doc.CH Grant 227030
Speakers:
Organisers:
Topic areas
Talks at this conference
Add a talkDetails
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).
Additional information and abstracts: usi.ch/en/feeds/31822
For any queries, please contact [email protected]
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?