Logik und Grundlagen der Mathematik, WS 2023, TU Wien

Die Vorlesung+Übung "Logik und Grundlagen der Mathematik" findet im Wintersemester 2023/24 voraussichtlich zu diesen Terminen statt:

Dienstag: VO ab 3.10.2022: 11:15-12:45 im FH HS 2
Donnerstag: VO ab 5.10.2020: 11:00-12:00 im FH HS 2.
UE ab 12.10.2020: 10:05-10:55 im Sem DB gelb 10, möglicherweise auch 9-10.

Abhängig von der Corona-Ampel und von TU-Vorschriften kann es auch sein, dass VO und/oder UE nur via zoom stattfinden. Dies wird über tuwel mitgeteilt.

Inhalt

Skriptum: PDF (Version März 2018)
Stichworte: Tagebuch

Ergänzende Unterlagen

Literaturhinweise
Der Gödelsche Vollständigkeitssatz (13 Seiten)
Peano-Axiome
ZFC-Axiome
Mengenlehre
Wohlordnungen, Ordinal- und Kardinalzahlen (Version 13.1.2024, jetzt mit Ordinalzahlarithmetik)

Prüfung

Informationen zur Prüfung

UE-Angaben: werden noch zur Verfügung gestellt.

Welche Aufgaben sind zu lösen?

UE1 12.10.2023:

Anmerkungen

x/y bedeutet: Lösen Sie eine der beiden Aufgaben x, y.
x//y//z bedeutet: Lösen Sie zwei der drei Aufgaben x,y,z.
x+y bedeutet: Lösen Sie x und y. (23+48 ist also nicht das Gleiche wie 71)
x|y bedeutet: Lösen Sie eine der beiden Aufgaben x, y. Wenn aber eine der beiden Aufgaben unlösbar ist, lösen Sie die andere.
"Außer Konkurrenz: x,...,z" bedeutet: Die Aufgaben x,..,z können Sie nicht ankreuzen, sie werden nicht gewertet und bei Zeitmangel auch nicht besprochen. Sie dienen nur Ihrem Vergnügen. (Oder meinem.)