| 書目名稱 | Saved from the Cellar |
| 副標題 | Gerhard Gentzen’s Sh |
| 編輯 | Jan von Plato |
| 視頻video | http://file.papertrans.cn/861/860994/860994.mp4 |
| 概述 | Contains an introduction and English translation on very important notes on logic from a significant mathematician.Presented in three parts for optimal accessibility.Contains a detailed table of conte |
| 叢書名稱 | Sources and Studies in the History of Mathematics and Physical Sciences |
| 圖書封面 |  |
| 描述 | Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by G?del‘s incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. After these successes, Gentzen dedicated the rest of his short life to the main problem of Hilbert‘s proof theory, the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time, but several decades later, two slim folders of shorthand notes were found. In this volume, Jan von Plato gives an overview of Gentzen‘s life and scientific achievements, based on detailed archival and systematic studies, and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen‘s central ideas and |
| 出版日期 | Book 2017 |
| 關鍵詞 | predicate logic; type theory; natural calculi; cut theorem; Paul Bernays |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-42120-9 |
| isbn_softcover | 978-3-319-82502-1 |
| isbn_ebook | 978-3-319-42120-9Series ISSN 2196-8810 Series E-ISSN 2196-8829 |
| issn_series | 2196-8810 |
| copyright | Springer International Publishing Switzerland 2017 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 17:16
發(fā)表于 2025-3-21 20:04:34
