Ateneo - UPO

Aritmetica di Peano.
Teorema di incompletezza di Goedel.
Indefinibilità della verità di Tarski.
Modelli non-standard.
Analisi e risoluzione di alcuni: paradosso di Russel, Burali-Forti, Richard.
Metodo della risoluzione.

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, indagandone anche i limiti.

Logica matematica (3 CFU. corso base del primo anno)

Lezioni con slide

Nessuna

Esame scritto o orale

Aritmetica di Peano.
Teorema di incompletezza di Goedel.
Indefinibilità della verità di Tarski.
Modelli non-standard.
Analisi e risoluzione di alcuni: paradosso di Russel, Burali-Forti, Richard.
Metodo della risoluzione.

Aver appreso ulteriori strumenti per la comprensione dei sistemi formali utili sia da un punto di vista teorico sia alla programmazione logica