THEOREMS IN LOGIC 2
(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.
|