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
Your browser is out of date!

Update your browser to view this website correctly. Update my browser now

×