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.

Exclusion
Distribution Requirements
Science
Breadth Requirements
The Physical and Mathematical Universes (5)
Mode of Delivery
In Class