Luogo e Date
Luogo: Università di Vienna, NIG – Neues Institutsgebäude, Universitätsstraße 7, 1010 Vienna, Austria
Date: 19-20 febbraio 2025
Descrizione
Questo evento è il secondo di due workshop congiunti sul tema delle definizioni matematiche, organizzati congiuntamente dall’Università di Vienna e dalla Scuola Universitaria Superiore IUSS, Pavia. Una descrizione del primo evento, “IUSS-Vienna Workshop sulle Definizioni Matematiche. Astrazione e Definizioni Implicite”, è disponibile qui.
L’obiettivo del workshop è esplorare diverse forme di definizioni nella filosofia della matematica, con particolare attenzione alle definizioni implicite, astrazionistiche e assiomatiche.
Co-organizzatori
- Ludovica Conti (Università di Vienna)
- Georg Schiemer (Università di Vienna)
- Andrea Sereni (IUSS Pavia)
Relatori
- Bahram Assadian
- Francesca Boccuni
- Paola Cantù
- Ludovica Conti
- Bruno Jacinto
- Sofia Abelha Meirelles
- Joan Bertran San-Millàn
- Georg Schiemer
- Andrea Sereni
- Crispin Wright
- Luca Zanetti
Progetti Coinvolti
- ERC Consolidator Grant, fondo dell’Unione Europea: FORMALISM, 101044114, “La Svolta Formale – L’Emersione del Formalismo nel Pensiero del XX Secolo” (Università di Vienna, P.I. Georg Schiemer)
- Progetto Nazionale PRIN PUMa: “Dimostrazione e comprensione nella matematica. Purezza dei metodi, semplicità e spiegazione nel ragionamento matematico. Definizioni, Spiegazioni e Dimostrazioni” (IUSS Pavia, P.I. Andrea Sereni)
- Programma ESPRIT, Fondo Austriaco per la Scienza (FWF): DOI:10.55776/ESP120, “La logica dell’Astrazione” (P.I. Ludovica Conti)