MAT309H5 • Introduction to Mathematical Logic

The relationships among axioms, proofs, consistency and truth in mathematics. Soundness and Completeness. Introductions to model theory, set theory, and computability; arithmetic as a central example. Gödel's incompleteness theorems; outlines of their proofs. This course emphasizes rigour.

MAT257Y5 or [MAT236H5 and (MAT202H5 or MAT224H5 or MAT240H5) and 0.5 additional credit of MAT at the 300+ level]
Priority is given to students enrolled in the Mathematics and Computer Science Specialist or Major programs.
In Class
Mathematical Sciences