Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

250074 VO Introduction to mathematical logic (2017W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

The lecture takes place in the lecture room of the Kurt Gödel Research Center (Währinger Straße 25, 2nd floor, 02.101). There will be a preparatory meeting on October 2nd, 2017 at 12:00 in the KGRC lecture room in which we will decide the day and time of the lecture and exercise session. In case you are interested in this lecture and do not have time to come to the preparatory meeting, please send me an e-mail.

  • Wednesday 04.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 06.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 11.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 13.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 18.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 20.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 25.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 27.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 03.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 08.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 10.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 15.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 17.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 22.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 24.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 29.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 01.12. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 06.12. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 13.12. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 15.12. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 10.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 12.01. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 17.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 19.01. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 24.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 26.01. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 31.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Aims, contents and method of the course

This lecture will be an introduction to different areas of
mathematical logic and their connections. We start with a review of
formulas and structures and introduce the method of ultrapower
construction. This will lead us to a closer look into the area of
model theory which we will augment with the study of types and the
structure of countable models. Moreover we will study classical games
which are used in model theory and are related to set
theory. Afterwards we will introduce some basic concepts from the area
of computability theory which will enable us to prove Gödel's first
incompleteness theorem in full generality. Finally this lecture will
be completed with a discussion of Gödel's second incompleteness theorem.

This lecture will be self-contained. Nevertheless some familiarity
with the contents of the lecture "Grundzüge der mathematischen
Logik" (e.g. see http://boolesrings.org/sandrauhlenbrock/teaching/grundzuege-2017/ or http://www.logic.univie.ac.at/~muellem3/teaching.html for the previous
semesters) might be helpful.

More information: http://boolesrings.org/sandrauhlenbrock/teaching/introduction-to-mathematical-logic-wise-2017/

Assessment and permitted materials

Oral exam by appointment.

Minimum requirements and assessment criteria

See above. To take the oral exam it is necessary to enroll in the class by filling your name in the "Teilnehmerliste" within the first two weeks of the semester.

Examination topics

Contents of the lectures

Reading list

see website

Association in the course directory

MLOL

Last modified: Fr 18.11.2022 00:23