| LOGICA MATEMATICA
(obiettivi)
Acquisire una buona conoscenza dello sviluppo, dei metodi e delle applicazioni della teoria degli insiemi, apprezzando la distinzione fra una sua trattazione intuitiva ed una trattazione assiomatica. In particolare, apprendere l'uso della teoria degli insiemi come ambiente in cui e' possibile formalizzare la matematica. Acquisire un conoscenza almeno elementare dei risultati di indipendenza e non contraddittorieta', e delle applicazioni dei grandi cardinali.
|
