Mathematical Logic Seminar: Sequent Calculus and Gentzen’s Work

December 8, 2021, 3:10-4:00pm | Carver 204
Speaker: Ian Parks, ISU
Title: Sequent Calculus and Gentzen’s Work
Abstract: Gentzen developed a method of deductions called sequent calculus and used it to show that PRA with the additional axiom of transfinite induction up to ε_0 could prove the consistency of PA. In this talk we will cover what sequent calculus is, what ε_0 is, and at a high-level discuss how Gentzen proved the consistency of PA