Série de Courts Exposés

Applications of proof theory in mathematics

par Prof. Thomas POWELL (IHES)

Europe/Paris
Amphitéâtre Léon Motchane (IHES)

Amphitéâtre Léon Motchane

IHES

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