Mathematical Logic II: Mathematics -- Incompleteness

Harvard FAS

An introduction to limitative results in mathematics from a meta-mathematical point of view. Topics include: Gödel's incompleteness theorems, Turing's analysis of computability, and the hierarchy of mathematical systems as ordered under interpretability.