Eckart Menzler-Trott. American Mathematical Soc. Gerhard Gentzen is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called ''proof theory'' but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in
|Published (Last):||25 November 2008|
|PDF File Size:||17.30 Mb|
|ePub File Size:||7.31 Mb|
|Price:||Free* [*Free Regsitration Required]|
Eckart Menzler-Trott. American Mathematical Soc. Gerhard Gentzen is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called ''proof theory'' but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today.
The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for ''German logic'', and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time.
The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Godel; and its development up to the present day.
Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program.
This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers.
Information for our distributors: Co-published with the London Mathematical Society beginning with Volume 4. Political Language in Mathematics in Arrest Imprisonment Death and Nachlass. Gentzens Physical Death. Is Gentzens Death Understandable? Attempts to Rescue the Nachlass. Gentzen in Financial Difficulties. Financial Straits and Job Hunting. Difficulties with the Widerspruchsfreiheit der reinen Zahlentheorie of 11 August Consistency of Type Theory.
Revising the Proof of the Widerspruchsfreiheit der reinen Zahlentheorie. Die Widerspruchsfreiheit der reinen Zahlentheorie. Gentzen Was an Intellectual Independent. Gentzen Expresses His Thanks to Turing.
Correspondence between Bernays and Ackermann to Jean Cavailles and Gerhard Gentzen. Neue Fassung des Widerspruchsfreiheitsbeweises der reinen Zahlentheorie May and Dingler Provide Arguments for Steck.
Steck and Scholz in Dispute. Recovery and Docent Position to Keplers Laws of Planetary Motion. The First Courses in November Teaching Functions Computing Office and War. The Deciphering of the Stenographic Notes. Tables of the Life of Gerhard Gentzen. Contemporary Assessments of Gentzen. Publications of Gentzen. Problems in Paris. Hilbert and Geometry. Back to Hilbert. Weyl Stirs Things Up. Hilbert Responds. More on Brouwer. Outbreak of Hostilities.
The Formula Game. On the Infinite. A Fragile Truce. Hilberts Programme Is Born. Brouwer Takes Up Arms. Hilbert Finishes Off Brouwer. The Programme Expands. Concluding Remarks. Three Lectures Gerhard Gentzen. The Concept of Infinity and the Consistency of Mathematics. Hilberts Programme. Gentzens Programme. Later Developments in Structural Proof Theory. Early Youth and Abitur. A Conjecture. A Battle. Longer Notes. First Steps. Enter Brouwer. Godels Theorem.
Saved from the Cellar
He made major contributions to the foundations of mathematics , proof theory , especially on natural deduction and sequent calculus. He died of starvation in a Soviet prison camp in Prague in , having been interned as a German national after the Second World War. Bernays was fired as "non- Aryan " in April and therefore Hermann Weyl formally acted as his supervisor. Gentzen joined the Sturmabteilung in November although he was by no means compelled to do so.
It seems that you're in Germany. We have a dedicated site for Germany. 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. 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 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.