Ateneo - UPO

Aritmetica di Peano.
Teorema di incompletezza di Goedel.
Indefinibilità della verità di Tarski.
Modelli non-standard.
Analisi e risoluzione di alcuni paradossi: Russel, Burali-Forti, Richard.
Introduzione alla teoria degli insiemi

Gabriele Lolli, "Introduzione alla logica formale", editore: Il Mulino.

Consolidare i metodi acquisiti nel corso di base di Logica matematica e accrescere le conoscenze e gli strumenti per la comprensione e gestione dei sistemi formali

Logica (3 CFU, corso base del primo anno)

Lezioni frontali con slide

Nessuna

Esame orale

Aritmetica di Peano.
Teorema di incompletezza di Goedel.
Indefinibilità della verità di Tarski.
Modelli non-standard.
Analisi e risoluzione di alcuni paradossi: Russel, Burali-Forti, Richard.
Introduzione alla teoria degli insiemi: Ordinali e cardinali

Aver appreso ulteriori strumenti per la comprensione dei sistemi formali