Mathematica - Fachgruppe Computeralgebra

Zur Vorbereitung des Programms fand in der Zeit
vom 25. bis 26. August 2009 an der Universität Mainz
ein Treffen potenzieller Antragstellerinnen und Antragsteller
statt. Die rege Teilnahme an diesem Treffen ist
ein Indikator für das große Interesse an dem Programm.
Im Rahmen des Treffens wurden erste Projektideen vorgestellt
und mögliche Kooperationen besprochen. Weitere
Themen waren die Koordination der Softwareentwicklung
sowie die Konzeption von Schulen und Workshops.
Informationen zum Schwerpunktprogramm erteilt
der Koordinator des Programms: Prof. Dr. Wolfram De-
Preisverleihungen
cker, TU Kaiserslautern, decker@mathematik.uni-kl.de.
Informationen zur Antragstellung bei der DFG erteilt
der verantwortliche Programmdirektor: Dr. Frank Kiefer,
frank.kiefer@dfg.de.
Anträge für zunächst drei Jahre sind in englischer
Sprache einzureichen und müssen bis spätestens 1. November
2009 unter Angabe des Stichworts SPP 1489
bei der Deutschen Forschungsgemeinschaft, Fachreferat
Mathematik, Kennedyallee 40, 53175 Bonn, eingegangen
sein.
Verleihung des F. L.-Bauer-Preises an Stephen Wolfram
Am 15. Juni 2009 fand in der Bayerischen Akademie
der Wissenschaften in München eine Festveranstaltung
zum 85. Geburtstag von Friedrich L. Bauer statt. Nach
gebührender Ehrung von Bauer als ” Vater der deutschen
Informatik“ wurde der seinen Namen tragende Preis an
Stephen Wolfram verliehen.
Der mit 25.000 e dotierte F.L.-Bauer-Preis wird
zweijährig an Personen vergeben, die sich besondere
Verdienste um das wissenschaftliche Rechnen erworben
haben. Bisherige Preisträger waren Z. Manna, R. Milner,
A. Troelstra, G. Stewart, H. Cohen und C.A.R. Hoare.
Die exzellente Laudatio ” A New Kind of Scientist“
wurde von Bruno Buchberger gehalten. Er zeichnete
den Lebensweg des Preisträgers nach und wies auf dessen
Verdienste hin: die Entwicklung von Mathematica,
sein Buch ” A New Kind of Science“ und die dahinterstehenden
wissenschaftlichen Konzepte und schließlich
die neue Suchmaschine Wolfram Alpha. Er hob die wissenschaftliche,
aber auch die unternehmerische Kompetenz
Wolframs hervor. Etwa, dass die Kommerzialisierung
von Mathematica eine brillante Idee war, denn sie
vergrößerte nicht nur den User-Kreis ungemein, sie gab
Usern auch die Möglichkeit, sich bei Problemen zu beschweren
und Wünsche zu äußern. Kurz, die Entwicklung,
die Mathematica letzten Endes genommen hat,
Thomas Hahn
Kurze Mitteilungen
wäre als an einer Uni entwickelte ” Nischensoftware“
kaum denkbar gewesen.
Die übergeordnete Struktur seines Lebenswerks
wurde sodann vom Preisträger in seinem Festvortrag
über ” Computable Knowledge“ weiter erläutert. Nach
einem kurzen Abriss der Geschichte des Rechnens ging
er darauf ein, wie er Mathematica entwarf, zunächst
für sein eigenes Verständnis, als ein System, mit dem
sich (anders als in bis dahin existierenden Hochsprachen)
beliebige Strukturen einfach implementieren ließen.
Aus seiner Arbeit zu zellulären Automaten entstand
dann die Einsicht, dass bereits sehr simple ” Programme“
enorm komplexen Output liefern, was schließlich
im Konzept des ” Computable Universe“ mündete,
das ist das ” Universum“ aller Programme. Das traditionell
induktive Herangehen der Wissenschaft könne
dieses Computable Universe nicht auch nur zu einem
Teil auszuloten. Deshalb, so plädiert er, müsse man über
kurz oder lang vom verständnisgetriebenen Entwickeln
von Algorithmen zu einem ” Absuchen“ des Computable
Universe übergehen. Wolfram Alpha darf als erste Implementierung
dieses ” Absuchens“ verstanden werden,
und Wolfram sagt, er sei selbst überrascht gewesen, wie
viel Computable Knowledge mit derzeitiger Hardware
möglich sei.
Prof. Dr. Wolfram Decker hat zum 1. Oktober 2009 im Rahmen der Mathematikinitiative des Landes Rheinland-
Pfalz, der Technischen Universität Kaiserslautern und des Fraunhofer-Instituts für Techno- und Wirtschaftsmathematik
(ITWM) den Ruf auf eine W3-Professur für Algebraische Geometrie und Computeralgebra angenommen.
Mittelfristig wird er die Leitung der Entwicklergruppe des Computeralgebrasystems SINGULAR übernehmen.
45