Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics. (2017)
- Record Type:
- Book
- Title:
- Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics. (2017)
- Main Title:
- Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
- Further Information:
- Note: Jan von Plato.
- Authors:
- Von Plato, Jan
- Contents:
- 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.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2017
- Extent:
- 1 online resource, illustrations
- Subjects:
- 510
Mathematics
Mathematics -- History
MATHEMATICS -- General
MATHEMATICS -- History & Philosophy
Mathematics
Mathematics
History of Mathematical Sciences
Mathematical Logic and Foundations
Mathematics -- Logic
Mathematical foundations
Logic, Symbolic and mathematical
History of mathematics
Electronic books
History - Languages:
- English
- ISBNs:
- 9783319421209
3319421204 - Related ISBNs:
- 9783319421193
3319421190 - Notes:
- Note: Includes bibliographical references and indexes.
Note: Online resource; title from PDF title page (SpringerLink, viewed April 10, 2017). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.343440
- Ingest File:
- 01_295.xml