401-3033-00L  Die Gödel'schen Sätze

SemesterHerbstsemester 2021
DozierendeL. Halbeisen
Periodizitäteinmalige Veranstaltung
LehrspracheDeutsch



Lehrveranstaltungen

NummerTitelUmfangDozierende
401-3033-00 VDie Gödel'schen Sätze3 Std.
Di14:15-16:00ML F 39 »
Mi12:15-13:00HG G 3 »
L. Halbeisen
401-3033-00 UDie Gödel'schen Sätze1 Std.
Mi13:15-14:00HG G 3 »
L. Halbeisen

Katalogdaten

KurzbeschreibungDie 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ändigkeitssatz
Teil III behandelt die Gödel'schen Unvollständigkeitssätze
LernzielDas Ziel dieser Vorlesung ist ein fundiertes Verständnis der Grundlagen der Mathematik zu vermitteln.
InhaltSyntax und Semantik der Prädikatenlogik
Gödel'scher Vollständigkeitssatz
Gödel'sche Unvollständigkeitssätze
LiteraturL. Halbeisen und R. Krapf: Gödel's Theorems and Zermelo's Axioms: a firm foundation of mathematics, Birkhäuser-Verlag, Basel (2020)

Leistungskontrolle

Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte8 KP
PrüfendeL. Halbeisen
FormSessionsprüfung
PrüfungsspracheDeutsch
RepetitionDie Leistungskontrolle wird in jeder Session angeboten. Die Repetition ist ohne erneute Belegung der Lerneinheit möglich.
Prüfungsmodusmündlich 20 Minuten
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan.

Lernmaterialien

Keine öffentlichen Lernmaterialien verfügbar.
Es werden nur die öffentlichen Lernmaterialien aufgeführt.

Gruppen

Keine Informationen zu Gruppen vorhanden.

Einschränkungen

Keine zusätzlichen Belegungseinschränkungen vorhanden.

Angeboten in

StudiengangBereichTyp
Doktorat Departement MathematikGraduate School / GraduiertenkollegWInformation
Mathematik BachelorAuswahl: Algebra, Zahlentheorie, Topologie, diskrete Mathematik, LogikWInformation
Mathematik MasterAuswahl: Algebra, Zahlentheorie, Topologie, diskrete Mathematik, LogikWInformation