Ateneo - UPO

Peano Arithmetic.
Goedel's incompleteness theorem.
Tarski's undefinibility of truth.
Non-standard models.
Analusis and resolutions of some logical paradoxa: Russel, Burali-Forti, Richard.
Resolutions mothod.

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

Consolidate the methods acquired in the first year basic course in Mathematical Logic and increase knowledge and tools for understanding and managing formal systems, also investigating their intrinsic limitations.

Mathematical Logic (3 CFU, basic course, fisrt semester)

Lectures

None

Written or oral exams

Peano Arithmetic.
Goedel's incompleteness theorem.
Tarski's undefinibility of truth.
Non-standard models.
Analusis and resolutions of some logical paradoxa: Russel, Burali-Forti, Richard.
Resolutions mothod.

Learn further tools for understanding formal systems both from a theoretical point of view and for logic programming