Anläßlich eines Forschungsaufenthalts 1988/1989 von Bob Gilbert (University of De- laware, USA) am Fachbereich Mathematik der Freien Universität Berlin wurde ich durch ihn auf die Verwendung symbolischer Mathematikprogramme, und zwar des Computeralgebrasystems MACSYMA, in der mathematischen Forschung aufmerk- sam gemacht. Von diesem Zeitpunkt an kam ich von dem Gedanken der Benutzung solcher Programme in der mathematischen Lehre nicht mehr los. Die Miniaturisierung in der Computertechnologie hatte derartige Programme nun auf kleinsten Rechnern verfügbar gemacht, und ich war sicher, daß dies die Praxis von Mathematikerinnen und Mathematikern sowie Mathematikanwendern in der nahen Zukunft radikal verändern wird. Anstatt schwierige Integrale von Hand aus- zurechnen - mit der Gefahr, sich in langwierigen Teilschritten zu verrechnen -, wird z. B. der zukünftige Bauingenieur versuchen, das betreffende Integral zunächst mit einem Mathematikprogramm zu lösen. Nur, wenn er hiermit scheitert, wird er zur bewährten Handberechnung übergehen. Wir wollen nicht verhehlen, daß auch dies eine nicht zu unterschätzende Gefahr birgt, nämlich die, Ergebnissen von Mathe- matikprogrammen unbegrenzt Vertrauen zu schenken. Genauso, wie man ein von Hand berechnetes Resultat durch Kontrollrechnungen so lange überprüfen muß, bis man sich des Ergebnisses sicher ist, muß man die Ergebnisse, die ein Mathematik- progamm erzeugt, einer sorgfältigen Überprüfung unterziehen. Wenn aber solche Programme sowohl in der Forschung als auch in der Praxis von Bedeutung sind, sollten sie in der mathematischen Lehre ebenfalls eine Rolle spie- len. Weil die Praxis der Arbeit mit einem Mathematikprogramm einer entsprechen- den Schulung bedarf, muß diese in die Mathematikausbildungintegriert werden.

Spécifications