Course Contents
Syntax and semantics of first-order logic; formal proofs in a calculus; completeness; compactness theorem; logical and set-theoretical foundations of mathematics; elementary recursion theory; undecidability and incompleteness.
Literature
examples of useful literature:
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik;
Shoenfield: Mathematical Logic;
Cori, Lascar: Mathematical Logic;
Poizat: A Course in Model Theory, an Introduction to Contemporary Mathematical Logic;
van Dalen: Logic and Structure;
lecture notes where provided
Preconditions
recommended: solid mathematical foundations in Analysis and Linear Algebra
Online Offerings
moodle
- Lehrende: Kord Eickmeyer
- Lehrende: Pedro Pinto
- Lehrende: Nicholas Pischke
Semester: WT 2023/24