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 MAT257Y1/ [ MAT223H1/ MATA23H3/ MAT223H5/ MAT240H1/ MAT240H5, MAT235Y1/ MAT235Y5/ ( MAT232H5, MAT236H5)/ ( MATB41H3, MATB42H3/ MATB43H3)/ MAT237Y1/ MAT237Y5, MAT246H1/ MAT157Y1/ ( MAT157H5, MAT159H5)/ MAT157Y5/ CSC236H1/ CSC240H1] Exclusion CSC438H1 Breadth Requirements The Physical and Mathematical Universes (5)
