Helmut Schwichtenberg (born 5 April 1942[2]) is a German mathematical logician.
Helmut Schwichtenberg | |
---|---|
Born | |
Alma mater | Free University of Berlin, University of Münster |
Scientific career | |
Fields | Logic, Proof theory, Mathematics |
Institutions | Ludwig Maximilian University of Munich |
Thesis | A Classification of Multiple Recursive Functions |
Doctoral advisor | Dieter Rödding |
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][4] He then worked as an assistant and then as a professor in Münster,[5] 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.[5]
Selected publications
edit- Helmut Schwichtenberg and Kurt Schütte (1990). "Mathematische Logik". In Gerd Fischer and Friedrich Hirzebruch and Winfried Scharlau and Willi Törnig (ed.). Ein Jahrhundert Mathematik, 1890–1990 – Festschrift zum Jubiläum der DMV. Dokumente zur Geschichte der Mathematik (in German). Vol. 6. Braunschweig: Vieweg. pp. 717–740. ISBN 3-528-06326-2.
- Helmut Schwichtenberg and Anne S. Troelstra (1996). Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science. Vol. 43 (1st ed.). Cambridge: Cambridge University Press. ISBN 0-521-57223-1. (2nd edition 2000: ISBN 0-521-77911-1)
- Helmut Schwichtenberg and Stanley S. Wainer (2012). Proofs and Computations. Cambridge: Cambridge University Press. ISBN 978-0-521-51769-0.
- Helmut Schwichtenberg (2006). "An arithmetic for polynomial-time computation". Theoretical Computer Science. 357 (1–3): 202–214. doi:10.1016/j.tcs.2006.03.019.
References
edit- ^ Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger (2012). "Preface". Logic, Construction, Computation. pp. 2–4. doi:10.1515/9783110324921.2. ISBN 978-3-11-032453-2.
{{cite book}}
: CS1 maint: multiple names: authors list (link) - ^ a b c Jürgen Elstrodt and Norbert Schmitz (April 2013). "Ehemalige Professoren 1945–1969". Entwicklung der Mathematik an der Universität Münster (PDF) (in German). p. 283.
- ^ Helmut Schwichtenberg (1968). Eine Klassifikation der mehrfach-rekursiven Punktionen [A Classification of Multiple Recursive Functions] (PDF) (Ph.D. thesis) (in German). Universität Münster. S2CID 17197421. Archived from the original (PDF) on 31 October 2019.
- ^ Helmut Schwichtenberg at the Mathematics Genealogy Project
- ^ a b Fritsch, Rudolf; Hauber, Rudolf, eds. (2000). "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. LMU Munich. Retrieved 22 May 2024.