May 20, 2024  
Undergraduate Calendar 2014-2015 (Fall/Winter) 
    
Undergraduate Calendar 2014-2015 (Fall/Winter) [-ARCHIVED CALENDAR-]

Add to Favourites (opens a new window)

MATH 3TP3* - Truth and Provability: Gödel’s Incompleteness Theorems

3 unit(s)

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 



Add to Favourites (opens a new window)