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
• 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.