Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics / Jan von Plato.
Von Plato, Jan, author.
2017
QA39.3
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics / Jan von Plato.
Author
Von Plato, Jan, author.
ISBN
9783319421209 (electronic book)
3319421204 (electronic book)
9783319421193
3319421190
DOI
https://doi.org/10.1007/978-3-319-42120-9
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource : illustrations
Item Number
10.1007/978-3-319-42120-9 doi
Call Number
QA39.3
Dewey Decimal Classification
510
Summary
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 results, sometimes in a well-developed form, and other times as flashes into the anatomy of the workings of a unique mind.
Bibliography, etc. Note
Includes bibliographical references and indexes.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 10, 2017).
Series
Sources and studies in the history of mathematics and physical sciences.
Available in Other Form
Print version: 3319421190
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Preface; Contents; Part I: A sketch of Gentzen's life and work; 1 Overture; 2. Gentzen's years of study; 3. Dr. Gentzen's arduous years in Nazi Germany, 1933-45; 4. The scientific accomplishments; 5. Loose ends; 6. Gentzen's genius; Part II: An overview of the shorthand notes; 1 Gentzen's series of stenographic manuscripts; 2 The items in this collection; 3 Practical remarks on the manuscripts; 4 Manuscript illustrations; Part III: The original writings; 1 Reduction of number-theoretic problems to predicate logic; 2 Replacement of functions by predicates

3 Correspondence in the beginning of mathematics4. Five different forms of natural calculi; 5 Formal conception of correctness in arithmetic I; 6 Investigations into Logical Inference; 7 Reduction of classical to intuitionistic logic; 8 CV of the candidate Gerhard Gentzen.; 9 Letters to Heyting; 10 Formal conception of correctness in arithmetic II; 11 Proof theory of number theory; 12 Consistency of arithmetic, for publication; 13 Correspondence with Paul Bernays; 14 Forms of type theory; 15 Predicate logic; 15. Predicate logic; 16 Propositional logic

17 Book: Mathematical Foundational ResearchBibliography for Parts I and II; Index of names for parts I and II; Index of names in the Gentzen papers

Browse Subjects

Show more subjects...

Statistics

from
to
Export