Filosofia della matematica

Titolo del corso

Storia e filosofia della teoria degli insiemi

Programma

Si esaminerà l'emergere della teoria degli insiemi, come linguaggio, come teoria matematica e come teoria fondazionale nella seconda metà dell'Ottocento, prendendo come riferimento la prima assiomatizzazione di Ernst Zermelo nel 1908 e affrontando quesiti quali: stato della, o delle teorie informali a fine Ottocento; motivazione e funzione dell'assiomatizzazione, in generale e nel caso particolare; rapporti con la teoria informale; rapporti con la ricerca logica fondazionale (teoria dei tipi); sviluppo matematico e fondazionale post-zermeliano.

Testi

Dispense del docente
J. Ferreirós, Labyrinth of Thought, Birkäuser
G. Lolli, Dagli insiemi ai numeri, Bollati Boringhieri