6 Suchergebnisse

Betrachtet man die Mathematik als Gebäude, dann bilden Grundbegriffe und als wahr angenommene Aussagen (sogenannte Axiome) das Fundament. Der Aufbau des Gebäudes vollzieht sich im Wesentlichen dadurch, dass ausgehend von den Grundbegriffen weitere Begriffe gebildet werden sowie Zusammenhänge zwischen ihnen erkannt und in Aussagen formuliert werden. Als wahr erkannte Aussagen werden als Sätze in das Gebäude aufgenommen und bei dessen weiterer Vervollkommnung verwendet. Der Nachweis der Wahrheit einer Aussage, eines mathematischen Satzes, erfolgt durch einen Beweis.

Die Geometrie (griechisch, Erdmessung) mit ihren Teildisziplinen Planimetrie (griechisch, Flächenmessung) und Stereometrie (griechisch, Körpermessung) untersucht die uns umgebende Wirklichkeit auf sehr abstrakte Weise. Sie beschäftigt sich nur mit den äußeren Formen der Gegenstände und lässt die stoffliche Zusammensetzung der Dinge und damit die biologischen, physikalischen und chemischen Eigenschaften unberücksichtigt.

Betrachtet man die Mathematik als Gebäude, dann bilden Grundbegriffe und als wahr angenommene Grundaussagen (so genannte Axiome bzw. Postulate) das Fundament. Der Aufbau des Gebäudes vollzieht sich im Wesentlichen dadurch, dass ausgehend von den Grundbegriffen weitere Begriffe (sogenannte abgeleitete Begriffe) gebildet (definiert) werden sowie Zusammenhänge zwischen ihnen erkannt und in Aussagen formuliert werden. Als wahr erkannte Aussagen werden als Sätze (Lehrsätze) in das Gebäude aufgenommen und bei dessen weiterer Vervollkommnung verwendet.
Der Nachweis der Wahrheit einer Aussage, eines mathematischen Satzes, erfolgt durch einen Beweis. Man unterscheidet direkte und indirekte Beweise.

Eine nichtleere Menge G von Elementen a, b, c, ... heißt Gruppe, wenn in ihr eine Operation $\circ$ erklärt ist, die folgenden Axiomen genügt:

1. Die Operation $\circ$ ist assoziativ,
   d.h. für alle Elemente $a,b,c\in G$ gilt $a\circ \left(b\circ c\right)=\left(a\circ b\right)\circ c$.
2. Die Operation $\circ$ ist umkehrbar, d.h. zu beliebigen Elementen $a,b\in G$ sind die Gleichungen $a\circ x=b$ und $y\circ a=b($ mit $x\in G$ und $y\in G)$ lösbar.

Man nennt G eine abelsche Gruppe, wenn zusätzlich noch gilt:

3. Die Operation $\circ$ ist kommutativ, d.h. für alle $a,b\in G$ gilt $a\circ b=b\circ a$.

Das Theoriegebäude der Mathematik fußt auf nicht definierten Grundbegriffen sowie auf Aussagen, die im jeweiligen mathematischen System nicht zu beweisen sind, den sogenannten Axiomen. Über dieser Basis erhebt sich ein Geflecht von abgeleiteten Begriffen und durch Beweise gesicherten Aussagen, den mathematischen Sätzen.
Daneben stehen Aussagen, deren Wahrheitswert noch nicht bewiesen werden konnte und die deshalb den Charakter von Vermutungen tragen.
Der Beweis für den Großen fermatschen Satz und die Lösung des Vierfarbenproblems gelangen erst in jüngerer Vergangenheit. Demgegenüber stehen Beweise für die goldbachsche Vermutung oder die Vermutung über Primzahlzwillinge noch aus.

Die Mathematik stellt ein vielfältig verwobenes System von mathematischen Begriffen, Aussagen, Axiomen, Regeln usw. unterschiedlicher Abstraktionshöhe dar, das in einer langen Geschichte gewachsen ist und sich ständig weiterentwickelt. Dieser Prozess hat dabei seine Ursache sowohl in inneren Bedürfnissen der Mathematik selbst als auch in Anforderungen der Praxis.
Aussagen, deren Wahrheitswert noch nicht bewiesen werden konnte, tragen den Charakter von Vermutungen. So stehen die Beweise beispielsweise für die goldbachsche Vermutung oder die Vermutung über Primzahlzwillinge noch aus.