Contents/conteúdo

Departamento de Matemática Técnico Técnico

Matemática et al.  RSS

Fernando Ferreira 14/01/2020, 17:00 — 18:00 — Sala P3.10, Pavilhão de Matemática
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