Laura Crosilla

Laura Crosilla

Si è laureata in Filosofia presso l'Università di Firenze e ha conseguito due dottorati presso l'Università di Leeds, in Logica Matematica e in Filosofia della Matematica. É stata post-doc e docente presso l'Istituto di Matematica dell'Università di Monaco di Baviera, post-doc al Dipartimento di Filosofia dell'Università di Firenze, e post-doc alla School of Mathematics dell'Università di Leeds. Ha ottenuto borsa dalla Sir John Templeton Foundation. É stata Teaching Fellow presso i Dipartimenti di Filosofia dell'Università di Leeds e dell’Università di Birmingham, Marie Curie Fellow e Senior Researcher presso il Dipartimento di Filosofia dell’Università di Oslo. Le sue principali aree di ricerca sono la logica matematica, con particolare interesse per la teoria della dimostrazione e la teoria costruttiva degli insiemi, la matematica costruttiva, e la filosofia della matematica. Ha pubblicato articoli in volumi e riviste internazionali, ed è editrice con Peter Schuster di un volume nella serie delle Oxford Logic Guides.

Matematica Costruttiva

Abstract Constructive mathematics uses intuitionistic rather than classical logic. This makes it an algorithmic form of mathematics, as its adherence to intuitionistic logic allows us to interpret its theorems as algorithms. This characteristic of constructive mathematics has the potential to…

Leggi tutto Matematica Costruttiva