Anwendungen der mathematischen Logik
Die Vorlesung "Anwendungen der mathematischen Logik" wird im Wintersemester
2009 jeden Donnerstag 9:30-11:00
im UZA4 (Nordbergstr. 15, also am
Mathematikinstitut der Uni Wien) im
Raum C207 stattfinden.
(Wo ist das?)
Beginn: Donnerstag, 8.10.2009, 9:15-10:45. Ab 15.10.: 9:30-11:00
allgemeine Informationen zur Vorlesung im Vorlesunsverzeichnis der TU Wien
Geplanter Inhalt
Eine Auswahl aus den folgenden Themen:
- Cantors Diagonalbeweis (Zahlentheorie)
- Basissatz in der linearen Algebra, Cauchysche Funktionalgleichung, Beziehung zum Auswahlaxiom
- Paradoxon von Banach-Tarski (Maßtheorie)
- Transfinite Induktion in Algebra und Analysis. Z.B. Bernsteinmengen
- Folgerungen aus der Kontinuumshypothese (oder dem Martinschen Axiom) (in verschiedenen Gebieten, z.B. Topologie)
- Lösbarkeit von Diophantischen Gleichungen (Hilberts 10.Problem, Matijasevich -- Zahlentheorie)
- Wortproblem in Halbgruppen und anderen Algebren (Algebra)
- Hilberts Nullstellensatz aus modelltheoretischer Sicht (Algebra/algebraische Geometrie)
- Nonstandard Analysis
- Anwendungen in der Verbandstheorie
Tatsächlicher Inhalt
Inhalt
Ergänzende Unterlagen