[spsp-members] Lugano Philosophy Colloquia (Hybrid)

events.isfi at usi.ch events.isfi at usi.ch
Wed Mar 20 11:11:44 UTC 2024


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 at 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?'.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://list.philosophy-science-practice.org/pipermail/spsp-members/attachments/20240320/e58393e4/attachment.htm>


More information about the spsp-members mailing list