
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

Eberswalder Studienmodell:Vom Projekt zur Struktur
Die HNEE entwickelt mit dem Eberswalder Studienmodell (EStM) eine zukunftsweisende Lehr-Lernarchitektur mit dem sie ihr Nachhaltigkeitsprofil auch für die Lehre schärft. Im Mittelpunkt steht der integrative Erwerb von Schlüsselkompetenzen für nachhaltige Entwicklung in Verbindung mit Fach- und Methodenkompetenzen sowie intra- und interpersonalen Kompetenzen.Um dieses Modell systematisch in der HNEE zu verankern, werden drei Entwicklungslinien miteinander verwoben: (1) Die Verankerung einer kompetenzorientierten Hochschulbildung für nachhaltige Entwicklung in den Curricula aller Studiengänge, (2) die für deren Umsetzung erforderliche Gestaltung adaptiver physischer, digitaler und hybrider Lernumgebungen und (3) die Entwicklung und Erprobung neuer reflexiver Prozesse der Lernbegleitung. Damit einher geht ein Kulturwandel, der einerseits Lehrende im Sinne einer Scholarship of Teaching zur erfahrungsbasierten und reflektierten Weiterentwicklung von Lehre zu befähigt und andererseits alle Statusgruppen der Hochschule im Sinne eines Whole Institution Approach bei der Entwicklung einer unverzichtbaren Veränderungsaffinität unterstützt. Das EStM bietet anderen Hochschulen eine Blaupause für die Integration von Nachhaltigkeitskompetenzen in die Hochschulbildung. Die bereits erfolgte Erprobung einzelner Elemente und die neue School-Struktur der HNEE bieten ideale Voraussetzungen für eine erfolgreiche Implementierung dieses "großen Wurfs" einer zukunftsorientierten Hochschulbildung.
Projekt anzeigen
Roundtable OER: Barrierefreiheit, Diversity
OER eignet sich zur Dissemination der Teilprojekt-Resultate sehr gut. Für den Fokus auf Chancengerechtigkeit bot sich zum Roll-Out ein Roundtable an. Zentral war dabei die Beteiligung der Teilprojekte, die vorab Fragen einreichen konnten. Zu Veranstaltungsbeginn zeigten wir unsere Präsentation „Chancengerechtigkeit“ mit Ergänzung zu OER. Anschließend wurden die eingereichten Fragen in Gruppen diskutiert und die Ergebnisse im Plenum vorgestellt und kommentiert.
Maßnahme anzeigen
Digitalisierung: Gute Tools allein reichen nicht aus Mit Co3Learn kooperative Lehre neu denken
[Kurzbeschreibung folgt (Anm. StIL)]
Publikation anzeigen