Anticipating the Digital Age of Mathematics
Computergestützte Beweisassistenten haben heute ein Niveau erreicht, das die Formalisierung, Verifizierung und digitale Weiterverarbeitung weiter Teile unseres mathematischen Kenntnisstandes in greifbare Nähe rücken lässt. Das Ende 2020 vom Fields-Medallisten Peter Scholze initiierte Liquid Tensor Experiment hat gezeigt, dass es inzwischen möglich ist, selbst neueste Forschungsergebnisse mit vertretbarem Aufwand digital abzubilden und zu verifizieren. Wir müssen davon ausgehen, dass für die nächste Generation Mathematikerinnen Beweisassistenten zu einem zentralen Werkzeug avancieren werden. Das Projekt ADAM möchte einen Beitrag leisten, sie für diesen Wandel zu wappnen.
Auf Einen Blick
Kontakt
Das könnte Sie auch interessieren
Qualität digital gestützter Lehre an bayerischen Hochschulen steigern
Für das Projekt QUADIS haben sich alle bayerischen Universitäten, das DiZ-Zentrum für Hochschuldidaktik der bayerischen HAWs und die Virtuelle Hochschule Bayern zusammengeschlossen, um in drei Projektsäulen die Qualität digital gestützter Lehre an bayerischen Hochschulen zu steigern. In der ersten Säule soll die hochschuldidaktische Weiterbildung um Blended Learning Seminare ergänzt werden. So soll Lehrenden ein Lernen am Modell ermöglicht und die Kapazität der Weiterbildung erhöht werden. Die Materialien sollen arbeitsteilig zweisprachig erstellt, als OER veröffentlicht und so über den Verbund hinaus nutzbar werden. In der zweiten Säule sollen bereits etablierte Formate zur Förderung des Diskurses zu digital gestützter Lehre intensiviert und auf alle Verbundpartner skaliert werden, um Lehrende zu inspirieren und Lehrinnovationen zu generieren. Dazu sollen Themenwochen durchgeführt und Fach-und Arbeitsgruppen Lehrender initiiert und begleitet werden. In der dritten Säule soll der Transfer von Lehrinnovationen in die Lehre durch Lehrwerkstätten unterstützt werden. Deren methodische Ausgestaltungen sollen miteinander verglichen und evaluiert werden, um nach Projektende eine Auswahl für zukünftige Transfermaßnahmen treffen zu können.
Projekt anzeigen
