Helmut Schwichtenberg

Schwichtenberg with Anne Troelstra (right) and Yiannis Moschovakis (left) , Oberwolfach 2002

Helmut Schwichtenberg (born April 5, 1942 in Sagan , Silesia ) 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 under Dieter Rödding ( a classification of multiple recursive functions ). He was then assistant and then professor in Münster and has been professor of mathematical logic at the Ludwig Maximilians University in Munich since 1978 (successor to Kurt Schütte ).

Schwichtenberg deals, among other things, with the theory of proof , the theory of computability , the lambda calculus and with applications of logic in computer science.

Fonts

with Stanley S. Wainer : Proofs and Computations. Cambridge University Press, Cambridge et al. 2012, ISBN 978-0-521-51769-0 .
with Anne S. Troelstra : Basic Proof Theory (= Cambridge Tracts in Theoretical Computer Science. 43). Cambridge University Press, Cambridge et al. 1996, ISBN 0-521-57223-1 (2nd edition, ibid. 2000, ISBN 0-521-77911-1 ).
with Kurt Schütte : Mathematical Logic. In: Gerd Fischer , Friedrich Hirzebruch , Winfried Scharlau , Willi Törnig (Eds.) A Century of Mathematics. 1890-1990. Festschrift for the anniversary of the DMV (= documents on the history of mathematics. Vol. 6). Vieweg, Braunschweig et al. 1990, ISBN 3-528-06326-2 , pp. 717-740.

personal data
SURNAME	Schwichtenberg, Helmut
BRIEF DESCRIPTION	German mathematical logician
DATE OF BIRTH	April 5, 1942
PLACE OF BIRTH	Sagan