Gentzen's Centenary The Quest for Consistency /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kahle, Reinhard (Editor), Rathjen, Michael (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Subjects: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re...