Mathematische Logik

Mathematische Logik und Grundlagen der Mathematik. Beweistheorie, Rekursionstheorie, Modelltheorie und Mengenlehre. Beweisassistent Minlog.

Zum Inhalt springen

Beschreibung der Arbeitsgruppe

Die Arbeitsgruppe "Mathematische Logik" wurde in den 50er Jahren durch Professor Kurt Schütte begründet. Er hat in München ein international bedeutendes Zentrum für Beweistheorie aufgebaut. Aktuell liegt ein Schwerpunkt in der Weiterentwicklung der von Dana Scott begründeten Theorie der stetigen Funktionale (TCF). Parallel dazu entwickeln wir einen auf TCF basierenden Beweisassistenten Minlog, der aus konstruktiven Beweisen ihren rechnerischen Gehalt extrahieren und dessen Korrektheit automatisch beweisen kann.

Lehre

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

Laufende Projekte

Alle abgeschlossenen Projekte

Sekretariat

N. N.
Weitere Informationen

Emeriti

Name Titel E-Mail Telefon Raum
Buchholz, Wilfried Prof. Dr. buchholz@math.lmu.de +49 89 2180-4430 B 434
Donder, Hans-Dieter Prof. Dr. donder@math.lmu.de +49 89 2180-4430 B 434
Osswald, Horst Prof. Dr. Horst.Osswald@math.lmu.de +49 89 2180-4430 B 434
Schwichtenberg, Helmut Prof. Dr. schwicht@math.lmu.de +49 89 2180-4413 B 434