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. |
|
|
 |
