# Topics in Logic and the Foundations of Mathematics

Topics in Logic and the Foundations of Mathematics

**Course Description:** An introduction to proof theory. We will be interested in the following questions: Is every mathematical truth provable from the axioms? Are the axioms consistent? Does each provable statement have a simplest proof?

We will cover seminal results of Gentzen and Gödel that address these questions, including the equi-consistency of constructive and classical arithmetic, the Gödel incompleteness theorems, the cut-elimination theorem and its corollaries, and Gentzen’s consistency proof of arithmetic.

**Class**** Time ****and ****Location: **Tu Th 11:25am - 12:40pm in Rockefeller Hall 102

**Office Hours:** W 11am-12pm and F 10am - 11am in Goldwin Smith 322

By Sidney Harris, from *What's So Funny About Science?*