Dec 21, 2024  
Undergraduate Calendar 2022-2023 
    
Catalog Navigation
  Calendar Home
  Academic Regulations
  Sessional Dates
  Programs (by Faculty) and Faculty Information
  Programs (by Degree) and Minors
  Interdisciplinary Minors and Thematic Areas
  Certificate and Diploma Programs
  Course Listings
  Admission, Application and Aid & Awards Information
  Governing Bodies and Emeriti
  Contact Us
  Glossary
  PDF Version and Archive
  My Favourites
HELP
Undergraduate Calendar 2022-2023 [-ARCHIVED CALENDAR-]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)

MATH 3TP3* - Truth and Provability

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 1C03  


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)