Helmut Schwichtenberg

From Wikipedia, the free encyclopedia
From left: Yiannis Moschovakis, Helmut Schwichtenberg, Anne Sjerp Troelstra, 2002 at the MFO

Helmut Schwichtenberg (born April 5, 1942[1] in Żagań)[citation needed] is a German mathematical logician.

Schwichtenberg studied mathematics from 1961 at the FU Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from Dieter Rödding.[1][2][3] He then worked as an assistant and then as a professor in Münster,[citation needed] and since 1978 has been professor of mathematical logic at the Ludwig-Maximilians-Universität Munich[1] (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.

Selected publications[]

  • 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). 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. 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.

References[]

  1. ^ Jump up to: a b c Jürgen Elstrodt and Norbert Schmitz (Apr 2013). "Ehemalige Professoren 1945–1969". Entwicklung der Mathematik an der Universität Münster (PDF) (in German). p. 283.
  2. ^ 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 2019-10-31.
  3. ^ Helmut Schwichtenberg at the Mathematics Genealogy Project

External links[]

Retrieved from ""