MAT309H5 • Introduction to Mathematical Logic

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
MAT257Y5 or [ MAT236H5 and ( MAT202H5 or MAT224H5 or MAT240H5) and at least 0.5 MAT credit at 300+ level]
Exclusions
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