MATHEMATICAL LOGIC

Set theory.
Introduction to mathematical logic and model theory.
Compactness theorem and consequences, in particular Löwenheim–Skolem theorem.
Godel's theorems.

Understanding of Cantor's theory of transfinite numbers.
Understanding of Godel's theorems and their philosophical implications.

A course in mathematic or in logic.

Set theory.
Classical propositional logic.
Historical remarks.
First-order logic: syntax and semantics.
Model theory.
Theories, completeness and compactenss theorems.
Löwenheim–Skolem theorem.
Godel's incompleteness theorems.

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

The students will by evaluated on the basis of their participation to the discussions in classroom.
They have to write papers which are to be discussed in seminars.

Standard lessons held by the teacher

Italian

Accessibility, Disability and Inclusion

Ca' Foscari abides by Italian Law (Law 17/1999; Law 170/2010) regarding support services and accommodation available to students with disabilities. This includes students with mobility, visual, hearing and other disabilities (Law 17/1999), and specific learning impairments (Law 170/2010). If you have a disability or impairment that requires accommodations (i.e., alternate testing, readers, note takers or interpreters) please contact the Disability and Accessibility Offices in Student Services: disabilita@unive.it.

oral