MAT 442: Mathematical Logic.
4 hours, 4 credits. Propositional logic, logic with quantifiers, and with equality. Proof techniques such as Hilbert systems, tableaus, and others. Models, and the extent to which the notion of model embodies and generalizes the various structures studied by mathematicians. Gödel's Completeness Theorem, and consequences such as Compactness and Löwenheim-Skolem Theorems. The incompleteness results of Tarski, Gödel, and others. PREREQ: MAT 314.
Last modified: 5/13/2013