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
Wissenschaftliches Schreiben für Germanistikstudierende: Schreiben lehren und lernen mit Schreibtrainings im digitalen Raum
Das Projekt WisGe verfolgt das Ziel, einen Grundlagenkurs zum wissenschaftlichen Schreiben für Germanistik-Studierende der Universität Freiburg als hybride Veranstaltung mit einer wöchentlichen, einstündigen Präsenzveranstaltung und digitalen Anteilen zu konzipieren und ein nachhaltiges, modernes und didaktisch ausgereiftes Unterrichtskonzept inkl. passender Materialien zu entwickeln. Den Studierenden soll nicht nur die Möglichkeit geboten werden, Grundlagenwissen zum wissenschaftlichen Arbeitsprozess und Schreiben zu erlangen, sondern ihre Schreibkompetenz durch eigene, angeleitete Textproduktion nachhaltig zu verbessern, um davon für ihre gesamte universitäre Ausbildung und darüber hinaus zu profitieren. Hier bedarf es digitaler Anwendungen, deren Entwicklung und Nutzbarmachung in diesem Projekt eine zentrale Rolle spielen. Dazu gehören Selbstlern- und Vertiefungsangebote ebenso wie eine interaktive Schreibplattform.
Projekt anzeigen
Test Änderungshistorie
Zusammenfassung für Test Änderungshistorie adofihaerothakdfhgpiuadutr kjpiugfzsa dfndfg
Maßnahme anzeigen