MAWEN-Projekt-RU

Denkkulturen über Mathematik verbinden ... Mathematik ist nicht nur ein bewährtes Hilfsmittel aller Ingenieurs-Wissenschaften zum Lösen technischer Probleme. Mathematik ist, spätestens seit den alten Griechen, auch zur zentralen Denkdisziplin unserer wissenschaftlichen Denkkultur geworden. „Unwissenschaftlich“ ist heute ein Schimpfwort. Die Mathematik als Denkdisziplin hat in den letzten Jahren selbst den Endpunkt technische Entwicklung erreicht: Mathematik ist auf Computern vollständig mechanisiert worden, samt all ihrer logischen Begründungen1. Dies führt zu zwei konträren Schlussfolgerungen: Diese zwei extremen Schlussfolgerungen polarisieren unsere Gesellschaften zunehmend. Wir wollen sie über gemeinsames Verständnis von Mathematik verbinden. Und verschiedene Länder können, mit ihren je unterschiedlichen Kulturen, einander ergänzende Beträge dazu leisten.
 * zu hundert-prozentigem Vertrauen in die Mathematik und folglich in rationales Durchplanen aller Lebensvorgänge
 * zur Einsicht in die beschränkte Rolle der Mathematik innerhalb menschlichen Weltverständnisses.

... und auch blinde Menschen einschließen Allen Menschen sollen die Denkdisziplinen zugänglich sein, die unserer Kultur zugrunde liegen. Und Interessierte sollen die Mathematik in ihrer mechanistischen Natur erfahren können – auch blinde Menschen. Blinde Studierende in formalen Wissenschaften hatten vor dreißig Jahren bessere technische Hilfsmittel als heute, trotz „Accessibility“ im Internet und trotz gegenteiliger Beteuerung vieler Verantwortlicher.

Das MAWEN Projekt vereint drei langjährige Forschungsbereiche: Entwicklung von „proof assistants“, Forschung zu „Accessibility“ (Zugänglichkeit von Software für Menschen mit Behinderung) und Entwicklung von Mathematik Lernsoftware. Das Zusammenführen der drei Bereiche schafft Möglichkeiten, die mehrjähriger Entwicklungsarbeit bedürfen. Solche Entwicklungsarbeiten sind in unserem Wirtschaftssystem schwierig zu finanzieren: offene Lernangebote bringen kaum finanziellen Gewinn und blinde Menschen sind eine finanzschwache Konsumenten-Gruppe.