LM430 - Logica e Fondamenti della Matematica

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.

Nessuno in particolare. È opportuna una conoscenza preliminare dei concetti elementari di matematica insegnati al primo anno di università.

Testi: V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 2 Incompletezza, teoria assiomatica degli insiemi, Springer, 2018

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

La frequenza non è obbligatoria ma è vivamente raccomandata.

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

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.

Nessuno in particolare. È opportuna una conoscenza preliminare dei concetti elementari di matematica insegnati al primo anno di università.

Testi: V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 2 Incompletezza, teoria assiomatica degli insiemi, Springer, 2018

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

La frequenza non è obbligatoria ma è vivamente raccomandata.

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

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.

Nessuno in particolare. È opportuna una conoscenza preliminare dei concetti elementari di matematica insegnati al primo anno di università.

Testi: V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 2 Incompletezza, teoria assiomatica degli insiemi, Springer, 2018

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

La frequenza non è obbligatoria ma è vivamente raccomandata.

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