Sviluppare un atteggiamento critico e consapevole sulle varie visioni della matematica. Dare significato alle nozioni fondamentali della matematica analizzando quali problemi vogliono affrontare e cogliendone, in particolare, motivazioni e portata. L'analisi dei significati si colleghera' al problema dell'applicabilita' delle teorie matematiche.
- Visione greca della scienza: conoscenza attraverso le cause. Digressione sulla nozione di causalita'. Matematica come prototipo di scienza deduttiva. Elementi di Euclide come paradigma di sistema assiomatico. Il metodo di esaustione. Problema dell'infinito. Paradossi di Zenone. Difficolta' del punto di vista greco.
- Rappresentazione degli enti matematici: linguaggi e calcolo. Gli obiettivi della logica matematica. La nozione di determinismo.
- Crisi dei fondamenti della geometria. Nuovo ruolo degli assiomi. Scienza ipotetico deduttiva.
- Riduzionismo. Problema della consistenza. Formalismo. La matematica e' scoperta o costruzione?
- Neoplatonismo, costruttivismo.
- Insiemi, insiemi infiniti, cardinalita', ordinali e cardinali.
- Primi elementi sui sistemi numerici.
Raccolta delle note ufficiali del corso utili per la valutazione finale.
Prova finale con risposta a domande varie (teoriche, applicative, ecc.) in modalita' scritta. Eventuale integrazione orale per ottenere voti superiori ai 27/30.
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
