Sie sind auf Seite 1von 3

Mathematisches Objekt

aus Wikipedia, der freien Enzyklopdie


Als mathematische Objekte werden die abstrakten Objekte bezeichnet, die in den verschiedenen
Teilgebieten der Mathematik beschrieben und untersucht werden. Grundlegende Beispiele sind Zahlen,
Mengen und geometrische Krper, weiterfhrend sind beispielsweise Graphen, Integrale und
Kohomologien. Die Fragen nach der Existenz und der Natur von mathematischen Objekten sind zentral in
der Philosophie der Mathematik. Die zeitgenssische Mathematik hingegen klammert diese
Fragestellungen aus und beschftigt sich innerstrukturell mit ihnen. Dies schliet Bereiche wie
Mengenlehre, Prdikatenlogik, Modelltheorie und Kategorientheorie mit ein, in denen die (sonst
bergeordneten) mathematischen Strukturen wie Axiome, Schlussregeln und Beweise erforscht werden,
die damit selbst zu mathematischen Objekten werden. Die Ansichten darber, was mathematische Objekte
sind, haben sich im Lauf der Geschichte der Mathematik stark gewandelt.

Inhaltsverzeichnis
1
2
3
4

Geschichtliches
Bezug zu formalen Systemen zur Grundlegung der Mathematik
Siehe auch
Literatur

Geschichtliches
Hauptartikel: Geschichte der Mathematik
Die ersten Objekte mathematischer berlegungen waren Zahlen und geometrische Figuren. Schon die
Mathematik im Alten gypten und die babylonische Mathematik rechnete mit Zahlen und konnte damit
einfache Gleichungen lsen. Bereits die Pythagoreer stellten jedoch fest, dass es neben den Bruchzahlen
auch inkommensurable Zahlenverhltnisse gibt, sie konnten diese Zahlen aber noch nicht quantifizieren.
Bis ins 19. Jahrhundert herrschte in der Mathematik groe Unsicherheit beim Rechnen mit infinitesimalen
Gren, was sich erst ab Mitte des 19. Jahrhunderts durch Karl Weierstrass nderte. Heute sind mehrere
Konstruktionsmglichkeiten der reellen Zahlen aus den rationalen Zahlen bekannt. ber die reellen Zahlen
hinaus sind komplexe Zahlen und Quaternionen von praktischer Bedeutung.
Euklid (ca. 300 v. Chr) legte erstmals einige Eigenschaften geometrischer Objekte, wie Punkt, Gerade und
Dreieck, in seiner euklidischen Geometrie durch Postulate, vergleichbar heutigen Axiomen, fest. Eine
vollstndige und widerspruchsfreie Axiomatisierung der Geometrie gelang jedoch erst David Hilbert 1899.
In der zweiten Hlfte des 19. Jahrhunderts entwickelte Georg Cantor seine Mengenlehre, mit der sich
mathematische Objekte als Mengen beschreiben lassen. Etwas weiter fasste er den Begriff der Klasse,
wobei echte Klassen wie die Allklasse keine Mengen mehr darstellen. Die naive Mengenlehre war jedoch
nicht widerspruchsfrei, das wohl bekannteste Paradoxon ist die Russellsche Antinomie. Die
Axiomatisierung der Mengenlehre wurde erst durch Ernst Zermelo und Abraham Adolf Fraenkel in den
1920er Jahren mit der Zermelo-Fraenkel-Mengenlehre abgeschlossen.

In der konstruktiven Mathematik des 20. Jahrhunderts wurde gefordert, dass mathematische Objekte
konstruierbar sein mssen. In der Grundlagenkrise der Mathematik der 1920er und 1930er Jahre setzte sich
jedoch der Formalismus gegenber dem Intuitionismus durch. Wichtiger als die mathematischen Objekte
selbst sind demnach deren Beziehungen untereinander, die durch Axiome festgelegt werden. Diese
Axiome, nicht die Objekte selbst, stellen die Grundlage moderner mathematischer Theorien dar.

Bezug zu formalen Systemen zur Grundlegung der Mathematik


