LOGICA DELLA MATEMATICA SP.

Teoria degli insiemi.
Introduzione alla logica matematica ed alla teoria dei modelli.
Teorema di compattezza e sue conseguenze, in particolare il teorema di Löwenheim–Skolem.
Teoremi di Godel.

Comprensione della teoria dei numeri trasfiniti di Cantor.
Comprensione dei teoremi di Godel e delle loro implicazioni filosofiche.

Un corso di matematica oppure di logica.

Teoria degli insiemi.
La logica proposizionale classica.
Cenni storici.
La logica del primo ordine: sintassi e semantica.
Toeria dei modelli.
Teorie, teorema di completezza e compattezza.
Teorema di Löwenheim–Skolem.
Teoremi di incompletezza di Godel.

Nagel - Newman "La prova di Gödel" ed. Boringhieri.
Palladino, D. "Corso di Logica" ed. Carocci
Robinson, A. "Logica" ed. Treccani

Partecipazione alle relazioni ed alle discussioni in aula.
Tesi scritte che dovranno essere esposte durante dei seminari.

orale

Lezioni standard tenute dal docente

Accessibilità, disabilità e inclusione

Ca’ Foscari applica la Legge Italiana (Legge 17/1999; Legge 170/2010) per i servizi di supporto e di accomodamento disponibili agli studenti con disabilità o con disturbi specifici dell’apprendimento. Se hai una disabilità motoria, visiva, dell’udito o altre disabilità (Legge 17/1999) o un disturbo specifico dell’apprendimento (Legge 170/2010) e richiedi supporto (assistenza in aula, ausili tecnologici per lo svolgimento di esami o esami individualizzati, materiale in formato accessibile, recupero appunti, tutorato specialistico a supporto dello studio, interpreti o altro) contatta l’ufficio Disabilità e DSA disabilita@unive.it.