Kurt Gödel Research Center

Lehrveranstaltungen im Sommersemester 2000

Siehe auch den Abschnitt Logik im Vorlesungsverzeichnis der Universität Wien.

Ort: Seminarraum 101 oder HS Josephinum (beide Währinger Str. 25)

• Grundbegriffe der Mathematischen Logik (Basic Mathematical Logic), Friedman, lecture 2h in German Mi 13.45–15.15, Seminarraum

In this course we shall explore the basic definitions and properties of axiomatic systems. After considering sentential logic, where one has an algorithm for deciding what is valid, we shall develop the ideas underlying Gödel's Completeness Theorem for first-order logic, which implies that there is an algorithm for enumerating the valid sentences. We shall also explore Gödel's famous Incompleteness Theorem, which excludes the possibility of giving a complete set of axioms for arithmetic, or of providing an algorithm for testing which statements of arithmetic are true. We will then turn to axiomatic set theory, which provides for an excellent foundation for mathematics. If time permits, we shall give some idea of how Gödel demonstrated the consistency of the axiom of choice and the continuum hypothesis with the usual set-theoretical axioms.

• Seminar zu Grundbegriffe der Mathematischen Logik (Seminar for Basic Mathematical Logic), Schindler, lecture 1h in German Mi 15.30–16.15, Seminarraum
• Mathematische Logik II (Mathematical Logic II), Friedman, lecture 4h in English Di Do 13.30–15.00, Seminarraum

In this course we shall begin with the basic concepts of recursion theory, including a discussion of the Turing Degrees of recursively enumerable (RE) sets. We present a solution to Post's Problem, by constructing an RE set whose Turing degree is strictly between the smallest and largest possible Turing degrees of an RE set. We next turn to proof theory, where we consider the provability interpretation of modal logic. We prove a theorem of Solovay which provides a complete set of axioms for the notion of provability. The remainder of the course will be devoted to axiomatic set theory. We shall demonstrate the consistency of the axiom of choice and of the continuum hypothesis. If time permits, we shall also consider some results in combinatorial set theory.

• Seminar zu Mathematische Logik II (Seminar for Mathematical Logic II), Zeman, seminar 2h im German Do 15.15–16.45, Seminarraum
• Axiomatische Mengentheorie II (Axiomatic Set Theory II), Schindler, lecture 3h in German Mo 15.45–16.30, Mi 16.30–18.00, Seminarraum

Die Forcing-Methode wurde von Paul Cohen in den 60er Jahren gefunden, um die Unabhängigkeit der Cantorschen Kontinuumshypothese CH von den Axiomen der Mengenlehre zu zeigen. Seitdem hat sich das Forcing zu einem der zentralen Instrumente der modernen Mengenlehre entwickelt und ist daraus nicht mehr wegzudenken.

Wir werden die Forcing-Methode systematisch und anhand von Beispielen kennenlernen. Wir wollen Cohens Beweis sehen, wonach CH unabhängig ist. Wir wollen auch zeigen, dass das Auswahlaxiom von den übrigen Axiomen unabhängig ist. Schließ;lich wollen wir sogennante "Forcing-Axiome" kennenlernen, die interessante Konsequenzen besitzen.

• Übungen zur Axiomatische Mengentheorie II (Exercises for Axiomatic Set Theory II), Piwinger, exercise 2h in German Mo 14.00–15.30, Seminarraum
• Beweistheorie (Proof Theory), Zeman, lecture 2h in German Do 11.00–12.30, Seminarraum

Wir bieten einen Grundkurs aus Beweistheorie, der als Ausgangspunkt für ein weiteres Studium sowohl theoretischen (Anwendungen in Zahlentheorie, Algebraischen Geometrie und Kombinatorik) als auch praktischen (logische Programmierung) Aspekten dienen kann. Es werden Grundkenntnisse der Mathematischen Logik vorausgesetzt. Der Höhepunkt wären der Schnitteliminationssatz von Getzen, Satz von Herbrandt und deren Anwendungen. Nach Wunsch können weitere Themen behandelt werden, z.B. Gentzens Konsistenzbeweis der Peano-Arithmetik. Das Tempo und Themenauswahl werden dem Kreis der Interessierten angepasst.

• Nichtklassische Logiken (Non-classical Logics), Telec, lecture 2h in German Mi 13.15–14.45, HS

Überblicksvorlesung über die wichtigsten nichtklassischen Logiken: Mehrwertige, intuitionistische, minimale, intermediäre (superintuitionistische), substrukturale (relevante, BCK, BCI, Lambek-Kalkül, lineare), Quanten-, parakonsistente, Fuzzy-, nonmonotone Logiken. Umfangreiche Literaturangaben sollen zu weiterem Studium anregen.

• Privatissimum: Axiomatische Mengentheorie (Advanced Seminar: Axiomatic Set Theory), Friedman, seminar 2h in English Di 15.30–17.00, Seminarraum
• Seminar für Neuroinformatik (Seminar for Computational Neuroscience), Christian, seminar 2h in German Fr 10.30–12.00, HS