MATH 3TP3 Winter 2018
TRUTH AND PROVABILITY: GODEL'S INCOMPLETENESS THEOREMS
The goal is to inquire into Gödel's proof of incompleteness; in any sufficiently powerful axiom system there will be statements which are true but not provable.
Three lectures; one term
Prerequisite(s): MATH 2R03
PLEASE REFER TO MOSAIC FOR THE MOST UP-TO-DATE INFORMATION ON TIMES AND ROOMS
INSTRUCTOR: B. Hart