Mathematik

Inhalte und Methodik

Axiomatische Formulierung und Sprache

Sir Henry Billingsleys erste englische Ausgabe der „Elemente“ von Euklid (1570)

Seit dem Ende des 19. Jahrhunderts, vereinzelt schon seit der Antike, wird die Mathematik in Form von Theorien präsentiert, die mit Aussagen beginnen, welche als wahr angesehen werden; daraus werden dann weitere wahre Aussagen hergeleitet. Diese Herleitung geschieht dabei nach genau festgelegten Schlussregeln. Die Aussagen, mit denen die Theorie anfängt, nennt man Axiome, die daraus hergeleiteten nennt man Sätze. Die Herleitung selbst ist ein Beweis des Satzes. In der Praxis spielen noch Definitionen eine Rolle, sie gehören aber zum Handwerkszeug der Logik, das vorausgesetzt wird.Aufgrund dieses Aufbaus der mathematischen Theorien bezeichnet man sie als axiomatische Theorien.

Üblicherweise verlangt man dabei von Axiomen einer Theorie, dass diese widerspruchsfrei sind, also dass nicht gleichzeitig ein Satz und die Negation dieses Satzes wahr sind. Diese Widerspruchsfreiheit selbst lässt sich aber im Allgemeinen nicht innerhalb einer mathematischen Theorie beweisen (dies ist abhängig von den verwendeten Axiomen). Das hat zur Folge, dass etwa die Widerspruchsfreiheit der Zermelo-Fraenkel-Mengenlehre, die fundamental ist für die moderne Mathematik, nicht ohne Zuhilfenahme weiterer Annahmen beweisbar ist.

Die von diesen Theorien behandelten Gegenstände sind abstrakte mathematische Strukturen, die ebenfalls durch Axiome definiert werden. Während in den anderen Wissenschaften die behandelten Gegenstände vorgegeben sind und danach die Methoden zur Untersuchung dieser Gegenstände geschaffen werden, ist bei der Mathematik umgekehrt die Methode vorgegeben und die damit untersuchbaren Gegenstände werden erst danach erschaffen. In dieser Weise nimmt und nahm die Mathematik immer eine Sonderstellung unter den Wissenschaften ein.

Die Weiterentwicklung der Mathematik geschah und geschieht dagegen oft durch Sammlungen von Sätzen, Beweisen und Definitionen, die nicht axiomatisch strukturiert sind, sondern vor allem durch die Intuition und Erfahrung der beteiligten Mathematiker geprägt sind. Die Umwandlung in eine axiomatische Theorie erfolgt erst später, wenn weitere Mathematiker sich mit den dann nicht mehr ganz so neuen Ideen beschäftigen.

Allerdings sind der Axiomatisierung der Mathematik auch Grenzen gesetzt. Kurt Gödel zeigte um 1930 in dem nach ihm benannten Unvollständigkeitssatz, dass in jedem mathematischen Axiomensystem entweder wahre, jedoch nicht beweisbare Aussagen existieren, oder aber das System widersprüchlich ist.

Mathematik benutzt zur Beschreibung von Sachverhalten eine sehr kompakte Sprache, die auf Fachbegriffen und vor allem Formeln beruht. Eine Darstellung der in den Formeln benutzten Zeichen findet sich in der Tabelle mathematischer Symbole. Eine Besonderheit der mathematischen Fachsprache besteht in der Bildung von aus Mathematikernamen abgeleiteten Adjektiven wie pythagoreisch, euklidisch, eulersch, abelsch, noethersch und artinsch.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Mathematik aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung