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
CampusConnect - Sharing Innovative Education
In dem Verbundprojekt CampusConnect Sharing Innovative Education wird gezeigt, wie durch strukturierte und strategisch angelegte HochschulkooperationenLehrende und Lernende hochschulübergreifend von- und miteinander lernen, das Lehrportfolio der Einzelhochschulen inhaltlich erweitert und innovativ weiterentwickelt wird, der Verbund durch gemeinsame Veranstaltungen als hochschulübergreifender Campus wahrgenommen wird, die Durchlässigkeit durch hochschulübergreifende Anerkennungspraxis realisiert wird, der Austausch von Inhalten und Zertifikaten durch gemeinsame technisch-didaktische Infrastrukturen gewährleistet wird, innovative technische Lösungen kostengünstig umgesetzt werden, eine gemeinsame Hochschulstrukturentwicklung vorangetrieben werden kann. Von diesen Innovationen profitieren nicht nur die einzelnen Hochschulen, die Lehrenden und Lernenden. Die Ergebnisse des Projekts tragen auch dazu bei, das System der Hochschullehre insgesamt zu verbessern, indem das, was in der Forschung selbstverständlich ist, auch in der Lehre praktiziert wird: strukturierte und strategisch angelegte Kooperationen von Hochschulen!
Projekt anzeigen
Stud.IP Core & Plugins ausbauen für Studium/Lehre
Mit der Weiterentwicklung sollen Studierende in Gruppen (innerhalb einer Lehrveranstaltung) und damit in Kontakt gebracht werden (Herausforderung Isolation während Covid-19 Pandemie), damit unterstützen wir die Kommunikation, Kooperation und Kollaboration untereinander. Neben den Studiengruppen werden entsprechende Tools über Stud.IP angeboten bzw. eingebunden, wofür das System an entsprechenden Stellen modernisiert wurde und Schnittstellen zu externen Tools generiert wurden. Für die wissenschaftliche Evaluation wurde ein entsprechendes Plugin generiert (YourNetwork).
Maßnahme anzeigen
Studentische Partizipation zwischen Wunsch und Wirklichkeit: Ergebnisse einer empirischen Untersuchung
[Kurzbeschreibung folgt (Anm. StIL)]
Publikation anzeigen