Kahle / Rathjen | Gentzen's Centenary | E-Book | www.sack.de
E-Book

E-Book, Englisch, 561 Seiten, eBook

Kahle / Rathjen Gentzen's Centenary

The Quest for Consistency
1. Auflage 2015
ISBN: 978-3-319-10103-3
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

The Quest for Consistency

E-Book, Englisch, 561 Seiten, eBook

ISBN: 978-3-319-10103-3
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.   

Kahle / Rathjen Gentzen's Centenary jetzt bestellen!

Zielgruppe

Graduate

Autoren/Hrsg.

Kahle, Reinhard
Rathjen, Michael
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.