Mathematical Logic Seminar: Sequent Calculus and Gentzen’s Work
Author: Lona | Image: Lona
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