Free shipping on orders over $99
Saved from the Cellar

Saved from the Cellar

Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

by Jan von Plato
Hardback
Publication Date: 07/04/2017

Share This Book:

 
$244.95
Part I: A Sketch of Gentzen's Life and Work.- 1. Overture.- 2. Gentzen's years of study.- Dr. Gentzen's arduous years in Nazi Germany.- 4. The scientific accomplishments.- 5. Loose ends.- 6. Gentzen's genuis.- Part II: Overview of the Shorthand Notes.- 1. Gentzen's series of stenographic manuscripts.- 2. The items in this collection.- Practical remarks on the manuscripts.- Manuscript illustrations.- The German alphabet in Latin, Sutterlin, and Fraktur Type.- Bibliography for parts I and II.- Index of names for Parts I and II.- Part III: The Original Writings.- 1. Reduction of number-theoretic problems to predicate logic.- 2. Replacement of functions by predicates.- 3. The formation of abstract concepts.- 4. Five different forms of natural calculi.- 5. Formal conception of correctness in arithmetic I.- 6. Investigations into logical inferences.- 7. Reduction of classical to intuitionistic logic.- 8. CV of the candidate Gerhard Gentzen.-0 9. Letters to Heyting.- 10. Formal conception of correctness in arithmetic II.- 11. Proof theory of number theory.- 12. Consistency of artihmetic, for publication.- 13. Correspondence with Paul Bernays.- 14. Forms of type theory.- 15. Predicate logic.- 16. Propositional logic.- 17. Foundational research in mathematics.- Table of cross-references in the Gentzen papers.- Index of names in the Gentzen papers.- Index of subjects in the Gentzen papers.
ISBN:
9783319421193
9783319421193
Category:
History of mathematics
Format:
Hardback
Publication Date:
07-04-2017
Language:
English
Publisher:
Springer
Country of origin:
United States
Dimensions (mm):
235x155mm
Weight:
6.15kg

Click 'Notify Me' to get an email alert when this item becomes available

Reviews

Be the first to review Saved from the Cellar.