Mathematical Logic.

Catalog description

Students examine logical metatheory and meta-mathematics, which is the field at the intersection of mathematics and logic that investigates logical reasoning with mathematical methods. Topics include completeness and soundness proofs for first-order predicate logic and its extensions, the formal theory of deduction, and fundamental Gödel completeness theorem and related results. The compactness theorem is established, coordinating semantics and deduction, meaning, and consequence. Prerequisite: MATH 3300 .