Wann sind mathematische Objekte (z. B. Zahlen, Funktionen, geometrische Gebilde) „gleich“? Diese harmlos erscheinende Frage stellt sich als erstaunlich tückisch heraus. Insbesondere ist es nötig, viele verschiedene „Gleichheiten“ zu betrachten und zu vergleichen. In diesem Vortrag werden wir sehen, wie man über „Gleichheiten“ in einer geometrischen Sprache sprechen kann und welche Rolle dies in der Programmierung bzw. Computerverifikation spielt.
Clara Löh ist Professorin für Mathematik an der Universität Regensburg. Ihre Forschungsschwerpunkte liegen an der Schnittstelle zwischen geometrischer Topologie, Gruppentheorie und dynamischen Systemen. Dabei verbindet sie unter anderem auch klassische Methoden mit Fragen zur algorithmischen Berechenbarkeit und zur Formalisierung in Beweisassistenten.
Moderation: Professor Dr. Konrad Waldorf
-------
Zugang zum virtuellen Hörsaal des Kollegs
Organisatorische Hinweise
Das Alfried Krupp Wissenschaftskolleg versucht, diese Veranstaltung auch live als Zoom-Meeting bereitzustellen, in dem sich Zuschauende über den Chat schriftlich beteiligen können.
- Wir freuen uns, wenn Sie bei der Einwahl in Zoom Ihren Klarnamen angeben. Selbstverständlich können Sie an der Veranstaltung auch unter einem Pseudonym teilnehmen.
- Eine Liste aller Teilnehmenden ist für alle Beteiligten während der gesamten Veranstaltung einsehbar.
- Während des Vortrages sind die Mikrofone der Zuschauenden alle automatisch stumm geschaltet, um keine störenden Hintergrundgeräusche zu erzeugen. Die Kamera der Zuschauenden kann gern von Ihnen während des Vortrages angeschaltet werden.
- Während der gesamten Veranstaltung können Wortmeldungen bzw. Fragen schriftlich im Chat gestellt werden.
Aufzeichnung
Die Veranstaltung wird aufgezeichnet, um sie für die Mediathek des Kollegs zu nutzen. In der Aufzeichnung wird nur der/die Vortragende, dessen/deren Präsentation sowie der Moderator/die Moderatorin zu hören bzw. zu sehen sein. Chatbeiträge werden nicht aufgezeichnet. Ein „REC“-Zeichen am Bildrand informiert die Teilnehmenden. Sobald alle Beteiligten an der Aufzeichnung der Nutzung zugestimmt haben und alle Nutzungsrechte vorliegen, wird die Aufzeichnung auch in der Mediathek zu finden sein.