Course Outcomes
History
Prove and understand the completeness and consistency of first-order logic as well as the Solem-Löwenheim theorem, Gödel incompleteness, Church's undecidability theorem, etc.
Figures and Topics
Formulate and evaluate the philosophical ramifications of these theorems.