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
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

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-01 11:31:23

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
06.09.2025
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
  • Mon 16:15-18:00 (HG D 5.2)
2 h weekly

Offered In

    • Seminare (ZUR BEACHTUNG: Damit die Zuteilung der verfügbaren Seminarplätze sich nicht primär auf den Zeitpunkt des Einschreibens in die Warteliste stützen muss, haben fast alle Mathematik-Seminare ein spezielles Auswahlverfahren. Eine direkte Belegung in myStudies ist nicht möglich, alle kommen zuerst auf die Warteliste. Ausserdem gilt: Die Auswahl an Mathematik-Seminaren wird auf 1 Seminar pro Semester beschränkt. Beachten Sie auch die Lerneinheit 401-0002-99L Generic Seminar - Second Priority / Third Priority.)
      • Seminare (ZUR BEACHTUNG: Damit die Zuteilung der verfügbaren Seminarplätze sich nicht primär auf den Zeitpunkt des Einschreibens in die Warteliste stützen muss, haben fast alle Mathematik-Seminare ein spezielles Auswahlverfahren. Eine direkte Belegung in myStudies ist dann nicht möglich, alle kommen zuerst auf die Warteliste. Ausserdem gilt: Die Auswahl an Mathematik-Seminaren wird auf 1 Seminar pro Semester beschränkt. Beachten Sie auch die Lerneinheit 401-0002-99L Generic Seminar - Second Priority / Third Priority.)