This is the old version of the CRM site. Please use the new site on the page crmdegiorgi.sns.it

Philosophy of Mathematics Today

On Inversion Principle

speaker: Enrico Moriconi (Università di Pisa - Dipartimento di Filosofia)

abstract: The subject of my talk is the Inversion Principle that D. Prawitz extracted from Gentzen's insights, and its use in ruling logico-matrhematical derivations.

timetable:
Thu 26 Jan, 15:00 - 16:00, Aula Dini
<< Go back