Seminar: Konstruktive Analysis
Zeit und Ort
Mo 14-16, B252; Beginn Montag, 19. Oktober 2026. Bitte melden Sie sich im LSF an.Inhalt
In dem Seminar sollen sowohl (reelle und komplexe) Analysis als auch Maß- und Integrationstheorie auf konstruktiver Basis (TCF) behandelt werden. Die Beweise sollen auch in formalisierter Form geführt werden, unter Verwendung des Beweisassistenten Minlog.Vorausgesetzt werden Grundkenntnisse in Mathematischer Logik. Ferner wird vorausgesetzt, daß die Teilnehmer das Tutorium des Beweisassistenten Minlog durchgearbeitet haben. Nach erfolgreichem Besuch des Seminars ist es möglich, eine Bachelor- oder Masterarbeit zu einem Thema aus diesem Umkreis zu schreiben.
Vorträge
Die Vortragsthemen werden zu Beginn des Seminars in Absprache mit den Teilnehmern festgelegt.Literatur
Allgemein
- Bishop/Bridges, Constructive Analysis. Springer 1985.
- A. Bauer, Five stages of accepting constructive mathematics (Bull AMS, 2016)
- Handbook of Constructive Mathematics. Cambridge UP, 2023
Speziell
Minlog
Über Minlog kann man sich in den mitgelieferten Dateien tutor.pdf und ref.pdf informieren. Eine ausführliche Einführung (von Franziskus Wiesnet) ist hier. Sehr hilfreich ist auch eine Serie von Videos, die auch von Franziskus Wiesnet angefertigt wurden.Falls git auf Ihrem Rechner installiert ist, können Sie die jeweils aktuelle Version von Minlog erhalten durch Ausführen von
git clone http://www.math.lmu.de/~minlogit/git/minlog.git.
Bitte arbeiten Sie mit dem dev-Zweig (durch Ausführen von git checkout dev). Eine konkrete Einführung (von Nils Köpp und Valentin Herrmann) ist ueb00.scm.
Minlog ist auf den CIP-Rechnern des Mathematischen Instituts installiert. Wenn man "minlog-dev" in der Konsole eines CIP-Rechners eingibt wird der dev-Zweig aufgerufen. Minlog Web (von Valentin Herrmann) erlaubt das Arbeiten mit Minlog ohne das System zu installieren.
Sprechstunde
- Helmut Schwichtenberg, Mi 13-14, B434.