Language: Italian
Teaching style: In presence
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.
Course notes.
GIUSEPPE ROSOLINI (President)
MARCO BORGA
February 27, 2017
MATHEMATICAL LOGIC 1
