Saved from the Cellar / Sources and Studies in the History of Mathematics and Physical Sciences (PDF)
Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics
(Sprache: Englisch)
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...
sofort als Download lieferbar
Printausgabe 160.49 €
eBook (pdf) -7%
149.79 €
74 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Saved from the Cellar / Sources and Studies in the History of Mathematics and Physical Sciences (PDF)“
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.
Bibliographische Angaben
- Autor: Jan von Plato
- 2017, 1st ed. 2017, 315 Seiten, Englisch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319421204
- ISBN-13: 9783319421209
- Erscheinungsdatum: 31.03.2017
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.52 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Pressezitat
“This is an account and transcription of two slim folders of stenographic material in Gerhard Gentzen's handwriting that were found in 1984. … this book is a valuable contribution to the history of the development of mathematical logic in the first half of the twentieth century.” (Henry Africk, Mathematical Reviews, December, 2017)
Kommentar zu "Saved from the Cellar / Sources and Studies in the History of Mathematics and Physical Sciences"
0 Gebrauchte Artikel zu „Saved from the Cellar / Sources and Studies in the History of Mathematics and Physical Sciences“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Saved from the Cellar / Sources and Studies in the History of Mathematics and Physical Sciences".
Kommentar verfassen