250435 VO Applications of Mathematical Logic (2008S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Details

Language: German

Lecturers

Martin Goldstern

Classes (iCal) - next class is marked with N

Tuesday 04.03. 17:30 - 19:00 Seminarraum
Tuesday 11.03. 17:30 - 19:00 Seminarraum
Tuesday 01.04. 17:30 - 19:00 Seminarraum
Tuesday 08.04. 17:30 - 19:00 Seminarraum
Tuesday 15.04. 17:30 - 19:00 Seminarraum
Tuesday 22.04. 17:30 - 19:00 Seminarraum
Tuesday 29.04. 17:30 - 19:00 Seminarraum
Tuesday 06.05. 17:30 - 19:00 Seminarraum
Tuesday 20.05. 17:30 - 19:00 Seminarraum
Tuesday 27.05. 17:30 - 19:00 Seminarraum
Tuesday 03.06. 17:30 - 19:00 Seminarraum
Tuesday 10.06. 17:30 - 19:00 Seminarraum
Tuesday 17.06. 17:30 - 19:00 Seminarraum
Tuesday 24.06. 17:30 - 19:00 Seminarraum

Information

Aims, contents and method of the course

Es werden einige Anwendungen der mathematischen Logik dargestellt -- in der Algebra, Topologie, Maßtheorie, etc. Abhängig von der Vorbildung der Teilnehmer werden einige der folgenden Themen behandelt werden:
* Cantors Diagonalbeweis und andere Diagonalisierungen
* Basissatz in der linearen Algebra, Cauchysche Funktionalgleichung
* Beziehung zum Auswahlaxiom
* Paradoxon von Banach-Tarski
* Transfinite Induktion in Algebra und Analysis
* Folgerungen aus der Kontinuumshypothese (oder dem Martinschen * Axiom)
* Lösbarkeit von Diophantischen Gleichungen (Hilberts 10. Problem, Matijasevich)
* Presburger Arithmetik
* Wortproblem in Halbgruppen und anderen Algebren * Hilberts Nullstellensatz aus modelltheoretischer Sicht
* Nonstandard Analysis

Auf der Homepage der Vorlesung werden im Laufe des Semesters aktualisierte Informationen zur Verfügung gestellt werden:
http://dmg.tuwien.ac.at/goldstern/anw08/

Assessment and permitted materials

Minimum requirements and assessment criteria

Verbinden der theoretischen Kenntnisse aus der Logik mit Anwendungen in anderen mathematischen Gebieten.

Examination topics

Reading list

Association in the course directory

MLOV

Last modified: Mo 07.09.2020 15:40