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/(MAT232H5, MAT236H5/MATB41H3, MATB42H3)/MAT237Y1/(MATB41H3, MATB42H3, MATB43H3)/MAT237Y5, MAT246H1/MAT157Y1/CSC236H1/CSC240H1 (These Prerequisites will be waived for students who have MAT257Y1)
Exclusion
Distribution Requirements
Science
Breadth Requirements
The Physical and Mathematical Universes (5)