90705 - Mathematical Logic 1 (2018/2019)

General information

90705 - Mathematical Logic 1 (Log1, 7 CFU), first semester, years: 3° LT; 1° LM.

Course content

Logic for the mathematical practice. Formal theories and the deduction calculi.

Type theory. The problem of consistency. First order number theory. Recursive functions. The incompleteness theorems.

Hilbert tenth problem and its solution.

Language

Italian

Teacher

Giuseppe Rosolini

Teaching style

In presence

Attendance

Not required