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
Digitale Kompetenzen aller sichtbar machen und steigern (DigiKompASS)
DigiKompASS zielt darauf ab, die Digitalen Kompetenzen aller sichtbar zu machen und nachhaltig zu steigern. Nach einem flächendeckenden Self-Assessment entlang des DigCompEdu adressieren auf der Basis eines Kompetenznetzwerkes für Digitale Lehre ausgewählte Querschnitts- und Teilprojekte alle drei Schwerpunkte: (1) Bestehendes wird evaluiert und als Best Practice in seiner Übertragbarkeit auf andere Formate, Disziplinen und Prozesse geprüft (Bestandsaufnahme); (2) Neues wird konzipiert, so dass identifizierte Lücken geschlossen werden können (Werkstätten & innovative Prototypen); (3) Transfer in und außerhalb der Universität ist von Anfang an strukturell mit angelegt. DigiKompASS inkludiert so die systematische Verankerung von Lerngelegenheiten in der Breite des universitären Lehr- und Prüfungsangebots sowie ein Austausch- und Weiterbildungskonzept für alle an Lehre Beteiligten. In zwei Innovationsclustern stehen zum einen kontinuierliches Peer-Learning innerhalb und zwischen unterschiedlichen Statusgruppen und Werkstätten zur Entwicklung u.a. von OER, aber auch als innovation spaces für gemeinsames Erfahrungslernen im Vordergrund und werden zum anderen innovative Prototypen (weiter-)entwickelt. DigiKompASS wurde 2021 von der Universität Koblenz-Landau als Einzelprojekt eingeworben und wird seit der Trennung der Standorte zum 01. Januar 2023 als Verbundprojekt der Universität Koblenz und der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau weitergeführt.
Projekt anzeigen
