Nov 12, 2024  
Undergraduate Calendar 2016-2017 
    
Undergraduate Calendar 2016-2017 [-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)