Logic's lost genius - The life of Gerhard Gentzen

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Menzler-Trott, Eckart (Author); Craig Smoryński(Translator); Edward Griffor(Translator)
Series: History of Mathematics 33
Publisher: AMS; LMS
Year: 2007

Language: English
Pages: 440
Tags: History of mathematics;Mathematical logic;Proof theory

Cover
Contents
Preface to the English edition
Introduction
Early youth and abitur
1928-1938—Weimar Republic and National Socialism in peace. From the beginning of studies to the extension of the unscheduled assistantship for another year with effect from 1 October 1938
1939-1942—From the beginning of the war to dismissal from the Wehrmacht and the wartime habilitation under Helmut Hasse
The fight over “German logic” from 1940 to 1945: A battle between amateurs
Recovery and docent position 1942 to 1944
Arrest, imprisonment, death and Nachlass
Conclusion
Tables of the life of Gerhard Gentzen
Appendix A: Gentzen and geometry, by C. Smoryński
Appendix B: Hilbert’s programme, by C. Smoryński
Appendix C: Three lectures, by Gerhard Gentzen
Appendix D: From Hilbert’s programme to Gentzen’s programme, by Jan von Plato
Bibliography
Index
Back Cover