|
Nov 12, 2024
|
|
|
|
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)
|
|