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

401-3030-75L 4 Credits BSC , MSC D-MATH

Student Seminar: Gödel's Theorems

Studierendenseminar: Die Gödel'schen Sätze

Lecturers & Examiners: Prof. Dr. Lorenz Halbeisen
Number of participants limited to 26. Fully booked.
VVZ CR n/a

Last Updated: 2026-06-03 00:14:38

Abstract

In diesem Seminar wird, nach einer Einführung in die Prädikatenlogik erster Stufe, der Gödel'sche Vollständigkeitssatz und der Erste Gödel'sche Unollständigkeitssatz behandelt.

Objective

Ziel ist es, den Gödel'sche Vollständigkeitssatz und den Ersten Gödel'schen Unollständigkeitssatz zu verstehen.

General Information

Language
German
Levels
BSC , MSC

Examination

Type
ungraded semester performance
Seminarvorträge können auf Deutsch oder auf Englisch gehalten werden / seminar talks in English or in German

Registration & Places

Limited places (Special selection)
Signup End
07.02.2026
Priority: Registration for the course unit is only possible for the primary target group

Course Components

Type Title Time & Place Hours
seminar Studierendenseminar: Die Gödel'schen Sätze
  • Tue 16:15-18:00 (LFW C 5)
2 h weekly

Offered In

  • Mathematics Bachelor
    • Seminars (The number of seminar places is limited, and the special selection procedure should help to allocate the places not primarily according to the registration time. Everybody is waitlisted first when he/she tries to register for a seminar in myStudies. Moreover: Only one mathematics seminar can be chosen per semester. Notice also the course unit 401-0002-99L Generic Seminar - Second Priority / Third Priority.)
  • Mathematics Master
    • Seminars and Semester Papers
      • Seminars (The number of seminar places is limited, and the special selection procedure should help to allocate the places not primarily according to the registration time. Everybody is waitlisted first when he/she tries to register for a seminar in myStudies. Moreover: Only one mathematics seminar can be chosen per semester. In case you need to attend 2 seminars in this semester, please take contact with the Study Administration (email: ). Notice also the course unit 401-0002-99L Generic Seminar - Second Priority / Third Priority.)