Sources and Studies in the History of Mathematics and Physical Sciences

Saved from the Cellar

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

Authors: von Plato, Jan

  • 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 contents to guide readers to the works of greatest interest to them
see more benefits

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-319-42120-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-319-42119-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (3 chapters)

  • Part I: A sketch of Gentzen’s life and work

    von Plato, Jan

    Pages 1-62

    Preview Buy Chapter 30,19 €
  • Part II: An Overview of the shorthand notes

    von Plato, Jan

    Pages 63-95

    Preview Buy Chapter 30,19 €
  • Part III: The original writings

    von Plato, Jan

    Pages 97-303

    Preview Buy Chapter 30,19 €

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-319-42120-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-319-42119-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Saved from the Cellar
Book Subtitle
Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Authors
Series Title
Sources and Studies in the History of Mathematics and Physical Sciences
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-42120-9
DOI
10.1007/978-3-319-42120-9
Hardcover ISBN
978-3-319-42119-3
Series ISSN
2196-8810
Edition Number
1
Number of Pages
X, 315
Number of Illustrations and Tables
9 b/w illustrations
Topics