Hauptartikel: Grundlagen der Mathematik
Dem formalistischen Standpunkt zufolge arbeitet die Mathematik stets in formalen Systemen. Davon
beeinflusst ist es zu einem Anspruch der modernen Mathematik geworden, dass Stze, die in der
Mathematik aufgestellt werden, zumindest prinizipiell als Satz eines formalen Systems aufgefasst werden
knnen mssen. Damit sie als gltig angesehen werden, mssen sie in diesem formalen System als
beweisbar erkannt werden, unabhngig davon, inwiefern das System aus philosophischer Sicht als basal
anzusehen ist. Die verbreitetsten solcher Systeme zur Grundlegung der Mathematik sind dabei die auf der
klassischen Prdikatenlogik erster Stufe basierenden (im Vergleich zu auf anderen Logiken basierenden).
Solche arbeiten mit Variablen, das sind frei whlbare Symbole (im Sinne eines Tokens, nicht im Sinne
eines Symbols fr etwas), die in dem formalen System auf spezielle Weise eingesetzt werden knnen.
Diese Weise hnelt dabei intuitiven Vorstellungen davon, dass sie Objekte bezeichnen. Beispielsweise
wird ein formaler Ausdruck der Form
als es existiert genau ein , sodass gelesen. Hat man
einen Ausdruck dieser Form bewiesen, so lsst er sich auch auf bestimmte Weisen mit anderen
Ausdrcken kombinieren, in denen das verwandt werden kann, und man spricht von einer Definition
des Objektes . Entscheidend fr die Akzeptanz einer mathematischen Aussage, die von solchen
Variablen Gebrauch macht, ist also nicht ein Bezug zu etwaigen Objekten, was auch immer sie sein
mgen, sondern nur die korrekte Verwendung innerhalb des formalen Systems.
Um mit der Prdikatenlogik ein reichhaltiges System, in dem die meiste bekannte Mathematik betrieben
werden kann, zu erhalten, kann man das System mit Prdikaten und Axiomen ausgestalten. Am
verbreitetsten sind dabei verschiedene Anstze, die als mengentheoretische Grundlegungen bezeichnet
werden. Sie fhren in das formale System die Elementrelation ein. Statt von Objekten im obigen Sinne
spricht man dann von Mengen und liest
als die Menge ist ein Element der Menge . Gewisse
Axiome garantieren einen vielfltigen Umgang, das heit vielfltige mgliche Beweise und damit u. a.
auch vielfltige mgliche Definitionen im obigen Sinne. Die verbreitetste Wahl eines solchen
Axiomensystems ist die Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC). Im mathematischen
Sprachgebrauch kommt es vor, dass man trotz einer Fundierung durch ZFC von Objekten spricht, die
sich in nicht-formalen Umschreibungen hnlich wie die sogenannten Mengen verhalten, von denen sich
jedoch herausstellt, dass sie bei der Formalisierung unmglich auf dieselbe Weise wie sogenannte Mengen
mit Variablen in Verbindung gesetzt werden knnen, da beim Versuch einer solchen Formalisierung unter
Bercksichtigung der gewnschten Eigenschaften Widersprche zu den Axiomen entstehen. Man spricht
dann von einer echten Klasse. Diese kann auch mathematisches Objekt genannt werden, nicht aber
Menge, dieses Wort wird fr obige engere Auffassung reserviert. Es existieren auch Axiomensysteme,
etwa die Neumann-Bernays-Gdel-Mengenlehre und die Ackermann-Mengenlehre, die eine
Formalisierung des Begriffs einer echten Klasse zulassen, wobei echte Klassen dann auch zu
mathematischen Objekten im obigen engeren Sinne werden.

Siehe auch
Ontologie

Literatur
Oliver Deiser: Einfhrung in die Mengenlehre. 2. Auflage, Springer, Berlin u. a. 2004, ISBN 3-54020401-6.
Christoph J. Scriba, Peter Schreiber: 5000 Jahre Geometrie. Geschichte, Kulturen, Menschen,
Springer, Berlin 2005, ISBN 3-540-22471-8
Simon Singh, Fermats letzter Satz. dtv, Mnchen 2000, ISBN 3-423-33052-X.
Von http://de.wikipedia.org/w/index.php?title=Mathematisches_Objekt&oldid=106699133
Kategorien: Philosophie der Mathematik Mathematischer Grundbegriff
Diese Seite wurde zuletzt am 12. August 2012 um 05:29 Uhr gendert.
Der Text ist unter der Lizenz Creative Commons Attribution/Share Alike verfgbar; zustzliche
Bedingungen knnen anwendbar sein. Einzelheiten sind in den Nutzungsbedingungen beschrieben.
Wikipedia ist eine eingetragene Marke der Wikimedia Foundation Inc.
Abrufstatistik