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(a)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?'.