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.
Celebração do Dia Mundial da Lógica