pulcini-220

Gabriele Pulcini

MEMBRO DEL CONSIGLIO

Gabriele Pulcini è attualmente ricercatore (rtd B) presso il  Dipartimento di Studi Letterari, Filosofici e di Storia dell’Arte dell’Università di Roma ”Tor Vergata”. Precedentemente ha lavorato presso l’ILLC di Amsterdam come postdoc. I suoi interessi di ricerca riguardano principalmente la teoria della dimostrazione e la filosofia  della matematica. In particolare Gabriele ha scritto su temi riguardanti la logica lineare, la non-monotonicità logica, i calcoli di refutazione e i risultati d’incompletezza per l’aritmetica formalizzata.