Lehrende: Dr. Andrea Reichenberger
Veranstaltungsart: Seminar
Orga-Einheit: Philosophie
Anzeige im Stundenplan:
Unterrichtssprache: Deutsch
Min. | Max. Teilnehmerzahl: - | -
Literatur: Ein Reader, einschließlich Sekundärliteratur, wird im Seminar bereitgestellt.
Kommentar: Im Jahre 2015 wurde Ada Lovelace anlässlich ihres 200. Geburtstages als Pionierin der Computerwissenschaften gefeiert. Ada Lovelace war nicht die einzige, die grundlegende Beiträge zur Entwicklung der mathematischen und formalen Logik geliefert hat. Thema des Seminars ist es, ausgewählte Arbeiten von Logikerinnen des 19. und frühen 20. Jahrhunderts in ihrem systematischen und historischen Kontext zu analysieren und zu diskutieren. Neben Ada Lovelace's "Sketch of the Analytical Engine" zählen Christine Ladd Franklins "On the Algebra of Logic", Rósa Péters "Rekursive Funktionen" und Olga Taussky-Todds Arbeit "Some computational problems in algebraic number theory" zu diesen Meilensteinen. Voraussetzung für die Teilnahme am Seminar sind keine Grundkenntnisse der formalen Logik, aber von Vorteil.