Description
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
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