Events: detail
Joint QMUL/Imperial College London Theory Seminar: Classical Proofs as Processes
- Hosted by:
- Queen Mary, University of London Centre for Research in String Theory
- Speaker:
-
Stefano Berardi, Universita di Torino
- Starts:
- May 22, 2008 at 04:30 pm
- Ends:
- May 22, 2008 at 05:30 pm
- Location:
- Queen Mary, University of London, Department of Computer Science, CS/446, Mile End Road, London, E1 4NS United Kingdom
- Maps:
Description
We define, in a purely constructive way, a Realization model of Classical arithmetic, in which each proof is interpreted as a process, and learning in the limit some information validating the conclusion of the proof. Our goal is to unwind the constructive information hidden in a classical proof in term of a parallel program. Our interpretation is obtained by composing Gold-Criscuolo limit interpretation with the No-counterexample interpretation.
- Registration required:
- No
- Free:
- Yes
For more information
- Contact person:
- Paulo Oliva
- Phone:
- 0207 882 5255
