| CODICE | 61711 |
|---|---|
| ANNO ACCADEMICO | 2019/2020 |
| CFU | 8 cfu al 2° anno di 9011 MATEMATICA (LM-40) GENOVA |
| SETTORE SCIENTIFICO DISCIPLINARE | MAT/01 |
| LINGUA | Italiano (Inglese a richiesta) |
| SEDE | GENOVA (MATEMATICA) |
| PERIODO | 2° Semestre |
| MATERIALE DIDATTICO | AULAWEB |
Le lezioni si tengono in lingua italiana. Si possono svolgere in lingua inglese su richiesta.
L'insegnamento introduce al linguaggio e allo sviluppo della teoria degli insiemi, sia come teoria fondazionale della matematica, sia per l'interesse intrinseco. Si presentano gli assiomi della teoria degli insiemi con primi sviluppi e costruzioni insiemistiche, gli insiemi numerici. Si affrontano poi le aritmetiche ordinale e cardinale con i principi di induzione e ricorsione transfinite per giungere il problema del continuo e fornire cenni di combinatorica infinita e presentare il metodo del forcing per le dimostrazioni di indipendenza.
Impadronirsi delle principali tecniche di base di teoria degli insiemi.
Conoscenze matematiche di base
Tradizionali.
Gli assiomi della teoria degli insiemi: introduzione e motivazioni.
Prime conseguenze degli assiomi.
Ordinali, cardinali e loro aritmetica.
Combinatorica infinita.
Introduzione alle dimostrazioni di indipendenza.
K. Kunen: The foundations of mathematics.
K. Kunen: Set theory.
Dispense ed esercizi del corso.
RICCARDO CAMERLO (Presidente)
SARA NEGRI
GIUSEPPE ROSOLINI
Tradizionali.
In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.
Orale
| Data | Ora | Luogo | Tipologia | Note |
|---|---|---|---|---|
| 06/01/2020 | 09:00 | GENOVA | Orale | |
| 22/01/2020 | 09:00 | GENOVA | Orale | |
| 07/02/2020 | 09:00 | GENOVA | Orale | |
| 01/06/2020 | 09:00 | GENOVA | Orale | |
| 19/06/2020 | 09:00 | GENOVA | Orale | |
| 08/07/2020 | 09:00 | GENOVA | Orale | |
| 31/08/2020 | 09:00 | GENOVA | Orale |
Prerequisiti: Gli argomenti trattati in Logica Matematica ( a.a.2015/16 e precedenti)
Modalità di frequenza: Facoltativa
Modalità di iscrizione agli esami