Ein Programm findet durch gezieltes Probieren heraus, was eine numerisch berechnete Zahl »eigentlich«
ist. Aber davon werden die Mathematiker nicht arbeitslos, im Gegenteil: Sie finden mit Hilfe des Programms
eine Fülle von Zusammenhängen, die es zu beweisen gilt.
Während ich versuche, die Flächenformen
eines interessanten geometrischen
Körpers zu bestimmen, wende
ich den Strahlensatz in dieser Ebene
und den Pythagoras in einer anderen
Ebene an, löse diese oder jene Gleichung,
setze Ergebnisse in andere Gleichungen
ein … Nach einigem Herumrechnen und
Korrektur der offensichtlichsten Fehler
habe ich für die Größe, die mich interessiert,
einen höchst unansehnlichen Ausdruck
gefunden, mit Wurzeln unter Wurzeln
oder Schlimmerem. Was kann ich
damit tun?
Spektrum der Wissenschaft
Sie können den Artikel als
PDF-Datei abrufen (aus lizenzrechtlichen Gründen fehlen evtl. Abbildungen):
Spektrum der Wissenschaft 
