Diese Veranstaltung findet im Rahmen des Seminars AK Zahlentheorie 501.028 statt, d.h., die Teilnehmer mögen 501.028 inskribieren.
Im Logik-Seminar sollen, zur Ergänzung der Vorlesung Logik und Berechenbarkeit, Themen der Logik, für die in der VO keine Zeit bleibt, erarbeitet werden.
Mögliche Themen wären zum Beispiel der Gödelsche Unvollständigkeitssatz, der ja irgendwie zur Allgemeinbildung gehört, oder auch Ultraprodukte. Das sind Produkte algebraischer Strukturen faktorisiert durch einen Ultrafilter, die sich dazu eignen, Modelle zu gegebenen Aussagen einer Sprache erster Ordnung zu konstruieren.
Das Logik-Seminar beginnt Mitte November mit der Vorbesprechung im Anschluß an die erste Logik-Vorlesung. Die Vorträge finder im Jänner statt.
Sophie Frisch