Ateneo - UPO

Peano Arithmetic
Goedel incompleteness theorem
Tarski's undefinability of truth
Non-standard model
Analysis and resolution of logic paradoxa: Russel, Burali-Forti, Richard
Introduction to set theory

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

To strengthen the methods acquired in the Logic course and improve the knowledge and the tools for understanding and managing formal system

Logic (3 CFU, first semester basic course)

Frontal lectures

None

Oral exam

Peano Arithmetic
Goedel incompleteness theorem
Tarski's undefinability of truth
Non-standard models
Analysis of some logic paradoxa: Russel, Burali-Forti, Richard
Introduction to set theory: ordinals and cardinals

Understanding further tools for dealing with formal sistems