We are pleased to announce that on Friday, March 22 at 17:30 (CET), Léon Probst (Universitŕ della Svizzera italiana) will give the talk What is a good Gödel numbering? as part of the Lugano Philosophy Colloquia Spring 2024 organised by the Institute of Philosophy (ISFI) at USI.

This hybrid talk will take place in the Multiuso room, Theology Building, USI West Campus and online via Zoom. If you are interested in joining it online, please write to events.isfi@usi.ch
For more information: https://www.usi.ch/en/feeds/26653

Here is the abstract of the talk:

In metamathematics, logicians prove theorems about numbers and then interpret them as being about mathematical theories. These (philosophical) interpretations rely on many (unmathematical) choices, among them the choice of Gödel numberings—assignments of numbers to syntactic entities such as formulae. This talk investigates such a choice and discusses the question 'What is a good Gödel numbering?'.