Si è laureata in Filosofia presso l'Università di Firenze e ha conseguito il dottorato in Logica Matematica presso l'Università di Leeds (Regno Unito). É stata post-doc e docente a contratto presso l'Istituto di Matematica dell'Università di Monaco di Baviera (Germania), post-doc presso il Dipartimento di Filosofia l'Università di Firenze, e post-doc presso la School of Mathematics dell'Università di Leeds. Ha ottenuto borsa come Principal Investigator dalla Sir John Templeton Foundation (USA). É stata Graduate Teaching Fellow presso il Dipartimento di Filosofia dell'Università di Leeds, ove sta attualmente completando un dottorato in filosofia. 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.
Autori & Autrici
Laura Crosilla
- Matematica costruttiva
21.06.2016 - Saggi