Title of the course: Fundamental Theorems of Mathematical Logic
Instructor: Asst. Prof. Ahmet Çevik
Institution: JSGA/ODTÜ
Dates: 20-24 July 2020
Prerequisites: Some knowledge in abstract mathematics, particularly propositional logic and proof methods.
Level: Advanced undergraduate
Abstract: The aim of this course is to prove the fundamental theorems of mathematical logic, namely the completeness and compactness theorems for propositional and first-order predicate logic, Löwenheim-Skolem Theorems, and Gödel’s Incompleteness Theorem (time permitting). For this we introduce the notion of structure and models and then move on to the computable-theoretic notions for proving the incompleteness theorem.
Language: EN, TR