| Lerninhalte |
Beschreibung
In diesem Pro-/Seminar sollen Themen der Logik und der Grundlagen der Mathematik anhand der Graphic Novel "Logicomix" studiert werden. Logicomix erzählt von der Odyssee von Bertrand Russell und seinem Ziel der Schaffung unerschütterlicher logischer Grundlagen für die Mathematik. Auf seiner Suche nach der "absoluten Wahrheit" kreuzt er den Weg von Gottlob Frege, David Hilbert, Kurt Gödel und Ludwig Wittgenstein. Im Pro-/Seminar wollen wir diese Graphic Novel gemeinsam lesen und in Studierendenvorträgen im Comic angeschnittene Themen tiefer beleuchten. Der Erwerb des Comics ist nicht erforderlich (eine gedruckte Version wird gestellt).
Qualifikationsziele
Nach erfolgreichem Abschluss der Veranstaltung sind die Studierenden in der Lage ...
- wissenschaftliche Vorträge größtenteils eigenständig vorzubereiten und selbstständig durchzuführen,
- eigenverantwortlich Literaturrecherche zu betreiben und für die Vorbereitungen zu nutzen,
- die Regeln guter wissenschaftlicher Praxis zu kennen und anzuwenden, insbesondere Aspekte zur korrekten Angabe von Quellen und Fremdinhalten,
- grundlegende Begriffe und Konzepte der formalen Logik zu beschreiben und in einen Zusammenhang zu setzen, und
- den Zusammenhang von mathematischen Erkenntnissen und ihren zugrundeliegenden Grundlagen zu bewerten.
Themen (Auswahl)
- Aussagen- und Prädikatenlogik
- Beweiskalküle
- (Un-)Vollständigkeit
- Entscheidbarkeit
- Paradoxien, Mengenlehre
- Grundlagen der Mathematik
|
