Série de Courts Exposés

Applications of proof theory in mathematics

by Prof. Thomas POWELL (IHES)

Amphitéâtre Léon Motchane (IHES)

Amphitéâtre Léon Motchane


Le Bois Marie 35, route de Chartres 91440 Bures-sur-Yvette
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.