| 书目名称 | Gentzen‘s Centenary |
| 副标题 | The Quest for Consis |
| 编辑 | Reinhard Kahle,Michael Rathjen |
| 视频video | |
| 概述 | Provides a comprehensive picture of proof-theoretic investigations following Gerhard Gentzen‘s seminal work.Revisits and re-evaluates Gentzen‘s original proof(s) of the consistency of arithmetic.Inclu |
| 图书封面 |  |
| 描述 | .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. . |
| 出版日期 | Book 2015 |
| 关键词 | Consistency Proof; Gentzen Formal Systems; Gentzen‘s Main Theorem; Ordinal Analysis; Proof Theory |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-10103-3 |
| isbn_softcover | 978-3-319-10102-6 |
| isbn_ebook | 978-3-319-10103-3 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 16:09:26
