VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

401-3033-00L 8 Credits BSC , DR , MSC D-MATH

Gödel's Theorems

Die Gödel'schen Sätze

Lecturers & Examiners: Prof. Dr. Lorenz Halbeisen

VVZ CR n/a

Last Updated: 2026-02-05 15:47:36

Abstract

Die Vorlesung besteht aus drei Teilen:Teil I gibt eine Einführung in die Syntax und Semantik der Prädikatenlogik erster Stufe.Teil II behandelt den Gödel'schen VollständigkeitssatzTeil III behandelt die Gödel'schen Unvollständigkeitssätze

Objective

Das Ziel dieser Vorlesung ist ein fundiertes Verständnis der Grundlagen der Mathematik zu vermitteln.

Content

Syntax und Semantik der Prädikatenlogik Gödel'scher Vollständigkeitssatz Gödel'sche Unvollständigkeitssätze

Resources

Literature

L. Halbeisen and R. Krapf: Gödel's Theorems and Zermelo's Axioms: a firm foundation of mathematics, Birkhäuser-Verlag, Basel (2020)

General Information

Language: German
Levels: BSC , DR , MSC

Examination

Type: session examination
Mode: oral 20 minutes

Course Components

Type	Title	Time & Place	Hours
lecture	Die Gödel'schen Sätze	Tue 14:15-16:00 (ML F 39) Wed 12:15-13:00 (HG G 3)	3 h weekly
exercise	Die Gödel'schen Sätze	Wed 13:15-14:00 (HG G 3)	1 h weekly

Offered In

Mathematics Bachelor
- Electives
  - Selection: Algebra, Number Thy, Topology, Discrete Mathematics, Logic
Mathematics Master
- Electives (For the Master's degree in Applied Mathematics the following additional condition (not manifest in myStudies) must be obeyed: At least 15 of the required 28 credits from core courses and electives must be acquired in areas of applied mathematics and further application-oriented fields.)
  - Electives: Pure Mathematics
    - Selection: Algebra, Number Thy, Topology, Discrete Mathematics, Logic
Doctoral Department of Mathematics (More Information at: The list of courses (together with the allocated credit points) eligible for doctoral students is published each semester in the newsletter of the ZGSM. WARNING: Do not mistake ECTS credits for credit points for doctoral studies!)
- Graduate School (Official website of the Zurich Graduate School in Mathematics:)