Le Bois Marie
35, route de Chartres
91440 Bures-sur-Yvette
Description
I will briefly describe, by means of a few examples, some of the ways in which proof-theoretic methods are being applied in mathematics today. I focus on a particular tool - the proof interpretation, although more generally my aim is to illustrate how ideas and techniques from proof theory have an impact outside of the foundations of mathematics.
