| LM410 - MATHEMATICAL LOGIC 1
(objectives)
Application of the compactness theorem, Löwenheim-Skolem’s theorem. Basic recursion theory, decidability. Completeness and decidability of a first order theory, examples. Peano’s arithmetic and Gödel’s incompleteness theorems..
|
Università Roma Tre