MATC09H3 Introduction to Mathematical Logic

Predicate calculus. Relationship between truth and provability; Gdel's completeness theorem. First order arithmetic as an example of a first-order system. Gdel's incompleteness theorem; outline of its proof. Introduction to recursive functions.

Prerequisite: 
Exclusion: 

MAT309H, CSC438H

Breadth Requirements: 
Quantitative Reasoning