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 Metastatic Neoplasms in Fine-Needle Aspiration Cytology by
Cover of the book Socially-critical Environmental Education in Primary Classrooms by
Cover of the book Aspects of Management Planning for Cultural World Heritage Sites by
Cover of the book The Role of Submarine Groundwater Discharge as Material Source to the Baltic Sea by
Cover of the book Medical Image Understanding and Analysis by
Cover of the book Intelligent Random Walk: An Approach Based on Learning Automata by
Cover of the book Model Validation and Uncertainty Quantification, Volume 3 by
Cover of the book Software Developers as Users by
Cover of the book The Language Question under Napoleon by
Cover of the book Advances in Robust Fractional Control by
Cover of the book Grand Challenges in Technology Enhanced Learning by
Cover of the book Innovation, Regional Integration, and Development in Africa by
Cover of the book Algal Biorefineries by
Cover of the book Dysmenorrhea and Menorrhagia by
Cover of the book Design, User Experience, and Usability: Designing Pleasurable Experiences 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