Seminar Beweistheorie
Veranstalter:
Josef Berger, Helmut Schwichtenberg
Zeit und Ort: Mi 14-16, Seminarraum B251
Beginn: 21. Oktober 2009
Sprechstunde Berger: Do 13-14, Zimmer B422
Sprechstunde Schwichtenberg: Mi 13-14, Zimmer B415
Skript
Als Grundlage des Seminars dient ein
Buchmanuskript
(bitte nicht weitergeben; es gibt
Korrekturen,
um deren Ergänzung gebeten wird). Es sollen Kapitel 6
(Computability in Higher Types) und der Anfang von Kapitel 7 (Extracting
Computational Content from Proofs) durchgesprochen werden. Das
Seminar wird voraussichtlich im SS 2010 fortgesetzt.
Vorträge
- Informationssysteme, Josef Berger, 28.10.
- Algebren und Typen, Helmut Schwichtenberg, 4.11.
- Strukturelle Rekursion und Gödels T, Kilian Klebes, 11. und 18.11.
-
Eine gemeinsame Erweiterung von Gödels T und Plotkins PCF,
Vesela Yotova, 18. und 25.11.
- Ideale als Bedeutung von Termen, Pascal Ströing, 2. und 9.12.
- Werterhaltung, Helmut Schwichtenberg, 9.12.
- Normalisierung, Florian Malina, Termin offen.
-
Berechenbare Funktionale und Definierbarkeit, Vesela Yotova, 13.1.
- Totale Funktionale; Dichtheitssatz, Christian Sattler, 20.1.
Ergänzung: An application of information systems: completeness of
beta eta -equality for the lambda-calculus with strong sums.
- Theorie berechenbarer Funktionale, Michael Fuchs, 3.2.
- Induktiv definierte Prädikate,
Christoph Senjak, 27.1.
- Koinduktive Definitionen, Kenji Miyamoto, 10.2.
Helmut Schwichtenberg
[Stand 13. Februar 2010]
