Gentzen's Centenary
eBook - The Quest for Consistency
Bibliographische Informationen
Format: PDF
Digitale Rechteverwaltung: Digitales Wasserzeichen
Beschreibung
Gerhard Gentzen has been described as logics lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzens enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzens 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.
Autorenportrait
Inhalt
Part I Reflections.- Gentzens Consistency Proof in Context, Reinhard Kahle.- Gentzens Anti-Formalist Views, Michael Detlefsen.- The Use of Trustworthy Principles in a Revised Hilberts Program, Anton Setzer.- Part II Gentzens Consistency Proofs.- On Gentzens First Consistency Proof for Arithmetic, Wilfried Buchholz.- From Hauptsatz to Hilfssatz, Jan von Plato.- A Note on How to Extend Gentzens Second Consistency Proof to a Proof of Normalization for First Order Arithmetic, Dag Prawitz.- A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic, Annika Siders.- Gentzens Original Consistency Proof and the Bar Theorem, W.W. Tait.- Goodsteins Theorem Revisited, Michael Rathjen.- Part III Results.- Cut Elimination In Situ, Sam Buss.- Spectors Proof of the Consistency of Analysis, Fernando Ferreira.- Climbing Mount _0, Herman Ruge Jervell.- Semi-Formal Calculi and Their Applications, Wolfram Pohlers.- Part IV Developments.- Proof Theory for Theories of Ordinals III: _N-Reflection, Toshiyasu Arai.- A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions, Gerhard Jäger and Dieter Probst.- Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games, Frederik Meskens and Andreas Weiermann.- Non-deterministic Epsilon Substitution Method for PA and ID_1, Grigori Mints.- A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis, Paulo Oliva and Thomas Powell.- Well-Ordering Principles and Bar Induction, Michael Rathjen and Pedro Francisco Valencia Vizcaíno.
E-Book Informationen
Alle hier erworbenen E-Books können Sie in Ihrem Kundenkonto in die kostenlose PocketBook Cloud laden. Dadurch haben Sie den Vorteil, dass Sie von Ihrem PocketBook E-Reader, Ihrem Smartphone, Tablet und PC jederzeit auf Ihre gekauften und bereits vorhandenen E-Books Zugriff haben.
Um die PocketBook Cloud zu aktivieren, loggen Sie sich bitte in Ihrem Kundenkonto ein und gehen dort in den Bereich „E-Books“. Setzen Sie hier einen Haken bei „Neue E-Book-Käufe automatisch zu meiner Cloud hinzufügen.“. Dadurch wird ein PocketBook Cloud Konto für Sie angelegt. Die Zugangsdaten sind dabei dieselben wie in diesem Webshop.
Weitere Informationen zur PocketBook Cloud finden Sie unter www.meinpocketbook.de.
Allgemeine E-Book-Informationen
E-Books in diesem Webshop können in den Dateiformaten EPUB und PDF vorliegen und können ggf. mit einem Kopierschutz versehen sein. Sie finden die entsprechenden Informationen in der Detailansicht des jeweiligen Titels.
E-Books ohne Kopierschutz oder mit einem digitalen Wasserzeichen können Sie problemlos auf Ihr Gerät übertragen. Sie müssen lediglich die Kompatibilität mit Ihrem Gerät prüfen.
Um E-Books, die mit Adobe DRM geschützt sind, auf Ihr Lesegerät zu übertragen, benötigen Sie zusätzlich eine Adobe ID und die kostenlose Software Adobe® Digital Editions, wo Sie Ihre Adobe ID hinterlegen müssen. Beim Herunterladen eines mit Adobe DRM geschützten E-Books erhalten Sie zunächst eine .acsm-Datei, die Sie in Adobe® Digital Editions öffnen müssen. Durch diesen Prozess wird das E-Book mit Ihrer Adobe-ID verknüpft und in Adobe® Digital Editions geöffnet.
Weitere Artikel des Autors "Reinhard Kahle/Michael Rathjen"
Lieferbar innerhalb 1 - 2 Wochen
Weitere Artikel aus der Kategorie "Mathematik/Grundlagen"
Lieferbar innerhalb 24 Stunden
Lieferbar innerhalb 24 Stunden
Lieferbar innerhalb 24 Stunden
Nicht lieferbar