Text

Gentzen's Centenary

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

510.1 GEN

Publisher

: ., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-319-10102-6

Classification

510.1

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Mathematical Logic and Foundations

Specific Detail Info

-

Statement of Responsibility

Reinhard Kahle editor

Other Information

Cataloger

Khusnun

Source

-

Validator

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment