Programma

Introduzione alla teoria degli insiemi: aggregati ed insiemi, necessità di una teoria, ordinali e cardinali, antinomie e paradossi, principali caratteristiche della teoria assiomatica. La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF): preliminari e convenzioni, la teoria di Zermelo, l’assioma di rimpiazzamento e la teoria di Zermelo-Fraenkel, estensioni del linguaggio per definizione. Gli ordinali: ordini, buoni ordini e buona fondatezza, buona fondatezza e principio di induzione, i numeri ordinali, buoni ordini ed ordinali, l’induzione ordinale (dimostrazioni e definizioni), argomento diagonale ed ordinali limite, assioma dell’infinito ed aritmetica ordinale, cenni sull’uso degli ordinali in teoria della dimostrazione. Assioma di scelta: formulazioni equivalenti (e dimostrazione dell’equivalenza), insiemi infiniti e assioma di scelta. I cardinali: equipotenza ed insiemi infiniti, i numeri cardinali, aritmetica cardinale.

Testi Adottati

V.M. Abrusci, L. Tortora de Falco, Logica Volume 2- Incompletezza, teoria assiomatica degli insiemi. Springer, (2018).

Modalità Erogazione

Il corso prevede Didattica frontale; Discussioni con gli studenti e dibattiti sugli argomenti trattati; La frequenza non è obbligatoria ma è vivamente raccomandata.

Modalità Valutazione

Esame orale, di durata variabile, in media tra 45 e 60 minuti.

Programma

Introduzione alla teoria degli insiemi: aggregati ed insiemi, necessità di una teoria, ordinali e cardinali, antinomie e paradossi, principali caratteristiche della teoria assiomatica. La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF): preliminari e convenzioni, la teoria di Zermelo, l’assioma di rimpiazzamento e la teoria di Zermelo-Fraenkel, estensioni del linguaggio per definizione. Gli ordinali: ordini, buoni ordini e buona fondatezza, buona fondatezza e principio di induzione, i numeri ordinali, buoni ordini ed ordinali, l’induzione ordinale (dimostrazioni e definizioni), argomento diagonale ed ordinali limite, assioma dell’infinito ed aritmetica ordinale, cenni sull’uso degli ordinali in teoria della dimostrazione. Assioma di scelta: formulazioni equivalenti (e dimostrazione dell’equivalenza), insiemi infiniti e assioma di scelta. I cardinali: equipotenza ed insiemi infiniti, i numeri cardinali, aritmetica cardinale.

Testi Adottati

V.M. Abrusci, L. Tortora de Falco, Logica Volume 2- Incompletezza, teoria assiomatica degli insiemi. Springer, (2018).

Modalità Erogazione

Il corso prevede Didattica frontale; Discussioni con gli studenti e dibattiti sugli argomenti trattati; La frequenza non è obbligatoria ma è vivamente raccomandata.

Modalità Valutazione

Esame orale, di durata variabile, in media tra 45 e 60 minuti.

Programma

Introduzione alla teoria degli insiemi: aggregati ed insiemi, necessità di una teoria, ordinali e cardinali, antinomie e paradossi, principali caratteristiche della teoria assiomatica. La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF): preliminari e convenzioni, la teoria di Zermelo, l’assioma di rimpiazzamento e la teoria di Zermelo-Fraenkel, estensioni del linguaggio per definizione. Gli ordinali: ordini, buoni ordini e buona fondatezza, buona fondatezza e principio di induzione, i numeri ordinali, buoni ordini ed ordinali, l’induzione ordinale (dimostrazioni e definizioni), argomento diagonale ed ordinali limite, assioma dell’infinito ed aritmetica ordinale, cenni sull’uso degli ordinali in teoria della dimostrazione. Assioma di scelta: formulazioni equivalenti (e dimostrazione dell’equivalenza), insiemi infiniti e assioma di scelta. I cardinali: equipotenza ed insiemi infiniti, i numeri cardinali, aritmetica cardinale.

Testi Adottati

V.M. Abrusci, L. Tortora de Falco, Logica Volume 2- Incompletezza, teoria assiomatica degli insiemi. Springer, (2018).

Modalità Erogazione

Il corso prevede Didattica frontale; Discussioni con gli studenti e dibattiti sugli argomenti trattati; La frequenza non è obbligatoria ma è vivamente raccomandata.

Modalità Valutazione

Esame orale, di durata variabile, in media tra 45 e 60 minuti.