Série de Courts Exposés
# Applications of proof theory in mathematics

##
by

→
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