Topics in Logic: Consistency Strength

Course Description: What are the basic principles of mathematical reasoning? Logicians have developed a vast array of axiom systems that map out the possible answers to this question. This leaves the task of selecting among competing axiom systems. The main metric for comparing axiom systems is known as consistency strength. We will start by reviewing classic results on consistency strength. We will then turn to contemporary research that addresses one of the central mysteries in the foundations of mathematics, namely, that all natural axiom systems are comparable according to consistency strength.

Syllabus

Class Time and Location: Wed 11am–1pm; 5 WashingtonPlace, Room 202

Office Hours: Th 3pm–4pm; 5Washington Place, Room 308