Helmut Schwichtenberg


Helmut Schwichtenberg 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. He then worked as an assistant and then as a professor in Münster, and since 1978 has been professor of mathematical logic at the Ludwig-Maximilians-Universität Munich.
Schwichtenberg deals, among other things, with proof theory, theory of computability, lambda calculus and with applications of logic in computer science.
He is a member of the Bavarian Academy of Sciences.

Selected publications

*