MATC09H3
Predicate calculus. Relationship between truth and provability; Gödel's completeness theorem. First order arithmetic as an example of a first-order system. Gödel's incompleteness theorem; outline of its proof. Introduction to recursive functions.
Exclusion:
MAT309H, CSC438H
Breadth Requirements:
Quantitative Reasoning