on 04-05-2012
Gödel functional interpretation
Jaime Gaspar*
May 4, 2012, Friday, 16h15m.
Abstract: The Gödel functional interpretation is a celebrated tool with a wide range of applications: consistency results, independence results, and extraction of computational content from proofs, just to name a few. This talk introduces from scratch the bare-bones of the Gödel functional interpretation.
* Financially supported by FCT, I.P., under grant SFRH/BD/36358/2007 co-funded by POPH / QREN / FSE.
Room: 3.10, Mathematics
Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER namely by the FCT project PEst-OE/EEI/LA0008/2011.