Mathematics 144

Mathematical Logic II: Mathematics — Incompleteness (110598)

Peter Koellner

2027 Spring (4 Credits)

Schedule: WF 1030 AM - 1145 AM

Instructor permissions: None

Enrollment Cap: n/a

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

Course Notes::

Familiarity with the material in either Math 143 or Math 141

Course Requirements::

Anti-requisite: Cannot be taken for credit if PHIL 144 already complete or in progress.

Jointly Offered with::

Faculty of Arts and Sciences as PHIL 144

: