Department Mathematik



Research interests of Helmut Schwichtenberg

Within Mathematical Logic my interests are in proof theory, lambda calculus and recursion theory.

In particular I am interested in theoretical and practical studies concerning program extraction from proofs. A tool suitable for this task is the Minlog system under development at the logic group of LMU. It is an interactive proof assistant, designed to help constructing proofs (in minimal logic) on computable functionals and inductively defined predicates.

More generally I am interested in applications of logic in computer science. Recent slides: Last change: 2022-12-08