Monsieur Paolo PISTONE / Docteur
PhD student in mathematical logic
Coordonnées
Adresse professionnelle
, ,
Expérience professionnelle
Emplois
Recherche : NON
Doctorat
Titre : Mathématiques
1ère inscription en thèse : 1 janvier 2012 / 4A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 27 March 2015
Sujet : Sur les preuves et les types dans la logique du second ordre
Directeur de thèse : GIRARD JEAN-YVES
Co-directeur : ABRUSCI VITO MICHELE
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Master
Titre : Laurea Magistrale
juillet 2011 - Università Roma Tre
Production scientifique
-
On transcendental syntax: a Kantian program for logic?
Second Pisa Colloquium in Logic, Language and Epistemology, 2014
ABRUSCI V. Michele, PISTONE Paolo
-
Logic programming and logarithmic space
Programming Languages and Systems, 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, 2014
AUBERT Clément, BAGNOL Marc, PISTONE Paolo, SEILLER Thomas
-
Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
From logic to practice, Italian Studies in the Philosophy of Mathematics, 2015
PISTONE Paolo
Langues
Anglais : C2 - Courant
Français : C2 - Courant
Italien : C2 - Maternel