Saved from the Cellar

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

Nonfiction, Science & Nature, Mathematics, Logic, History
Cover of the book Saved from the Cellar by Jan von Plato, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Jan von Plato ISBN: 9783319421209
Publisher: Springer International Publishing Publication: March 31, 2017
Imprint: Springer Language: English
Author: Jan von Plato
ISBN: 9783319421209
Publisher: Springer International Publishing
Publication: March 31, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014 by Jan von Plato
Cover of the book Advances and Technical Standards in Neurosurgery by Jan von Plato
Cover of the book Mass Spectrometry by Jan von Plato
Cover of the book Metaphorical Signs in Computed Tomography of Chest and Abdomen by Jan von Plato
Cover of the book Homological Methods, Representation Theory, and Cluster Algebras by Jan von Plato
Cover of the book Disadvantaged Workers by Jan von Plato
Cover of the book Sustainable Future Energy Technology and Supply Chains by Jan von Plato
Cover of the book Nanooncology by Jan von Plato
Cover of the book Analysis and Design of Networks-on-Chip Under High Process Variation by Jan von Plato
Cover of the book Big Data Benchmarks, Performance Optimization, and Emerging Hardware by Jan von Plato
Cover of the book The Problem of Catalan by Jan von Plato
Cover of the book Robots and Lattice Automata by Jan von Plato
Cover of the book The Square of Opposition: A Cornerstone of Thought by Jan von Plato
Cover of the book HIV/AIDS in Rural Communities by Jan von Plato
Cover of the book Enabling Mobilities by Jan von Plato
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy