Mathematics et al. 

14/01/2020, 17:00 — 18:00 — Room P3.10, Mathematics Building
Fernando Ferreira, Faculdade Ciências, Universidade de Lisboa

What is a classical functional interpretation?

In his last published paper, Kurt Gödel introduces functional interpretations. It is a truly seminal paper, not only because it provides a very flexible technique that is used in many circumstances but also because functional interpretations underlie the recent applied programme of Proof Mining. In this talk, we look into the logical roots of Gödel’s interpretation and of the much more recent bounded functional interpretation.