Home | Search | Help  
Home Page Università di Genova

Seminar Details


Date 24-3-2011
Time 14:30
Room/Location DISI-Aula 218 II piano
Title Functional Interpretations and Proof Mining
Speaker Prof. Edmund Robinson
Affiliation EECS, Queen Mary, University of London
Link http://www.qmul.ac.uk/
Abstract Goedel's Dialectica interpretation has recently gained new life as a way of getting constructive information from classical proofs. This talk gives an introduction to the transformation, describes some previous work due to Oliva and Kohlenbach and introduces some new work of Oliva and Powell. It concludes with a recap on the structure of the transformation from a more semantic perspective.
Back to Seminars