| WWU Münster Mathematik: Logik |
| Veranstalter: | Prof. Dr. J. Diller, Zi. 805,
G. Lee, Zi. 809, Tel. 83-33764 |
| Zeit der Vorlesung: | Mittwoch und Freitag 11-13 Uhr, M5 bzw. M6 |
| Belegnummern: | Vorlesung: 103.370, Übungen: 103.385 |
| Inhalt: | Intuitionistische Logik und Mathematik gehen wesentlich auf den Niederländer L.E.J. Brouwer und seine Nachfolger Heyting und Troelstra zurück. Wir behandeln: Teil I: Intuitionistische Prädikatenlogik mit partieller Existenz: Die Brouwer-Heyting-Kolmogorov-Auffassung der Beweise, natürliches Schließen und Normalisation, Kripke-Semantik und Vollständigkeit, das Konzept "Formeln als Typen". Teil II: Heyting-Arithmetik: ihr Verhältnis zur klassischen Arithmetik, rekursive Realisation und Church'sche These, Friedman-Übersetzung, Metamathematik von HA. In einem Teil III kann nach Interessenlage der Hörer ein weiterführendes Thema wie intuitionistische Analysis, Modelle der Heyting-Arithmetik oder konstruktive Mengenlehre behandelt werden. |
| Literatur: | - Prawitz, Natural Deduction, Almqvist& Wiksell 1968 - Troelstra-van Dalen, Constructism in Mathematics, North Holland 1993 (weitere Angaben zu Vorlesungsbeginn) |
| Übungen: | Mittwoch, 17-19, SR 8 bei Arthur Penkala. |
| Übungsschein: | Einen Übungsschein erhält man durch: - aktive Teilnahme an den Übungen (u.a. mehrfaches Vorrechnen) und - das Erlangen von mindestens 50% der möglichen Punkte aus den Übungsaufgaben. |
| Aufgaben: | Die Aufgaben werden jeweils freitags in der Vorlesung ausgegeben, die Lösungen können dann bis zum folgenden Freitag, 11 Uhr, in den Briefkasten 90 geworfen werden. |
| Bei Problemen: | Sprechen Sie die Veranstalter an oder schicken Sie eine Email an Gyesik Lee. |
 |
Zum Eintrag der Vorlesung bzw. der Übungen im Vorlesungsverzeichnis. | ||||||||||||||||||||||||||||||||||||
|
Die Übungsbögen:
|
