MAT309H1: Introduction to Mathematical Logic

Hours: 
36L

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.

Prerequisite: 

MAT223H1/​MATA23H3/MAT223H5/ MAT240H1/​MAT240H5, MAT235Y1/​MAT235Y5/(MATB41H3, MATB42H3)/ MAT237Y1/​(MATB41H3, MATB42H3, MATB43H3)/MAT237Y5, MAT246H1/​ CSC236H1/​ CSC240H1 (These Prerequisites will be waived for students who have MAT257Y1)

Exclusion: 
Distribution Requirements: 
Science
Breadth Requirements: 
The Physical and Mathematical Universes (5)