Gentzen's Centenary
Kurzinformation
Sprache:
Englisch
ISBN:
3319101021
Verlag:
Seitenzahl:
561
Auflage:
-
Erschienen:
2015-11-09
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Gentzen's Centenary
The Quest for Consistency
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.
Produktdetails
Einband:
Kartoniert
Seitenzahl:
561
Erschienen:
2015-11-09
Sprache:
Englisch
EAN:
9783319101026
ISBN:
3319101021
Verlag:
Gewicht:
882 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Neu
149,79 €
Entdecke mehr zum Thema
