Wie versteht ein Mathematiker?
- Versuch einer Metapher -
Axel Müller
7. Mai 2000
Der Auslöser für diesen Text, der in sehr subjektiver Weise erläutern soll, wie ich das Verstehen einer mathematischen Theorie sehe, war ein Gespräch mit meinem Nachbarn Udo Först, der sich aus erziehungswissenschaftlicher Sicht mit dem Begriff des Verstehens beschäftigt.
Im Laufe des Gesprächs gebrauchte ich eine Metapher, die ich einige Jahre zuvor mit meinem Freund Lars Kauffmann entwickelt hatte, die das Betreiben von Ma- thematik beschreibt. Unter Verwendung dieser Umschreibung erzählte ich ein wenig über meine Erfahrungen im Umgang mit mathematischen Theorien. Da ich meinen Gesprächspartner nicht mit ungefilterten und unverständlichen Eindrücken aus mei- nem Mathematikstudium versehen wollte, habe ich meine Gedanken etwas geordnet und hier niedergeschrieben.
Die Objekte der Mathematik lassen sich nur selten im wörtlichen Sinne begreifen. Ein grundsätzlicher Wesenszug der Mathematik besteht in der Abstraktion. Als Geburtsstunde der Mathematik wird meist der Punkt genannt, an dem im antiken Griechenland Geometrie betrieben wurde, indem man sich nicht mehr mit einem konkreten Dreieck befasste, sondern Aussagen über alle Dreiecke, oder zumindest eine gewisse Klasse an Dreiecken, traf. Dazu war es zwingend notwendig, eine abstrakte Idee von einem Dreieck zu entwickeln.
Auch wenn ein Mathematiker ein konkretes Problem, das außerhalb der Mathema- tik auftritt, bearbeitet, enwickelt er in einem frühen, wesentlichen Schritt seines Lösungsverfahrens ein mathematisches Modell. Er reduziert den zu untersuchenden Zusammenhang auf die Komponenten, die wesentlich zu sein scheinen und bildet diese durch einen mathematischen Formalismus ab. Fortan betreibt er dann Ma- thematik innerhalb dieses abstrakten Modells. Das mathematische Verstehen kann also meist kein sinnliches Erfahren sein, wenngleich Bilder und Simulationen ein willkommenes Werkzeug sind, um die Gedanken bildlich zu gestalten.
Mathematik spielt sich also nur in den Köpfen derer ab, die Mathematik betreiben. Außerdem steht ihr, anders als den Naturwissenschaften, nicht das Experiment als letzte Entscheidungsinstanz zur Verfügung. Sie kann und muss sich nicht direkt an der erfahrbaren Realität messen, sondern nur an der Denkbarkeit ihrer Aussagen innerhalb der Spielregeln der Mathematik. Daß sie dabei nicht in eine subjektive Beliebigkeit verfällt, sondern sehr strenge Aussagen macht, die über individuelle und kulturelle Schranken hinweg diskutiert und aktzeptiert werden können, liegt an ebendiesen Spielregeln.
Die Spielregeln der Mathematik legen einen strengen Formalismus fest, der es erlaubt eine Aussage eindeutig als “wahr” oder “falsch” einstufen zu können. Diese Möglich- keit gibt es in den Naturwissenschaften prinzipiell nicht, denn dort werden Modelle aufgestellt, die nicht beweisbar sind, sondern nur durch experimentelle Ergebnis- se gestützt oder gestürzt werden können. Aus der Existenz solcher unumstößlicher Wahrheiten in der Mathematik resultiert ein typischer Verständnisprozeß, für des- sen Beschreibung ich eine Metapher einführen möchte, die ich zusammen mit Lars Kauffmann vor einigen Jahren entwickelt habe, als wir über das Wesen der Mathe- matik diskutierten.
Die Grundpfeiler einer mathematischen Theorie sind ihre Axiome, deren Zahl meist so eng wie möglich beschränkt ist. Die Axiome sind Aussagen, die garantieren, daß die im Rahmen der Axiome entwickelte Theorie ein gewisse Grundstruktur hat, sie für uns denkbar ist. So legen die Axiome von Peano durch wenige Regeln den Auf- bau der natürlichen Zahlen fest und ermöglichen es, eine Addition innerhalb dieser Zahlen festzulegen, dergestalt, daß 1 + 1 = 2 ist. Durch die Axiome sind prinzipiell die Wahrheitsgehalte aller Aussagen innerhalb der Theorie festgelegt, wenngleich sie natürlich noch nicht bekannt sind1.
In der Metapher, mit der wir das Betreiben von Mathematik beschrieben haben, wird durch die Axiome eine komplexe, künstliche, mathematische Landschaft er- zeugt. Mit der Aufstellung der Axiome ist diese Landschaft vollständig entwickelt, alle Objekte haben ihre wohlbestimmte Form und einen festen Ort. Wir kennen die Objekte und ihren Ort allerdings noch nicht, wir wissen nicht welche Aussagen innerhalb der Theorie wahr sind und wie der Zusammenhang zwischen den Aus- sagen ist. Die Hauptaufgabe des Mathematikers besteht nun in der Erforschung dieser Landschaft, also darin, die wahren Aussagen der Theorie zu entdecken. Dies ist kein mechanischer Vorgang in Buchhaltermanier, kein Beweisen am Fließband, sondern durchaus ein leidenschaftliches Forschen, geprägt von der Neugier, immer neue Aspekte der Landschaft zu entdecken, ihre Geheimnisse zu erkunden.
Neben den Axiomen sind die Definitionen, die Sätze und ihre Beweise die wesentlichen Bausteine einer mathematischen Theorie. Die Definition strukturiert die Theorie, indem sie wesentliche Objekte, die grundlegende Wichtigkeit für die Theorie haben werden, konstruiert. In der eingeführten Metapher erhalten die Objekte der Landschaft Namen. Man sagt, was ein Berg, ein Hügel, eine Lichtung ist. In der Geometrie ist etwa ein Kreis mit Mittelpunkt x und Radius r definiert als die “Menge aller Punkte, die den Abstand r vom Punkt x haben”.
Eine Definition kann nur dann verstanden werden, wenn alle in ihr vorkommenden Begriffe bekannt sind. So ist in der obigen Definition nur dann klar, was ein Kreis ist, wenn die Begriffe “Punkt” und “Abstand” bekannt sind.2 Die Kenntnisse aller Bausteine einer Definition garantieren jedoch keinesfalls das Verständnis der Definition, denn die Definition ist nicht nur eine Auflistung bekannter Begriffe, sondern sie strukturiert das Zusammenspiel mehrerer Komponenten.
Oft sind Beispiele zu einer Definition ein wichtiger Schritt zu ihrem Verständnis. Sie bieten eine Konkretisierung der definierten Objekte und können klarmachen, warum die definierende Eigenschaft wesentlich und grundlegend ist. So zeigen Beispiele von Kreisen, daß die oben gezeigte Definition umfassend und frei von Redundanz ist. An ihnen erkennt man zum einen, daß die Definition einen Kreis vollständig festlegt (sofern Mittelpunkt und Radius angeben sind), und zum anderen keine unnötigen Forderungen gemacht werden, wie Farbe, Geschmack oder Lage im Raum. Die Definition eines Kreises ist eine genaue Festlegung des Kreishaften. Der Wert der Beispiele liegt also darin, an ihnen die Tragfähigkeit und Stärke einer abstrakten Definition an konkreteren Objekten zu erkennen.
Das Wesen eines mathematischen Begriffes kann durch die stringente Definition in einer anderen Art verstanden werden, als es in anderen Gebieten möglich ist. Man kann nicht anderer Meinung darüber sein, ob etwas ein Kreis ist. Ein Objekt ist ein Kreis, wenn es alle in der Definition geforderten Eigenschaften erfüllt, erfüllt es die Eigenschaften nicht, so ist es kein Kreis. Basta!
Ein Satz ist eine Aussage, die sich in der Theorie machen läßt und deren Wahrheitsgehalt als wahr bekannt ist. Damit ist ein Satz unmittelbar mit einem Beweis verbunden. Ein Satz ist nur dann ein Satz, wenn es einen Beweis zu dem Satz gibt. Aussagen, deren Wahrheitsgehalt nicht bekannt sind, für die kein Beweis und kein Gegenbeweis existiert, sind Vermutungen.
Das Beweisen eines Satzes ist der Nachweis, daß die im Satz gemachte Aussage nicht gegen die Spielregeln verstößt, daß der Zusammenhang zwischen den Objek- ten, der im Satz festgestellt wird, aus den Axiomen, Definitionen oder schon be- kannten Sätzen folgt. Ein Beweis ist das Protokoll einer Argumentationskette, die unter Verwendung bekannter Wahrheiten und erlaubter Spielregeln zeigt, daß die Aussage des Satzes wahr ist.
Oft wird die Aussage eines Satzes erst durch ihren Beweis verstehbar, denn ohne Beweis kann man die Aussage allenfalls glauben oder eine vage Idee für den Zusam- menhang mit den anderen Objekten der Theorie haben. Im Beweis wird der logische Zusammenhang zu bekannten Wahrheiten geschlossen und somit die Aussage des Satzes in den Kontext mit anderen Aussagen und Objekten der mathematischen Theorie gestellt. Zu einem Satz gibt es durchaus eine Vielzahl von möglichen Be- weisen, die sich mehr oder weniger unterscheiden können, je nachdem zu welchen schon als wahr bekannten Aussagen sie Zusammenhänge schließen.
In der erwähnten Metapher sind Sätze Aussagen über die Zusammenhänge in der mathematischen Landschaft, über die Lage eines Berges, eines Flusses oder eines Sees. Der Beweis eines Satzes besteht dann darin, aus den schon bekannten Objekten der Landschaft auf die Lage des im Satz beschriebenen Berges oder Flusses zu schließen. Verschiedene Beweise können sich auf verschieden bekannte Punkte in der Landschaft beziehen. Somit können verschiedene Beweise die Aussage des zu beweisenden Satzes verständlicher machen als ein einzelner Beweis, indem sie den Sachverhalt aus unterschiedlichen Richtungen beleuchten.
Dies sind die Grundbausteine jeder mathematischen Theorie: Axiome, Definitio- nen, Beispiele, Sätze und Beweise. Das Verstehen einer mathematischen Theorie ist immer mit dem Verstehen dieser Grundbausteine und ihres Zusammenspiels ver- bunden. Hinzu kommt, wenn die Mathematik Probleme aus anderen Disziplinen untersucht, ein mögliches Verstehen der nichtmathematischen Zusammenhänge da- durch, daß sie abstrahiert werden und so wesentliche Aspekte deutlicher und klarer erscheinen.
Ein entscheidender Faktor im Verstehen einer mathematischen Theorie besteht nun darin, daß man Objekte in anderen Kontexten wiedertrifft. Der oben beschriebene Kreis ist durch seine Definition eng mit dem Begriff Abstand verbunden. Lernt man später dann andere Abstandsbegriffe kennen, so lernt man auch das Kreishafte in einer größeren Tiefe kennen, denn mit jedem neuen Abstandsbegriff ist eine neue Form des Kreises verbunden.3 Allen Formen der Kreise ist aber das Kreishafte der Definition gemeinsam. Das Wiedertreffen von Objekten in anderen Kontexten und das daraus resultierende Verstehen ist also ein Akt des exemplarischen Lernens, wenngleich auf der Ebene hoher Abstraktion.
Durch diese wiederkehrende Begegnung mit mathematischen Objekten lernt man sie besser kennen, kennt ihre Lage in der mathematischen Landschaft immer besser. Ei- ne Faustregel unter Mathematikstudenten besagt, daß man den Stoff eines Semesters frühestens zwei Semester später versteht. Dies beschreibt gerade das Phänomen, daß Begriffe sich in ihrer tieferen Bedeutung erst in neuen Kontexten erschließen.
Hierin liegt, so meine ich, eine wesentliche Ursache für die Faszination, die Mathe- matik ausübt. Wenn man Mathematik betreibt, so ist man ständig bestrebt, Neues zu entdecken. Dies ist durchaus ein zeitraubender und anstrengender Prozess, doch das Ziel ist, einen neuen Zusammenhang in der mathematischen Landschaft zu sehen, den man noch nicht kennt. Oft erahnt man, wie die Teile der Landschaft zueinander in Verbindung stehen, doch mit dieser Ahnung ist ein Mathematiker nicht zufrieden, er will klar sehen.
[...]
1 Seit der bahnbrechenden Arbeit von Kurt Gödel, in der ersten Hälfte des letzten Jahrhunderts, wissen wir, daß die meisten Axiomensysteme nicht den Wahrheitsgehalt aller Aussagen festlegen. Ich kann und möchte aber in diesen laienhaften Überlegungen nicht weiter darauf eingehen, auch weil die Konsequenzen aus Gödels Arbeit für die meisten Mathematiker kaum spürbar sind. Tun wir für die nächsten paar Minuten so, als ob wir die Konsequenzen aus Gödels Arbeit nicht kennen würden
2 Im Verlaufe des Textes werden wir sehen, daß es durchaus verschiedene Arten des Abstands gibt, zu denen auch verschiedene Arten von Kreisen gehören.
Häufig gestellte Fragen
Worum geht es in "Wie versteht ein Mathematiker?"
Der Text "Wie versteht ein Mathematiker? - Versuch einer Metapher -" von Axel Müller aus dem Jahr 2000 ist ein subjektiver Erklärungsversuch darüber, wie der Autor das Verstehen einer mathematischen Theorie sieht. Er basiert auf einem Gespräch mit seinem Nachbarn und einer Metapher, die er mit seinem Freund Lars Kauffmann entwickelt hat.
Was sind die Hauptpunkte des Textes?
Die Hauptpunkte des Textes umfassen die Abstraktion in der Mathematik, die Rolle mathematischer Modelle, die Bedeutung von Axiomen, Definitionen, Sätzen und Beweisen für das Verständnis, und die Notwendigkeit, mathematische Objekte in verschiedenen Kontexten wiederzufinden, um ein tieferes Verständnis zu erlangen.
Wie beschreibt der Autor das Betreiben von Mathematik?
Der Autor beschreibt das Betreiben von Mathematik mithilfe einer Metapher, in der die Axiome eine künstliche, mathematische Landschaft erzeugen. Mathematiker erforschen diese Landschaft, um wahre Aussagen zu entdecken. Definitionen strukturieren die Theorie und benennen Objekte in der Landschaft, während Sätze Aussagen über die Zusammenhänge in der Landschaft sind, die durch Beweise belegt werden.
Was ist die Rolle von Axiomen, Definitionen, Sätzen und Beweisen?
Axiome sind die Grundpfeiler einer mathematischen Theorie und legen die Grundstruktur fest. Definitionen strukturieren die Theorie, indem sie wesentliche Objekte konstruieren. Sätze sind Aussagen, deren Wahrheitsgehalt bekannt ist, und Beweise zeigen, dass die Aussage des Satzes aus den Axiomen, Definitionen oder bekannten Sätzen folgt.
Warum sind Beispiele wichtig für das Verständnis von Definitionen?
Beispiele bieten eine Konkretisierung der definierten Objekte und können verdeutlichen, warum die definierende Eigenschaft wesentlich und grundlegend ist. Sie zeigen die Tragfähigkeit und Stärke einer abstrakten Definition an konkreteren Objekten.
Was bedeutet es, wenn ein Satz bewiesen ist?
Ein Beweis zeigt, dass die im Satz gemachte Aussage nicht gegen die Spielregeln der Mathematik verstößt und dass der Zusammenhang zwischen den Objekten aus den Axiomen, Definitionen oder bereits bekannten Sätzen folgt. Der Beweis stellt die Aussage des Satzes in den Kontext anderer Aussagen und Objekte der mathematischen Theorie.
Warum ist das Wiederfinden von Objekten in anderen Kontexten wichtig?
Das Wiederfinden von Objekten in anderen Kontexten ermöglicht ein tieferes Verständnis, da man die Objekte in verschiedenen Zusammenhängen kennenlernt und ihre Bedeutung besser erschließt. Dies ist ein Akt des exemplarischen Lernens auf einer hohen Abstraktionsebene.
Was wird in den Fußnoten erklärt?
Die Fußnoten erläutern, dass die meisten Axiomensysteme nicht den Wahrheitsgehalt aller Aussagen festlegen (eine Anspielung auf Gödels Unvollständigkeitssätze), dass es verschiedene Arten des Abstands gibt, zu denen auch verschiedene Arten von Kreisen gehören, und dass ein "Kreis" für den Mathematiker nicht notwendigerweise rund sein muss.
- Arbeit zitieren
- Axel Müller (Autor:in), 1999, Wie versteht ein Mathematiker, München, GRIN Verlag, https://www.grin.com/document/98615
