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.

Prerequisites
MAT257Y5 or [ MAT236H5 and ( MAT202H5 or MAT224H5 or MAT240H5) and at least 0.5 MAT credit at 300+ level]
Exclusions
CSC438H1 or MAT309H1 or MAT409H1 or MAT357Y1 or MATC09H3
Enrolment Limits
Priority is given to students enrolled in the Mathematics and Computer Science Specialist or Major programs.
Distribution Requirement
Science
Total Instructional Hours
36L/12T
Mode of Delivery
In Class
Program Area
Mathematical Sciences