Gentzen's Centenary

The Quest for Consistency

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing
Cover of the book Gentzen's Centenary by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319101033
Publisher: Springer International Publishing Publication: November 2, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319101033
Publisher: Springer International Publishing
Publication: November 2, 2015
Imprint: Springer
Language: English

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-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.   

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.   

More books from Springer International Publishing

Cover of the book AI 2016: Advances in Artificial Intelligence by
Cover of the book Neuroimaging of Pain by
Cover of the book Mindfulness and Buddhist-Derived Approaches in Mental Health and Addiction by
Cover of the book Computer Vision – ECCV 2018 Workshops by
Cover of the book Industrial Networks and Intelligent Systems by
Cover of the book Women and Children as Victims and Offenders: Background, Prevention, Reintegration by
Cover of the book Recent Advances in Agent-based Complex Automated Negotiation by
Cover of the book An Introduction to Medical Physics by
Cover of the book Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques by
Cover of the book Landforms of the Earth by
Cover of the book Haunting Modernisms by
Cover of the book Obesity and Lipotoxicity by
Cover of the book Modernism and Scottish Theatre since 1969 by
Cover of the book Interactive Theorem Proving by
Cover of the book Linking the Space Shuttle and Space Stations by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy