ADAM

  • Home / PROJEKTE/ADAM
  • Anticipating the Digital Age of Mathematics

    Heinrich-Heine-Universität Düsseldorf

    Nordrhein-Westfalen

    Einzelprojekt

    Freiraum 2022

    Projektverantwortung

    Prof. Dr.

    Marcus

    Zibrowius

    Kontaktperson

    Prof. Dr.

    Marcus

    Zibrowius

    Website

    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.