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 Index Modulation for 5G Wireless Communications by
Cover of the book The Theater of Revisions in the Hispanic Caribbean by
Cover of the book Supporting Young Men as Fathers by
Cover of the book Integrated Formal Methods by
Cover of the book Women in Contemporary Latin American Novels by
Cover of the book Sexual Treason in Germany during the First World War by
Cover of the book Authoritarianism, Cultural History, and Political Resistance in Latin America by
Cover of the book Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 9 by
Cover of the book Mechanisms in Ancient Chinese Books with Illustrations by
Cover of the book Economic and Social Development of the Southern and Eastern Mediterranean Countries by
Cover of the book Process Equipment Procurement in the Chemical and Related Industries by
Cover of the book Phenomenology of the Winter-City by
Cover of the book Artistic Visions and the Promise of Beauty by
Cover of the book Recent Trends in Fracture and Damage Mechanics by
Cover of the book Machine Tool Metrology 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