Fondamenti della matematica 1 (2007/2008)

Corso disattivato non visibile

Codice insegnamento
4S00262
Docente
Ruggero Ferro
crediti
4
Settore disciplinare
MAT/01 - LOGICA MATEMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
1° Q - solo 1° anno dal 15-ott-2007 al 30-nov-2007.

Orario lezioni

Obiettivi formativi

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.

Programma

- 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.

Modalità d'esame

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.