Mathematical Logic

Mathematical Logic and Foundations of Mathematics. Proof theory, recursion theory, model theory, and set theory. Minlog proof assistant.

Skip to content

Description of the Working Group

The "Mathematical Logic" research group was founded in the 1950s by Professor Kurt Schütte. He established an internationally renowned center for proof theory in Munich. Currently, a major focus is on the further development of the theory of continuous functionals (TCF), pioneered by Dana Scott. In parallel, we are developing Minlog, a proof assistant based on TCF that can extract the computational content from constructive proofs and automatically prove their correctness.

Lehre

  • Schwichtenberg:  Logik II: Beweise und Programme  16245
  • Petrakis:  Advanced Topics on Mathematical Logic  16043

Current Projects

All finished projects

Secretary

N. N.
More

Private lecturers

Name Title Email Tel Room

Emeriti

Name Title Email Tel Room