Helmut Schwichtenberg Explained

Helmut Schwichtenberg
Birth Date:	1942 4, df=yes
Birth Place:	Żagań^[1]
Alma Mater:	Free University of Berlin, University of Münster
Doctoral Advisor:	Dieter Rödding
Thesis Title:	A Classification of Multiple Recursive Functions
Thesis Url:	https://web.archive.org/web/20191031223317/https://pdfs.semanticscholar.org/d32c/adc7d9b9a3bce0c43ad41c8789355c10a465.pdf
Field:	Logic, Proof theory, Mathematics
Work Institution:	Ludwig Maximilian University of Munich

Helmut Schwichtenberg (born 5 April 1942^[2]) is a German mathematical logician.

Schwichtenberg studied mathematics from 1961 at the Free University of Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from Dieter Rödding.^[2] ^[3] He then worked as an assistant and then as a professor in Münster,^[4] and since 1978 has been professor of mathematical logic at the Ludwig-Maximilians-Universität Munich^[2] (successor of Kurt Schütte).

Schwichtenberg deals with, among other things, proof theory, theory of computability, lambda calculus and applications of logic in computer science. He is a member of the Bavarian Academy of Sciences.^[4]

Selected publications

Book: Helmut Schwichtenberg and Kurt Schütte . Mathematische Logik . 717–740 . 3-528-06326-2 . Gerd Fischer and Friedrich Hirzebruch and Winfried Scharlau and Willi Törnig . Ein Jahrhundert Mathematik, 1890 - 1990 - Festschrift zum Jubiläum der DMV . Braunschweig . Vieweg . Dokumente zur Geschichte der Mathematik . 6 . 1990 . DE .
Book: 0-521-57223-1 . Helmut Schwichtenberg and Anne S. Troelstra . Basic Proof Theory . Cambridge . Cambridge University Press . Cambridge Tracts in Theoretical Computer Science . 43 . 1st . 1996 . (2nd edition 2000:)
Book: 978-0-521-51769-0 . Helmut Schwichtenberg and Stanley S. Wainer . Proofs and Computations . Cambridge . Cambridge University Press . 2012 .
Helmut Schwichtenberg . An arithmetic for polynomial-time computation . Theoretical Computer Science . 357 . 1–3 . 202 - 214 . 2006 . 10.1016/j.tcs.2006.03.019 .

Book: Logic, Construction, Computation . Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger . Preface . 2012 . 2–4 . 10.1515/9783110324921.2 . 978-3-11-032453-2 .
Book: Entwicklung der Mathematik an der Universität Münster . Jürgen Elstrodt and Norbert Schmitz . Apr 2013 . Ehemalige Professoren 1945 - 1969 . 283 . DE.
Ph.D. thesis . Eine Klassifikation der mehrfach-rekursiven Punktionen . https://web.archive.org/web/20191031223317/https://pdfs.semanticscholar.org/d32c/adc7d9b9a3bce0c43ad41c8789355c10a465.pdf . dead . 2019-10-31 . Helmut Schwichtenberg . A Classification of Multiple Recursive Functions. Universität Münster . 1968 . 17197421 . DE .
Book: https://www.mathematik.uni-muenchen.de/festschrift/node117.html. Prof. Dr. Helmut Schwichtenberg. 25 Jahre Fakultät für Mathematik Das Mathematische Institut 1971 – 1996: Jubiläumsfestschrift des Mathematischen Instituts der Ludwig-Maximilians-Universität München. Rudolf. Fritsch. Rudolf. Hauber. LMU Munich. 2000. 2024-05-22.