„Zahl“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
K ISBN korr.; Kleinkram
Zeile 1: Zeile 1:
{{Dieser Artikel|behandelt den mathematischen Begriff Zahl. Zu anderen Bedeutungen siehe [[Zahl (Begriffsklärung)]].}}
{{Dieser Artikel|behandelt den mathematischen Begriff Zahl. Zu anderen Bedeutungen siehe [[Zahl (Begriffsklärung)]].}}


[[Datei:Zahlbereiche.svg|miniatur|270px|Übersicht über einige gängige Zahlbereiche. <math>A\subset B</math> bedeutet, dass die Elemente des Zahlbereiches <math>A</math> unter Beibehaltung wesentlicher Beziehungen auch als Elemente des Zahlbereichs <math>B</math> aufgefasst werden können. [[Echte Klasse]]n sind in blau markiert.]]
[[Datei:Zahlbereiche.svg|miniatur|270px|Übersicht über einige gängige Zahlbereiche.<math>A\subset B</math> bedeutet, dass die Elemente des Zahlbereiches <math>A</math> unter Beibehaltung wesentlicher Beziehungen auch als Elemente des Zahlbereichs <math>B</math> aufgefasst werden können. [[Echte Klasse]]n sind in blau markiert.]]


'''Zahlen''' sind [[Abstraktion|abstrakte]], [[mathematisches Objekt|mathematische Objekte]] beziehungsweise Objekte des Denkens, die sich historisch aus Vorstellungen von Größe und Anzahl entwickelten. Durch eine [[Messung]] wird ein als Größe verstandener Aspekt einer [[Beobachtung]] mit einer Zahl in Verbindung gebracht, beispielsweise bei einer [[Zählung]]. Sie spielen daher für die [[Empirische Wissenschaft|empirischen Wissenschaften]] eine zentrale Rolle.<ref>{{Literatur|Herausgeber=Donald M. Borchert|Sammelwerk=[[Encyclopedia of Philosophy]]|Jahr=2005|Autor=John Bigelow, Sam Butchart|Titel=Number|ISBN=0-02-866072-2}}</ref>
'''Zahlen''' sind [[Abstraktion|abstrakte]], [[Mathematisches Objekt|mathematische Objekte]] beziehungsweise Objekte des Denkens, die sich historisch aus Vorstellungen von Größe und Anzahl entwickelten. Durch eine [[Messung]] wird ein als Größe verstandener Aspekt einer [[Beobachtung]] mit einer Zahl in Verbindung gebracht, beispielsweise bei einer [[Zählung]]. Sie spielen daher für die [[Empirische Wissenschaft|empirischen Wissenschaften]] eine zentrale Rolle.<ref>{{Literatur|Herausgeber=Donald M. Borchert|Sammelwerk=[[Encyclopedia of Philosophy]]|Jahr=2005|Autor=John Bigelow, Sam Butchart|Titel=Number|ISBN=0-02-866072-2}}</ref>


In der [[Mathematik]], welche Zahlen und ihre Struktur formal untersucht, schließt der Begriff sehr verschiedenartige Konzepte mit ein. Diese entwickelten sich als Verallgemeinerungen bestehender intuitiver Zahlkonzepte, sodass man sie ebenfalls als ''Zahlen'' bezeichnet, obwohl sie teilweise wenig Bezug zu den ursprünglich mit Messungen verbundenen Konzepten haben. Manche dieser Konzepte sind in der Mathematik von grundlegender Bedeutung und finden Verwendung in nahezu allen [[Teilgebiete der Mathematik|Teilgebieten]].
In der [[Mathematik]], welche Zahlen und ihre Struktur formal untersucht, schließt der Begriff sehr verschiedenartige Konzepte mit ein. Diese entwickelten sich als Verallgemeinerungen bestehender intuitiver Zahlkonzepte, sodass man sie ebenfalls als ''Zahlen'' bezeichnet, obwohl sie teilweise wenig Bezug zu den ursprünglich mit Messungen verbundenen Konzepten haben. Manche dieser Konzepte sind in der Mathematik von grundlegender Bedeutung und finden Verwendung in nahezu allen [[Teilgebiete der Mathematik|Teilgebieten]].
Zeile 9: Zeile 9:
In die [[Urgeschichte]] zurück reicht das Konzept der [[Natürliche Zahl|natürlichen Zahlen]], welche zum Zählen verwendet werden können und grundlegende Bedeutung besitzen. Ab etwa 2000 v.&nbsp;Chr. rechneten [[Altes Ägypten|Ägypter]] und [[Babylonier]] mit [[Bruchzahl]]en (rationalen Zahlen). In [[Indien]] entwickelte sich im 7.&nbsp;Jhd. n.&nbsp;Chr. ein Verständnis von der [[Null]] und den [[Negative Zahlen|negativen Zahlen]].<ref>Merzbach, Boyer, S. 198.</ref> [[Irrationale Zahl|Irrationale Zahlen]] wie <math>\sqrt{2}</math> oder <math>\sqrt{5}</math>, deren Notwendigkeit sich aus Erkenntnissen aus dem [[Antikes Griechenland|antiken Griechenland]] ergab (spätestens ab dem 4.&nbsp;Jhd. v.&nbsp;Chr.), wurden in der [[Blütezeit des Islam]] eingeführt.
In die [[Urgeschichte]] zurück reicht das Konzept der [[Natürliche Zahl|natürlichen Zahlen]], welche zum Zählen verwendet werden können und grundlegende Bedeutung besitzen. Ab etwa 2000 v.&nbsp;Chr. rechneten [[Altes Ägypten|Ägypter]] und [[Babylonier]] mit [[Bruchzahl]]en (rationalen Zahlen). In [[Indien]] entwickelte sich im 7.&nbsp;Jhd. n.&nbsp;Chr. ein Verständnis von der [[Null]] und den [[Negative Zahlen|negativen Zahlen]].<ref>Merzbach, Boyer, S. 198.</ref> [[Irrationale Zahl|Irrationale Zahlen]] wie <math>\sqrt{2}</math> oder <math>\sqrt{5}</math>, deren Notwendigkeit sich aus Erkenntnissen aus dem [[Antikes Griechenland|antiken Griechenland]] ergab (spätestens ab dem 4.&nbsp;Jhd. v.&nbsp;Chr.), wurden in der [[Blütezeit des Islam]] eingeführt.


Die Idee [[Imaginäre Zahl|imaginärer Zahlen]], durch die die [[reelle Zahl|reellen Zahlen]] später zu den bedeutenden [[komplexe Zahl|komplexen Zahlen]] erweitert wurden, reicht in die europäische [[Renaissance]] zurück. Der Begriff der reellen Zahl konnte erst im 19. Jahrhundert hinreichend geklärt werden. Ende des 19. Jhd. konnte erstmals auch [[Unendlichkeit|unendlichen]] Größen ein präziser Sinn als Zahlen gegeben werden. Auch wurden erstmals die natürlichen Zahlen [[axiom]]atisch definiert. Mit den Anfang des 20. Jhd. geschaffenen ersten zufriedenstellenden [[Grundlagen der Mathematik]] erfuhren auch die bedeutendsten Zahlbegriffe eine dem heutigen Stand entsprechende vollständig formale Definition und Bedeutung.
Die Idee [[Imaginäre Zahl|imaginärer Zahlen]], durch die die [[Reelle Zahl|reellen Zahlen]] später zu den bedeutenden [[Komplexe Zahl|komplexen Zahlen]] erweitert wurden, reicht in die europäische [[Renaissance]] zurück. Der Begriff der reellen Zahl konnte erst im 19. Jahrhundert hinreichend geklärt werden. Ende des 19. Jhd. konnte erstmals auch [[Unendlichkeit|unendlichen]] Größen ein präziser Sinn als Zahlen gegeben werden. Auch wurden erstmals die natürlichen Zahlen [[axiom]]atisch definiert. Mit den Anfang des 20. Jhd. geschaffenen ersten zufriedenstellenden [[Grundlagen der Mathematik]] erfuhren auch die bedeutendsten Zahlbegriffe eine dem heutigen Stand entsprechende vollständig formale Definition und Bedeutung.


Vom Begriff der ''Zahl'' abzugrenzen sind ''[[Ziffer]]n'' (spezielle ''[[Zahlzeichen]]''; zur Darstellung bestimmter Zahlen verwendete [[Schriftzeichen]]), ''[[Zahlschrift]]en'' (Schreibweisen von Zahlen z.&nbsp;B. mit Hilfe von Ziffern unter Verwendung bestimmter Regeln), ''[[Zahlwörter]]'' (''Numerale'', zur Benennung bestimmter Zahlen verwendete [[Wörter]]) und ''[[Nummer]]n'' ([[Identifikator]]en, die selbst Zahlen, oder aber – in der Regel Ziffern enthaltende – Zeichenketten sein können).
Vom Begriff der ''Zahl'' abzugrenzen sind ''[[Ziffer]]n'' (spezielle ''[[Zahlzeichen]]''; zur Darstellung bestimmter Zahlen verwendete [[Schriftzeichen]]), ''[[Zahlschrift]]en'' (Schreibweisen von Zahlen z.&nbsp;B. mit Hilfe von Ziffern unter Verwendung bestimmter Regeln), ''[[Zahlwörter]]'' (''Numerale'', zur Benennung bestimmter Zahlen verwendete [[Wörter]]) und ''[[Nummer]]n'' ([[Identifikator]]en, die selbst Zahlen, oder aber – in der Regel Ziffern enthaltende – Zeichenketten sein können).


== Etymologie ==
== Etymologie ==
Das deutsche Wort ''Zahl'' geht vermutlich auf das [[Urgermanische Sprache|urgermanisch]]e Wort ''*talō'' (''Berechnung'', ''Zahl'', ''Rede'')<ref name="orel">Vladimir Orel: ''[http://archive.org/details/Orel-AHandbookOfGermanicEtymology A Handbook of Germanic Etymology]''. Brill, Leiden 2003, Seite 400 f.</ref><ref name="fick">[[August Fick]]: ''[http://lexicon.ff.cuni.cz/pdf/pgmc_torp/pgmc_torp.pdf Wörterbuch der Indogermanischen Sprachen: Dritter Teil: Wortschatz der Germanischen Spracheinheit] (PDF; 2,8&nbsp;MB).'' Vandenhoeck & Ruprecht, Göttingen 1909</ref> zurück, das vermutlich Wurzel der [[althochdeutsch]]en Wörter ''zala'' (''Ordnung'', ''geordnete Darlegung'', ''Bericht'', ''Aufzählung'')<ref name="grimm">''[[Deutsches Wörterbuch]]'' von [[Jacob Grimm]] und [[Wilhelm Grimm]] ([http://woerterbuchnetz.de/DWB/?lemid=GZ00126 Bd. 31, Sp. 36 bis 42])</ref> und ''zalōn'' (''berichten'', ''rechnen'', ''zählen''<ref name="grimm"/>, ''berechnen'', ''zahlen''<ref name="pokorny"/>) ist. Aus ''zala'' wurde im [[Mittelhochdeutsch]]en ''zale'' oder ''zal''<ref name="grimm"/>, auf das das heutige Wort ''Zahl'' zurückgeht.
Das deutsche Wort ''Zahl'' geht vermutlich auf das [[Urgermanische Sprache|urgermanische]] Wort ''*talō'' (''Berechnung'', ''Zahl'', ''Rede'')<ref name="orel">Vladimir Orel: ''[http://archive.org/details/Orel-AHandbookOfGermanicEtymology A Handbook of Germanic Etymology]''. Brill, Leiden 2003, S. 400 f.</ref><ref name="fick">[[August Fick]]: ''[http://lexicon.ff.cuni.cz/pdf/pgmc_torp/pgmc_torp.pdf Wörterbuch der Indogermanischen Sprachen: Dritter Teil: Wortschatz der Germanischen Spracheinheit] (PDF; 2,8&nbsp;MB).'' Vandenhoeck & Ruprecht, Göttingen 1909.</ref> zurück, das vermutlich Wurzel der [[althochdeutsch]]en Wörter ''zala'' (''Ordnung'', ''geordnete Darlegung'', ''Bericht'', ''Aufzählung'')<ref name="grimm">''[[Deutsches Wörterbuch]]'' von [[Jacob Grimm]] und [[Wilhelm Grimm]] ([http://woerterbuchnetz.de/DWB/?lemid=GZ00126 Band 31, Sp. 36–42.])</ref> und ''zalōn'' (''berichten'', ''rechnen'', ''zählen'',<ref name="grimm" /> ''berechnen'', ''zahlen''<ref name="pokorny" />) ist. Aus ''zala'' wurde im [[Mittelhochdeutsch]]en ''zale'' oder ''zal'',<ref name="grimm" /> auf das das heutige Wort ''Zahl'' zurückgeht.


Das urgermanische Wort findet seinen Ursprung vermutlich in einem [[Indogermanische Ursprache|urindogermanisch]]en [[Etymon]] ''*del-'' (''zielen'', ''berechnen'', ''nachstellen'').<ref name="pokorny">[[Julius Pokorny]]: ''[http://archive.org/details/indogermanisches01pokouoft Indogermanisches etymologisches Wörterbuch]'', Francke, Bern 1959. Band I, S. 193, [http://www.utexas.edu/cola/centers/lrc/ielex/U/P0329.html Datenbankeintrag]</ref><ref name="orel"/> Auch ein Zusammenhang mit dem urindogermanischen ''*del-'' (''spalten'')<ref name="pokorny"/> ist möglich; die ursprüngliche Bedeutung wäre dann möglicherweise „eingekerbtes Merkzeichen“<ref name=kluge">{{Literatur|Autor=Friedrich Kluge, Elmar Seebold|Titel=Etymologisches Wörterbuch der deutschen Sprache|Auflage=24.|Ort=Berlin|Verlag=de Gruyter|Jahr=2002|ISBN=3-11-017472-3}}, Seite 1002</ref><ref name="duden">[http://www.duden.de/rechtschreibung/Zahl Wörterbucheintrag Zahl] im [[Duden]], abgerufen am 11. Juni 2012</ref>.
Das urgermanische Wort findet seinen Ursprung vermutlich in einem [[Indogermanische Ursprache|urindogermanischen]] [[Etymon]] ''*del-'' (''zielen'', ''berechnen'', ''nachstellen'').<ref name="pokorny">[[Julius Pokorny]]: ''[http://archive.org/details/indogermanisches01pokouoft Indogermanisches etymologisches Wörterbuch]'', Francke, Bern 1959. Band I, S. 193, [http://www.utexas.edu/cola/centers/lrc/ielex/U/P0329.html Datenbankeintrag]</ref><ref name="orel" /> Auch ein Zusammenhang mit dem urindogermanischen ''*del-'' (''spalten'')<ref name="pokorny" /> ist möglich; die ursprüngliche Bedeutung wäre dann möglicherweise „eingekerbtes Merkzeichen“<ref name='kluge"'>{{Literatur|Autor=Friedrich Kluge, Elmar Seebold|Titel=Etymologisches Wörterbuch der deutschen Sprache|Auflage=24.|Ort=Berlin|Verlag=de Gruyter|Jahr=2002|ISBN=3-11-017472-3}}, S. 1002.</ref>.<ref name="duden">[http://www.duden.de/rechtschreibung/Zahl Wörterbucheintrag Zahl] im [[Duden]], abgerufen am 11. Juni 2012.</ref>


== Verknüpfungen von Zahlen ==
== Verknüpfungen von Zahlen ==
Zeile 33: Zeile 33:
== Definition von Zahlen ==
== Definition von Zahlen ==
Der Begriff der ''Zahl'' ist nicht mathematisch definiert, sondern ist ein [[Gemeinsprache|gemeinsprachlicher]] Oberbegriff für verschiedene mathematische Konzepte. Daher gibt es im mathematischen Sinn keine ''Menge aller Zahlen'' oder dergleichen. Die Mathematik spricht, wenn sie sich mit Zahlen befasst, stets über bestimmte wohldefinierte ''Zahlbereiche'', d.&nbsp;h. nur über bestimmte Objekte unseres Denkens mit festgelegten Eigenschaften, die salopp alle als ''Zahlen'' bezeichnet werden. Seit dem Ende des 19. Jahrhunderts werden in der Mathematik Zahlen rein mittels der [[Logik]] unabhängig von Vorstellungen von Raum und Zeit definiert. Grundsteine wurden hier von [[Richard Dedekind]] und [[Giuseppe Peano]] mit der [[Axiomatisierung]] der [[Natürliche Zahlen|natürlichen Zahlen]] (s. [[Peano-Axiome]]) gelegt. Dedekind schreibt zu diesem neuen Ansatz:
Der Begriff der ''Zahl'' ist nicht mathematisch definiert, sondern ist ein [[Gemeinsprache|gemeinsprachlicher]] Oberbegriff für verschiedene mathematische Konzepte. Daher gibt es im mathematischen Sinn keine ''Menge aller Zahlen'' oder dergleichen. Die Mathematik spricht, wenn sie sich mit Zahlen befasst, stets über bestimmte wohldefinierte ''Zahlbereiche'', d.&nbsp;h. nur über bestimmte Objekte unseres Denkens mit festgelegten Eigenschaften, die salopp alle als ''Zahlen'' bezeichnet werden. Seit dem Ende des 19. Jahrhunderts werden in der Mathematik Zahlen rein mittels der [[Logik]] unabhängig von Vorstellungen von Raum und Zeit definiert. Grundsteine wurden hier von [[Richard Dedekind]] und [[Giuseppe Peano]] mit der [[Axiomatisierung]] der [[Natürliche Zahlen|natürlichen Zahlen]] (s. [[Peano-Axiome]]) gelegt. Dedekind schreibt zu diesem neuen Ansatz:
{{Zitat|Was beweisbar ist, soll in der Wissenschaft nicht ohne Beweis geglaubt werden. So einleuchtend diese Forderung erscheint, so ist sie doch, wie ich glaube, selbst bei der Begründung der einfachsten Wissenschaft, nämlich desjenigen Theiles der Logik, welcher die Lehre von den Zahlen behandelt, auch nach den neuesten Darstellungen noch keineswegs als erfüllt anzusehen. […] die Zahlen sind freie Schöpfungen des menschlichen Geistes, sie dienen als ein Mittel, um die Verschiedenheit der Dinge leichter und schärfer aufzufassen. Durch den rein logischen Aufbau der Zahlen-Wissenschaft und durch das in ihr gewonnene stetige Zahlen-Reich sind wir erst in den Stand gesetzt, unsere Vorstellungen von Raum und Zeit genau zu untersuchen, indem wir dieselben auf dieses in unserem Geiste geschaffene Zahlen-Reich beziehen.|Autor=Richard Dedekind|Quelle=''Was sind und was sollen die Zahlen?'' Vorwort zur ersten Auflage.<ref>Richard Dedekind, ''[http://www.archive.org/details/wassindundwasso00dedegoog Was sind und was sollen die Zahlen?] 2. unv. Aufl., Verlag Friedrich Vieweg und Sohn, Braunschweig 1893; S. 7–8</ref>}}
{{Zitat|Was beweisbar ist, soll in der Wissenschaft nicht ohne Beweis geglaubt werden. So einleuchtend diese Forderung erscheint, so ist sie doch, wie ich glaube, selbst bei der Begründung der einfachsten Wissenschaft, nämlich desjenigen Theiles der Logik, welcher die Lehre von den Zahlen behandelt, auch nach den neuesten Darstellungen noch keineswegs als erfüllt anzusehen. […] die Zahlen sind freie Schöpfungen des menschlichen Geistes, sie dienen als ein Mittel, um die Verschiedenheit der Dinge leichter und schärfer aufzufassen. Durch den rein logischen Aufbau der Zahlen-Wissenschaft und durch das in ihr gewonnene stetige Zahlen-Reich sind wir erst in den Stand gesetzt, unsere Vorstellungen von Raum und Zeit genau zu untersuchen, indem wir dieselben auf dieses in unserem Geiste geschaffene Zahlen-Reich beziehen.|Autor=Richard Dedekind|Quelle=''Was sind und was sollen die Zahlen?'' Vorwort zur ersten Auflage.<ref>Richard Dedekind: ''[http://www.archive.org/details/wassindundwasso00dedegoog Was sind und was sollen die Zahlen?]'' 2. unv. Auflage. Verlag Friedrich Vieweg und Sohn, Braunschweig 1893, S. 7–8.</ref>}}


Zu unterscheiden sind axiomatische Definitionen von [[Mengenlehre|mengentheoretischen]] Definitionen von Zahlen: Im ersteren Fall wird die Existenz gewisser Objekte mit auf ihnen definierten Verknüpfungen mit bestimmten Eigenschaften in Form von [[Axiom]]en postuliert, so etwa auch bei den frühen Axiomatisierungen der natürlichen und der reellen Zahlen durch Peano und Dedekind. In der Folge der Entwicklung der Mengenlehre durch [[Georg Cantor]] ging man dazu über, zu versuchen, sich auf mengentheoretische Axiome zu beschränken, wie es in der Mathematik heute etwa mit der [[Zermelo-Fraenkel-Mengenlehre]] (ZFC) üblich ist. Die Existenz gewisser Zahlenmengen und Verknüpfungen über ihnen mit gewissen Eigenschaften wird dann aus diesen Axiomen gefolgert. Mitunter wird ein Zahlbereich als eine bestimmte [[Klasse (Mengenlehre)|Klasse]] definiert. Die axiomatische Mengenlehre versucht eine einzige, einheitliche formale Grundlage für die gesamte Mathematik zu sein. Innerhalb ihrer lässt sich auf reichhaltige Weise mit den Zahlbereichen umgehen. Formuliert wird sie in der Regel in der [[Prädikatenlogik erster Stufe]], welche die Struktur der mathematischen Sätze sowie die Möglichkeiten zur Schlussfolgerung aus den Axiomen festlegt.
Zu unterscheiden sind axiomatische Definitionen von [[Mengenlehre|mengentheoretischen]] Definitionen von Zahlen: Im ersteren Fall wird die Existenz gewisser Objekte mit auf ihnen definierten Verknüpfungen mit bestimmten Eigenschaften in Form von [[Axiom]]en postuliert, so etwa auch bei den frühen Axiomatisierungen der natürlichen und der reellen Zahlen durch Peano und Dedekind. In der Folge der Entwicklung der Mengenlehre durch [[Georg Cantor]] ging man dazu über, zu versuchen, sich auf mengentheoretische Axiome zu beschränken, wie es in der Mathematik heute etwa mit der [[Zermelo-Fraenkel-Mengenlehre]] (ZFC) üblich ist. Die Existenz gewisser Zahlenmengen und Verknüpfungen über ihnen mit gewissen Eigenschaften wird dann aus diesen Axiomen gefolgert. Mitunter wird ein Zahlbereich als eine bestimmte [[Klasse (Mengenlehre)|Klasse]] definiert. Die axiomatische Mengenlehre versucht eine einzige, einheitliche formale Grundlage für die gesamte Mathematik zu sein. Innerhalb ihrer lässt sich auf reichhaltige Weise mit den Zahlbereichen umgehen. Formuliert wird sie in der Regel in der [[Prädikatenlogik erster Stufe]], welche die Struktur der mathematischen Sätze sowie die Möglichkeiten zur Schlussfolgerung aus den Axiomen festlegt.
Zeile 41: Zeile 41:
Als mengentheoretische Konzepte werden [[Ordinalzahl|Ordinal]]- und [[Kardinalzahl (Mathematik)|Kardinalzahlen]] in aller Regel mengentheoretisch definiert, ebenso die Verallgemeinerung der [[Surreale Zahl|surrealen Zahlen]].
Als mengentheoretische Konzepte werden [[Ordinalzahl|Ordinal]]- und [[Kardinalzahl (Mathematik)|Kardinalzahlen]] in aller Regel mengentheoretisch definiert, ebenso die Verallgemeinerung der [[Surreale Zahl|surrealen Zahlen]].


Die Peano-Axiome etwa und die auf Dedekind zurückgehende Definition der reellen Zahlen basieren im Gegensatz zu ZFC auf der [[Prädikatenlogik zweiter Stufe]]. Während die Prädikatenlogik erster Stufe eine klare, allgemein akzeptierte Antwort darauf liefert, wie [[Schlussregel|gültige Schlüsse]] vorzunehmen sind, wobei diese sich systematisch [[Berechnung|berechnen]] lassen, führen Versuche, dies für die Prädikatenlogik zweiter Stufe zu klären, meist dazu, dass eine komplexe [[Metatheorie]] eingeführt werden muss, die ihrerseits mengentheoretische Begriffe [[Metasprache|metasprachlich]] einführt und von deren Details die in der Folge erschlossenen Möglichkeiten der Folgerung in der Prädikatenlogik zweiter Stufe abhängen. ZFC ist ein Kandidat für eine solche Theorie.<ref>{{Literatur|Titel=Second-Order Logic and Foundations of Mathematics|Autor=Jouko Väänänen|Jahr=2001|Online=[http://www.math.helsinki.fi/logic/people/jouko.vaananen/VaaSec.pdf online] (PDF; 194&nbsp;kB)|Zugriff=2013-05-02|Seiten=19}}</ref> Diese Einschränkungen lassen die Prädikatenlogik zweiter Stufe in einem Teil der [[Philosophie der Mathematik]] ungeeignet erscheinen, auf grundlegender Ebene verwendet zu werden.<ref>{{Literatur|Titel=Foundations without Foundationalism|TitelErg=A Case for Second-order Logic|Autor=Stewart Shapiro|Verlag=[[Oxford University Press]]|Ort=Oxford|Jahr=1991|ISBN=978-0-19-853391-7|Seiten=vii, 204&nbsp;ff}}</ref> Die Prädikatenlogik erster Stufe dagegen ist nicht hinreichend, um gewisse wichtige intuitive Eigenschaften der natürlichen Zahlen zu formulieren und (bei Betrachtung dieser in einer mengentheoretischen Metatheorie, etwa aufgrund des [[Satz von Löwenheim-Skolem|Satzes von Löwenheim-Skolem]] die Abzählbarkeit) sicherzustellen.
Die Peano-Axiome etwa und die auf Dedekind zurückgehende Definition der reellen Zahlen basieren im Gegensatz zu ZFC auf der [[Prädikatenlogik zweiter Stufe]]. Während die Prädikatenlogik erster Stufe eine klare, allgemein akzeptierte Antwort darauf liefert, wie [[Schlussregel|gültige Schlüsse]] vorzunehmen sind, wobei diese sich systematisch [[Berechnung|berechnen]] lassen, führen Versuche, dies für die Prädikatenlogik zweiter Stufe zu klären, meist dazu, dass eine komplexe [[Metatheorie]] eingeführt werden muss, die ihrerseits mengentheoretische Begriffe [[Metasprache|metasprachlich]] einführt und von deren Details die in der Folge erschlossenen Möglichkeiten der Folgerung in der Prädikatenlogik zweiter Stufe abhängen. ZFC ist ein Kandidat für eine solche Theorie.<ref>{{Literatur|Titel=Second-Order Logic and Foundations of Mathematics|Autor=Jouko Väänänen|Jahr=2001|Online=[http://www.math.helsinki.fi/logic/people/jouko.vaananen/VaaSec.pdf online] (PDF; 194&nbsp;kB)|Zugriff=2013-05-02|Seiten=19}}</ref> Diese Einschränkungen lassen die Prädikatenlogik zweiter Stufe in einem Teil der [[Philosophie der Mathematik]] ungeeignet erscheinen, auf grundlegender Ebene verwendet zu werden.<ref>{{Literatur|Titel=Foundations without Foundationalism|TitelErg=A Case for Second-order Logic|Autor=Stewart Shapiro|Verlag=[[Oxford University Press]] |Ort=Oxford |Jahr=1991 |ISBN=0-19-853391-8 |Seiten=vii, 204&nbsp;ff}}</ref> Die Prädikatenlogik erster Stufe dagegen ist nicht hinreichend, um gewisse wichtige intuitive Eigenschaften der natürlichen Zahlen zu formulieren und (bei Betrachtung dieser in einer mengentheoretischen Metatheorie, etwa aufgrund des [[Satz von Löwenheim-Skolem|Satzes von Löwenheim-Skolem]] die Abzählbarkeit) sicherzustellen.


== Zahlbereiche ==
== Zahlbereiche ==
Zeile 180: Zeile 180:
[[Datei:Os d'Ishango IRSNB.JPG|miniatur|Ishango-Knochen]]
[[Datei:Os d'Ishango IRSNB.JPG|miniatur|Ishango-Knochen]]


Ein genauer Zeitpunkt, seit wann in der Menschheitsgeschichte ein Zahlenverständnis besteht, lässt sich nicht angeben. Die Einkerbungen im vermutlich über 30.000 Jahre alten [[Ishango-Knochen]] und ähnlichen Funden<ref>Ifrah, S. 110.</ref> werden mitunter als [[Zahlzeichen]] interpretiert. Eine Problematik bei solchen frühen Funden besteht darin, zu beurteilen, ob den Einkerbungen tatsächlich eine Betrachtung von Zahlen als abstrakten Objekten zugrunde liegt, oder ob es sich lediglich um [[Zählzeichen]] handelt: Im letzteren Fall dienen die Einkerbungen lediglich als eine Art Werkzeug, um Anzahlen zu vergleichen: Durch Abgleich jeder Kerbe mit einem Objekt lässt sich etwa eine bestimmte Menge abzählen.<ref>Ifrah, S. 27&nbsp;ff.</ref> Zahlen kommen jedoch erst dann ins Spiel, wenn Anzahlen unabhängig von der konkreten Realisierung in Kerben o.&nbsp;ä. betrachtet werden.<ref>{{Literatur|Autor=Thomas Bedürftig, Roman Murawski|Titel=Philosophie der Mathematik|ISBN=978-3-11-019093-9|Verlag=[[De Gruyter]]|Seiten=101|Online=[http://books.google.de/books?id=TeitcIFOKB4C&pg=PA101#v=onepage&q&f=false online]}}</ref> Der Mathematikhistoriker [[Hans-Ludwig Wußing]] geht davon aus, dass abstrakte Zahlenbegriffe erst nach der [[Sesshaftwerdung]], frühestens vor etwa 6.000 Jahren in den frühen [[Hochkultur (Geschichtswissenschaft)|Hochkultur]]en erstmals in Erscheinung traten.<ref>{{Literatur|Autor = [[Hans-Ludwig Wußing]]|Titel = 6000 Jahre Mathematik. Eine kulturgeschichtliche Zeitreise. Von den Anfängen bis Leibniz und Newton|Verlag = Springer|Ort = Berlin u. a.|Jahr = 2008|ISBN = 978-3-540-77189-0|Online=[http://www.springerlink.com/content/978-3-540-77189-0 online]}}</ref> Klarer Hinweis für eine solche Abstraktion ist die Verwendung von [[Zahlensystem]]en, die über das [[Unärsystem]], d.&nbsp;h. einfache [[Strichliste]]n, hinausgehen. Ob eine solche beim Ishango-Knochen vorliegt, ist umstritten.<ref>Anne Hauzeur, in: ''Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures'', S. 1144.</ref> Der heutige [[Mensch]] ist die einzige [[Art (Biologie)|Art]], bei dem ein Zahlenverständnis allgemein wissenschaftlich anerkannt nachgewiesen werden konnte.<ref>Ifrah, S. 21–23.</ref>
Ein genauer Zeitpunkt, seit wann in der Menschheitsgeschichte ein Zahlenverständnis besteht, lässt sich nicht angeben. Die Einkerbungen im vermutlich über 30.000 Jahre alten [[Ishango-Knochen]] und ähnlichen Funden<ref>Ifrah, S. 110.</ref> werden mitunter als [[Zahlzeichen]] interpretiert. Eine Problematik bei solchen frühen Funden besteht darin, zu beurteilen, ob den Einkerbungen tatsächlich eine Betrachtung von Zahlen als abstrakten Objekten zugrunde liegt, oder ob es sich lediglich um [[Zählzeichen]] handelt: Im letzteren Fall dienen die Einkerbungen lediglich als eine Art Werkzeug, um Anzahlen zu vergleichen: Durch Abgleich jeder Kerbe mit einem Objekt lässt sich etwa eine bestimmte Menge abzählen.<ref>Ifrah, S. 27&nbsp;ff.</ref> Zahlen kommen jedoch erst dann ins Spiel, wenn Anzahlen unabhängig von der konkreten Realisierung in Kerben o.&nbsp;ä. betrachtet werden.<ref>{{Literatur|Autor=Thomas Bedürftig, Roman Murawski|Titel=Philosophie der Mathematik|ISBN=978-3-11-019093-9|Verlag=[[De Gruyter]]|Seiten=101|Online=[http://books.google.de/books?id=TeitcIFOKB4C&pg=PA101#v=onepage&q&f=false online]}}</ref> Der Mathematikhistoriker [[Hans-Ludwig Wußing]] geht davon aus, dass abstrakte Zahlenbegriffe erst nach der [[Sesshaftwerdung]], frühestens vor etwa 6.000 Jahren in den frühen [[Hochkultur (Geschichtswissenschaft)|Hochkulturen]] erstmals in Erscheinung traten.<ref>{{Literatur|Autor = [[Hans-Ludwig Wußing]]|Titel = 6000 Jahre Mathematik. Eine kulturgeschichtliche Zeitreise. Von den Anfängen bis Leibniz und Newton|Verlag = Springer|Ort = Berlin u. a.|Jahr = 2008|ISBN = 978-3-540-77189-0|Online=[http://www.springerlink.com/content/978-3-540-77189-0 online]}}</ref> Klarer Hinweis für eine solche Abstraktion ist die Verwendung von [[Zahlensystem]]en, die über das [[Unärsystem]], d.&nbsp;h. einfache [[Strichliste]]n, hinausgehen. Ob eine solche beim Ishango-Knochen vorliegt, ist umstritten.<ref>Anne Hauzeur, in: ''Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures.'' S. 1144.</ref> Der heutige [[Mensch]] ist die einzige [[Art (Biologie)|Art]], bei dem ein Zahlenverständnis allgemein wissenschaftlich anerkannt nachgewiesen werden konnte.<ref>Ifrah, S. 21–23.</ref>


=== Erste Hochkulturen ===
=== Erste Hochkulturen ===
[[Datei:Rhind Mathematical Papyrus.jpg|miniatur|Fragment des Papyrus Rhind, pBM 10057]]
[[Datei:Rhind Mathematical Papyrus.jpg|miniatur|Fragment des Papyrus Rhind, pBM 10057]]


Im [[altes Ägypten|alten Ägypten]] fand mindestens seit ca. 3.000 v.&nbsp;Chr. ein [[additives Zahlensystem]] zur Basis 10 Verwendung zur Darstellung natürlicher Zahlen.<ref>Merzbach, Boyer, S. 10.</ref> Dort wurden die [[Grundrechenarten]] der [[Addition]], [[Subtraktion]], [[Multiplikation]] und [[Division (Mathematik)|Division]] bereits betrieben. Für die ersteren beiden gab es auch besondere Schriftzeichen.<ref>{{Literatur|Autor=Howard Eves|Titel=An introduction to the history of mathematics|Jahr=1990|Verlag=Saunders College Pub.|Ort=Philadelphia|ISBN=0-03-029558-0|Auflage=3.|Seiten=39}}</ref> Besonders bedeutsame Zeugnisse mathematischer Fähigkeiten dieser Kultur sind der [[Moskauer Papyrus]] und der [[Papyrus Rhind]] – beide in [[Hieratische Schrift|hieratischer Schrift]] verfasst in der Zeit zwischen 2000 v.&nbsp;Chr. und 1800 v.&nbsp;Chr. Aus diesem lässt sich über die natürlichen Zahlen hinausgehend eine besondere Notation für [[Stammbruch|Stammbrüche]] entnehmen. Andere Verhältnisse wurden systematisch in Summen von Stammbrüchen überführt (<math>\tfrac{2}{3}</math> besaß jedoch auch ein eigenes Zeichen).<ref>Eves, S. 38.</ref> Motivation der altägyptischen Mathematik waren dabei meist Bauwesen, Landvermessung und Wirtschaft, Beweise finden sich nicht.<ref>Wußing, S. 121.</ref> Jedoch finden sich zum Teil auch Probleme, die als humorvoll oder unterhaltsam intendiert interpretiert werden.<ref>Wußing, S. 118.</ref><ref>Merzbach, Boyer, S. 14.</ref><ref>Eves, S. 40–41.</ref>
Im [[Altes Ägypten|alten Ägypten]] fand mindestens seit ca. 3.000 v.&nbsp;Chr. ein [[additives Zahlensystem]] zur Basis 10 Verwendung zur Darstellung natürlicher Zahlen.<ref>Merzbach, Boyer, S. 10.</ref> Dort wurden die [[Grundrechenarten]] der [[Addition]], [[Subtraktion]], [[Multiplikation]] und [[Division (Mathematik)|Division]] bereits betrieben. Für die ersteren beiden gab es auch besondere Schriftzeichen.<ref>{{Literatur|Autor=Howard Eves|Titel=An introduction to the history of mathematics|Jahr=1990|Verlag=Saunders College Pub.|Ort=Philadelphia|ISBN=0-03-029558-0|Auflage=3.|Seiten=39}}</ref> Besonders bedeutsame Zeugnisse mathematischer Fähigkeiten dieser Kultur sind der [[Moskauer Papyrus]] und der [[Papyrus Rhind]] – beide in [[Hieratische Schrift|hieratischer Schrift]] verfasst in der Zeit zwischen 2000 v.&nbsp;Chr. und 1800 v.&nbsp;Chr. Aus diesem lässt sich über die natürlichen Zahlen hinausgehend eine besondere Notation für [[Stammbruch|Stammbrüche]] entnehmen. Andere Verhältnisse wurden systematisch in Summen von Stammbrüchen überführt (<math>\tfrac{2}{3}</math> besaß jedoch auch ein eigenes Zeichen).<ref>Eves, S. 38.</ref> Motivation der altägyptischen Mathematik waren dabei meist Bauwesen, Landvermessung und Wirtschaft, Beweise finden sich nicht.<ref>Wußing, S. 121.</ref> Jedoch finden sich zum Teil auch Probleme, die als humorvoll oder unterhaltsam intendiert interpretiert werden.<ref>Wußing, S. 118.</ref><ref>Merzbach, Boyer, S. 14.</ref><ref>Eves, S. 40–41.</ref>


Ebenfalls gibt es reichhaltige mathematische Zeugnisse aus dem [[Mesopotamien]] des [[Altertum]]s. In [[Sumerer|sumerischer]] Zeit entwickelte sich dort ein additives Zahlensystem basierend auf den Basen 10 und 60. Aus [[Altbabylonien|altbabylonischer]] Zeit zwischen 1.800 und 1.600 v.&nbsp;Chr. gibt es besonders zahlreiche Funde mit weitergehenden Errungenschaften: Es entstand ein [[sexagesimal]]es [[Stellenwertsystem]], jedoch mit der Einschränkung, dass es keine Ziffer Null gab und die Notation daher uneindeutig war. Innerhalb dieses Systems wurden auch allgemeinere rationale Zahlen in einer der heute gebräuchlichen [[Dezimalbruchentwicklung]] [[Stellenwertsystem#Darstellung rationaler Zahlen|entsprechenden Weise]] dargestellt, d.&nbsp;h. es konnten etwa <math>\tfrac{1}{60}</math>- und <math>\tfrac{1}{3600}</math>-Stellen gebraucht werden. Auf diese Weise nicht darstellbare Brüche oder (in moderner Sprechweise) [[Logarithmus|Logarithmen]], wie sie bei der [[Zinsrechnung]] auftraten, wurden näherungsweise dargestellt. In Gestalt des [[babylonisches Wurzelziehen|babylonischen Wurzelziehens]] wurden auch systematische [[Approximation]]en vorgenommen.<ref>Merzbach, Boyer, S. 23–27.</ref> Zudem wurden Lösungen für [[quadratische Gleichung|quadratische]], [[kubische Gleichung|kubische]] und [[biquadratische Gleichung]]en gefunden. Diese Gleichungen wurden mit geometrischen Begriffen beschrieben (ein in moderner Sprechweise in solchen Gleichungen auftretendes [[Quadrieren|Quadrat]] wurde als Flächeninhalt beschrieben, von dem etwa eine Seitenlänge subtrahiert wird, dass als Flächeninhalte und als Längen bezeichnete Größen addiert werden konnten, legt jedoch ein recht abstraktes, algebraisches Verständnis nahe).<ref>Wußing, S. 140.</ref><ref>Merzbach, Boyer, S. 28–29.</ref> Diese Errungenschaften entstammten praktischen Bedürfnissen der Wirtschaft, des Bauwesens und der Astronomie.<ref>Wußing, S. 142.</ref>
Ebenfalls gibt es reichhaltige mathematische Zeugnisse aus dem [[Mesopotamien]] des [[Altertum]]s. In [[Sumerer|sumerischer]] Zeit entwickelte sich dort ein additives Zahlensystem basierend auf den Basen 10 und 60. Aus [[Altbabylonien|altbabylonischer]] Zeit zwischen 1.800 und 1.600 v.&nbsp;Chr. gibt es besonders zahlreiche Funde mit weitergehenden Errungenschaften: Es entstand ein [[sexagesimal]]es [[Stellenwertsystem]], jedoch mit der Einschränkung, dass es keine Ziffer Null gab und die Notation daher uneindeutig war. Innerhalb dieses Systems wurden auch allgemeinere rationale Zahlen in einer der heute gebräuchlichen [[Dezimalbruchentwicklung]] [[Stellenwertsystem#Darstellung rationaler Zahlen|entsprechenden Weise]] dargestellt, d.&nbsp;h. es konnten etwa <math>\tfrac{1}{60}</math>- und <math>\tfrac{1}{3600}</math>-Stellen gebraucht werden. Auf diese Weise nicht darstellbare Brüche oder (in moderner Sprechweise) [[Logarithmus|Logarithmen]], wie sie bei der [[Zinsrechnung]] auftraten, wurden näherungsweise dargestellt. In Gestalt des [[Babylonisches Wurzelziehen|babylonischen Wurzelziehens]] wurden auch systematische [[Approximation]]en vorgenommen.<ref>Merzbach, Boyer, S. 23–27.</ref> Zudem wurden Lösungen für [[Quadratische Gleichung|quadratische]], [[Kubische Gleichung|kubische]] und [[biquadratische Gleichung]]en gefunden. Diese Gleichungen wurden mit geometrischen Begriffen beschrieben (ein in moderner Sprechweise in solchen Gleichungen auftretendes [[Quadrieren|Quadrat]] wurde als Flächeninhalt beschrieben, von dem etwa eine Seitenlänge subtrahiert wird, dass als Flächeninhalte und als Längen bezeichnete Größen addiert werden konnten, legt jedoch ein recht abstraktes, algebraisches Verständnis nahe).<ref>Wußing, S. 140.</ref><ref>Merzbach, Boyer, S. 28–29.</ref> Diese Errungenschaften entstammten praktischen Bedürfnissen der Wirtschaft, des Bauwesens und der Astronomie.<ref>Wußing, S. 142.</ref>


=== Griechenland ===
=== Griechenland ===
Aus dem [[antikes Griechenland|antiken Griechenland]] sind eine Vielzahl mathematischer Erkenntnisse überliefert. Erstmals (soweit bekannt) kam es hier zu einem ausgeprägten Verständnis von Beweisen,<ref>Merzbach, Boyer, S. 38.</ref> durch die die Ergebnisse in einer der heutigen Mathematik nahekommenden Strenge bewiesen wurden. Eine besondere Bedeutung hatte ab dem 6. Jahrhundert v.&nbsp;Chr. die Schule der [[Pythagoreer]], gegründet von [[Pythagoras von Samos]] (ca. 570–510 v.&nbsp;Chr.), welcher vermutlich durch Reisen nach Ägypten, Mesopotamien und evtl. auch Indien beeinflusst war<ref>Merzbach, Boyer, S. 44.</ref>. In dieser religiösen Gruppierung trennte sich die Mathematik vom aus den Notwendigkeiten des Alltags entspringenden Rechnen<ref>Merzbach, Boyer, S. 45.</ref>, wobei (natürliche) Zahlen eine zentrale Rolle spielten. Die Überlieferungslage bezüglich dieser Zeit der Mathematikgeschichte, den mutmaßlich etwas früher lebenden [[Thales von Milet]] mit eingeschlossen, ist allerdings noch sehr dünn, die meisten Dokumente stammen aus späterer Zeit, sodass sich nicht sicher sagen lässt, welche Konzepte dort schon bekannt waren und mit welcher Methodik verfahren wurde.<ref>Wußing, S. 174.</ref>
Aus dem [[Antikes Griechenland|antiken Griechenland]] sind eine Vielzahl mathematischer Erkenntnisse überliefert. Erstmals (soweit bekannt) kam es hier zu einem ausgeprägten Verständnis von Beweisen,<ref>Merzbach, Boyer, S. 38.</ref> durch die die Ergebnisse in einer der heutigen Mathematik nahekommenden Strenge bewiesen wurden. Eine besondere Bedeutung hatte ab dem 6. Jahrhundert v.&nbsp;Chr. die Schule der [[Pythagoreer]], gegründet von [[Pythagoras von Samos]] (ca. 570–510 v.&nbsp;Chr.), welcher vermutlich durch Reisen nach Ägypten, Mesopotamien und evtl. auch Indien beeinflusst war.<ref>Merzbach, Boyer, S. 44.</ref> In dieser religiösen Gruppierung trennte sich die Mathematik vom aus den Notwendigkeiten des Alltags entspringenden Rechnen,<ref>Merzbach, Boyer, S. 45.</ref> wobei (natürliche) Zahlen eine zentrale Rolle spielten. Die Überlieferungslage bezüglich dieser Zeit der Mathematikgeschichte, den mutmaßlich etwas früher lebenden [[Thales von Milet]] mit eingeschlossen, ist allerdings noch sehr dünn, die meisten Dokumente stammen aus späterer Zeit, sodass sich nicht sicher sagen lässt, welche Konzepte dort schon bekannt waren und mit welcher Methodik verfahren wurde.<ref>Wußing, S. 174.</ref>


Aus nicht vollständig geklärten Gründen legte die darauffolgende griechische Mathematik einen großen Wert auf die [[Geometrie]], trotz des Einflusses der Pythagoreer, unter denen die Arithmetik als grundlegend aufgefasst worden war.<ref>Merzbach, Boyer, S. 47.</ref> Bedeutende Protagonisten waren hier [[Eudoxos von Knidos]] (* zw. ca. 397 und 390 v.&nbsp;Chr., † zw. ca. 345 und 338 v.&nbsp;Chr.) und [[Euklid]] (ca. 360–280 v.&nbsp;Chr.).
Aus nicht vollständig geklärten Gründen legte die darauffolgende griechische Mathematik einen großen Wert auf die [[Geometrie]], trotz des Einflusses der Pythagoreer, unter denen die Arithmetik als grundlegend aufgefasst worden war.<ref>Merzbach, Boyer, S. 47.</ref> Bedeutende Protagonisten waren hier [[Eudoxos von Knidos]] (* zw. ca. 397 und 390 v.&nbsp;Chr., † zw. ca. 345 und 338 v.&nbsp;Chr.) und [[Euklid]] (ca. 360–280 v.&nbsp;Chr.).
Zeile 198: Zeile 198:
Die Existenz der inkommensurablen Verhältnisse war spätestens seit [[Aristoteles]] (384–322 v.&nbsp;Chr.), welcher einen recht allgemeinen Beweis lieferte, womöglich aber schon vor 400 v.&nbsp;Chr.<ref>Merzbach, Boyer, S. 70.</ref> in Griechenland bekannt. Dies zeigte die Unmöglichkeit des pythagoreischen Ansatzes, die in der Geometrie auftretenden Verhältnisse mittels der Arithmetik zu beschreiben – in heutiger Begrifflichkeit eine Unzulänglichkeit der rationalen Zahlen.<ref>Merzbach, Boyer, S. 65–67.</ref> Der Übergang zu einer geometrischen Grundlegung, die den Umgang mit solchen Verhältnissen erlaubte, wird maßgeblich auf Eudoxos zurückgeführt, welcher selbst noch Schüler des bedeutenden Pythagoreers [[Archytas]] gewesen war, welcher die Arithmetik als einzige mögliche Grundlage für Beweise ansah.<ref>{{Literatur|Autor=[[Morris Kline]]|Titel=Mathematical Thought from Ancient to Modern Times|Band=Bd. 1|Verlag=[[Oxford University Press]]|Ort=New York, Oxford|Jahr=1972|ISBN=0-19-506135-7|Seiten=48–49}}</ref>
Die Existenz der inkommensurablen Verhältnisse war spätestens seit [[Aristoteles]] (384–322 v.&nbsp;Chr.), welcher einen recht allgemeinen Beweis lieferte, womöglich aber schon vor 400 v.&nbsp;Chr.<ref>Merzbach, Boyer, S. 70.</ref> in Griechenland bekannt. Dies zeigte die Unmöglichkeit des pythagoreischen Ansatzes, die in der Geometrie auftretenden Verhältnisse mittels der Arithmetik zu beschreiben – in heutiger Begrifflichkeit eine Unzulänglichkeit der rationalen Zahlen.<ref>Merzbach, Boyer, S. 65–67.</ref> Der Übergang zu einer geometrischen Grundlegung, die den Umgang mit solchen Verhältnissen erlaubte, wird maßgeblich auf Eudoxos zurückgeführt, welcher selbst noch Schüler des bedeutenden Pythagoreers [[Archytas]] gewesen war, welcher die Arithmetik als einzige mögliche Grundlage für Beweise ansah.<ref>{{Literatur|Autor=[[Morris Kline]]|Titel=Mathematical Thought from Ancient to Modern Times|Band=Bd. 1|Verlag=[[Oxford University Press]]|Ort=New York, Oxford|Jahr=1972|ISBN=0-19-506135-7|Seiten=48–49}}</ref>


Eudoxos lieferte eine Definition der Gleichheit zweier geometrischer Verhältnisse (von Längen oder Flächen): Zwei Verhältnisse sind demzufolge gleich, wenn alle – in moderner Interpretation – rationalen Verhältnisse, die kleiner bzw. größer sind als das eine Verhältnis, auch kleiner bzw. größer sind als das andere.<ref>Ebbinghaus, S. 26–27.</ref> Diese Definition gilt sogar analog für den heutigen Begriff der reellen Zahlen. Einige Stimmen sahen oder sehen hierin bereits ein Vorhandensein der reellen Zahlen in der griechischen Mathematik.<ref>{{Internetquelle|url=http://www.math.ucla.edu/~brodgers/realnumberhistory.pdf|autor=Brad Rogers|titel=A History of Real Numbers, and the First Crisis of Western Knowledge|zugriff=2012-12-22|format=PDF; 94&nbsp;kB}}</ref><ref>Wußing, S. 263.</ref><ref name="mactutor-eudoxos">{{MacTutor Biography|id=Eudoxus|title=Eudoxus of Cnidus}}</ref> Diese Aussagen sind jedoch problematisch<ref name="mactutor-eudoxos"/>: Zum einen war eben nicht einmal das Konzept der rationalen Zahlen vorhanden, zum anderen wurde nichts darüber ausgesagt, dass bestimmte Verhältnisse existieren, sodass diese etwa [[ordnungsvollständig]] sind, sondern vielmehr durch die Geometrie ''gegebene'' Verhältnisse untersucht. In jedem Fall ermöglichte diese Definition eine Vielzahl von Beweisen, deren Techniken wie die [[Exhaustionsmethode]] als Vorläufer heutiger Begriffe der [[Analysis]] gelten, wobei gewisse Abschätzungen bereits eine zentrale Rolle spielten. Zudem war [[Richard Dedekind]] bei [[Dedekindscher Schnitt|seiner Definition]] der reellen Zahlen eigenen Angaben zufolge durch Eudoxos inspiriert.<ref name="mactutor-eudoxos"/>
Eudoxos lieferte eine Definition der Gleichheit zweier geometrischer Verhältnisse (von Längen oder Flächen): Zwei Verhältnisse sind demzufolge gleich, wenn alle – in moderner Interpretation – rationalen Verhältnisse, die kleiner bzw. größer sind als das eine Verhältnis, auch kleiner bzw. größer sind als das andere.<ref>Ebbinghaus, S. 26–27.</ref> Diese Definition gilt sogar analog für den heutigen Begriff der reellen Zahlen. Einige Stimmen sahen oder sehen hierin bereits ein Vorhandensein der reellen Zahlen in der griechischen Mathematik.<ref>{{Internetquelle|url=http://www.math.ucla.edu/~brodgers/realnumberhistory.pdf|autor=Brad Rogers|titel=A History of Real Numbers, and the First Crisis of Western Knowledge|zugriff=2012-12-22|format=PDF; 94&nbsp;kB}}</ref><ref>Wußing, S. 263.</ref><ref name="mactutor-eudoxos">{{MacTutor Biography|id=Eudoxus|title=Eudoxus of Cnidus}}</ref> Diese Aussagen sind jedoch problematisch:<ref name="mactutor-eudoxos" /> Zum einen war eben nicht einmal das Konzept der rationalen Zahlen vorhanden, zum anderen wurde nichts darüber ausgesagt, dass bestimmte Verhältnisse existieren, sodass diese etwa [[ordnungsvollständig]] sind, sondern vielmehr durch die Geometrie ''gegebene'' Verhältnisse untersucht. In jedem Fall ermöglichte diese Definition eine Vielzahl von Beweisen, deren Techniken wie die [[Exhaustionsmethode]] als Vorläufer heutiger Begriffe der [[Analysis]] gelten, wobei gewisse Abschätzungen bereits eine zentrale Rolle spielten. Zudem war [[Richard Dedekind]] bei [[Dedekindscher Schnitt|seiner Definition]] der reellen Zahlen eigenen Angaben zufolge durch Eudoxos inspiriert.<ref name="mactutor-eudoxos" />


[[Datei:Domenico-Fetti Archimedes 1620.jpg|thumb|''Archimedes'', ein Gemälde von [[Domenico Fetti]] aus dem Jahr 1620]]
[[Datei:Domenico-Fetti Archimedes 1620.jpg|mini|''Archimedes'', ein Gemälde von [[Domenico Fetti]] aus dem Jahr 1620]]
[[Archimedes von Syrakus]] (287–212 v.&nbsp;Chr.), welcher aufbauend auf Eudoxos besonders weitreichende Beweise für bestimmte geometrische Verhältnisse sowie bestimmte Näherungen lieferte, gilt auch als erste Person, die [[Infinitesimalzahl|infinitesimale]] Größen einführte: Im [[Palimpsest des Archimedes]] wandte er ein Prinzip vergleichbar dem [[Prinzip von Cavalieri]] an, bei dem eine Fläche in unendlich viele ''infinitesimale'' Linien zerlegt wird. Eine solche Vorgehensweise entsprach schon damals nicht den Ansprüchen an einen mathematischen Beweis, Archimedes sah in diesem [[Mechanik|mechanisch]] motivierten Verfahren jedoch ein nützliches Werkzeug, um an ein Problem heranzugehen und später einfacher einen korrekten Beweis finden zu können.<ref>{{Internetquelle|url=http://archimedespalimpsest.org/about/scholarship/method-infinity.php|autor=[[Reviel Netz]]|titel=Methods of Infinity|hrsg=The Archimedes Palimpsest Project|zugriff=2012-11-07}}</ref> Die Existenz von von Null verschiedenen infinitesimalen Größen widerspricht der Definition des Eudoxos von Gleichheit und auch dem von Archimedes selbst aufgestellten sogenannten ''[[Archimedisches Axiom|Archimedischen Axiom]]''.
[[Archimedes von Syrakus]] (287–212 v.&nbsp;Chr.), welcher aufbauend auf Eudoxos besonders weitreichende Beweise für bestimmte geometrische Verhältnisse sowie bestimmte Näherungen lieferte, gilt auch als erste Person, die [[Infinitesimalzahl|infinitesimale]] Größen einführte: Im [[Palimpsest des Archimedes]] wandte er ein Prinzip vergleichbar dem [[Prinzip von Cavalieri]] an, bei dem eine Fläche in unendlich viele ''infinitesimale'' Linien zerlegt wird. Eine solche Vorgehensweise entsprach schon damals nicht den Ansprüchen an einen mathematischen Beweis, Archimedes sah in diesem [[Mechanik|mechanisch]] motivierten Verfahren jedoch ein nützliches Werkzeug, um an ein Problem heranzugehen und später einfacher einen korrekten Beweis finden zu können.<ref>{{Internetquelle|url=http://archimedespalimpsest.org/about/scholarship/method-infinity.php|autor=[[Reviel Netz]]|titel=Methods of Infinity|hrsg=The Archimedes Palimpsest Project|zugriff=2012-11-07}}</ref> Die Existenz von von Null verschiedenen infinitesimalen Größen widerspricht der Definition des Eudoxos von Gleichheit und auch dem von Archimedes selbst aufgestellten sogenannten ''[[Archimedisches Axiom|Archimedischen Axiom]]''.


Zeile 211: Zeile 211:


== Literatur ==
== Literatur ==
* {{Literatur|Autor=[[Heinz-Dieter Ebbinghaus]] et. al.|Titel=Zahlen|Verlag=[[Springer Science+Business Media|Springer]]|Ort=Berlin|Jahr=1992|ISBN=3-540-55654-0}}
* {{Literatur|Autor=[[Heinz-Dieter Ebbinghaus]] et. al.|Titel=Zahlen|Verlag=[[Springer Science+Business Media|Springer]] |Ort=Berlin |Jahr=1992 |ISBN=3-540-55654-0}}
* {{Literatur|Autor=Georges Ifrah|Titel=Universalgeschichte der Zahlen|Verlag=Parkland|Ort=Köln|Jahr=1998|ISBN=3-88059-956-4}}
* {{Literatur|Autor=Georges Ifrah|Titel=Universalgeschichte der Zahlen |Verlag=Parkland |Ort=Köln |Jahr=1998 |ISBN=3-88059-956-4}}
* {{Literatur|Autor=[[Heinz Lüneburg]]|Titel=Von Zahlen und Größen|TitelErg=Dritteinhalb Jahre Theorie und Praxis|Verlag=[[Birkhäuser Verlag|Birkhäuser]]|ISBN=3-7643-8776-1|Ort=Basel|Jahr=2008}}.
* {{Literatur|Autor=[[Heinz Lüneburg]]|Titel=Von Zahlen und Größen|TitelErg=Dritteinhalb Jahre Theorie und Praxis|Verlag=[[Birkhäuser Verlag|Birkhäuser]] |ISBN=978-3-7643-8776-1 |Ort=Basel |Jahr=2008}}.
* [[Albrecht Beutelspacher]]: ''Zahlen – Geschichte, Gesetze, Geheimnisse'' [[Verlag C.H. Beck]], München 2013, ISBN 978-3-406-64871-7.
* [[Albrecht Beutelspacher]]: ''Zahlen – Geschichte, Gesetze, Geheimnisse.'' [[Verlag C.H. Beck]], München 2013, ISBN 978-3-406-64871-7.


== Weblinks ==
== Weblinks ==
Zeile 223: Zeile 223:


== Einzelnachweise ==
== Einzelnachweise ==
<references/>
<references />


[[Kategorie:Zahl| ]]
[[Kategorie:Zahl| ]]

Version vom 29. Dezember 2014, 10:15 Uhr

Übersicht über einige gängige Zahlbereiche. bedeutet, dass die Elemente des Zahlbereiches unter Beibehaltung wesentlicher Beziehungen auch als Elemente des Zahlbereichs aufgefasst werden können. Echte Klassen sind in blau markiert.

Zahlen sind abstrakte, mathematische Objekte beziehungsweise Objekte des Denkens, die sich historisch aus Vorstellungen von Größe und Anzahl entwickelten. Durch eine Messung wird ein als Größe verstandener Aspekt einer Beobachtung mit einer Zahl in Verbindung gebracht, beispielsweise bei einer Zählung. Sie spielen daher für die empirischen Wissenschaften eine zentrale Rolle.[1]

In der Mathematik, welche Zahlen und ihre Struktur formal untersucht, schließt der Begriff sehr verschiedenartige Konzepte mit ein. Diese entwickelten sich als Verallgemeinerungen bestehender intuitiver Zahlkonzepte, sodass man sie ebenfalls als Zahlen bezeichnet, obwohl sie teilweise wenig Bezug zu den ursprünglich mit Messungen verbundenen Konzepten haben. Manche dieser Konzepte sind in der Mathematik von grundlegender Bedeutung und finden Verwendung in nahezu allen Teilgebieten.

In die Urgeschichte zurück reicht das Konzept der natürlichen Zahlen, welche zum Zählen verwendet werden können und grundlegende Bedeutung besitzen. Ab etwa 2000 v. Chr. rechneten Ägypter und Babylonier mit Bruchzahlen (rationalen Zahlen). In Indien entwickelte sich im 7. Jhd. n. Chr. ein Verständnis von der Null und den negativen Zahlen.[2] Irrationale Zahlen wie oder , deren Notwendigkeit sich aus Erkenntnissen aus dem antiken Griechenland ergab (spätestens ab dem 4. Jhd. v. Chr.), wurden in der Blütezeit des Islam eingeführt.

Die Idee imaginärer Zahlen, durch die die reellen Zahlen später zu den bedeutenden komplexen Zahlen erweitert wurden, reicht in die europäische Renaissance zurück. Der Begriff der reellen Zahl konnte erst im 19. Jahrhundert hinreichend geklärt werden. Ende des 19. Jhd. konnte erstmals auch unendlichen Größen ein präziser Sinn als Zahlen gegeben werden. Auch wurden erstmals die natürlichen Zahlen axiomatisch definiert. Mit den Anfang des 20. Jhd. geschaffenen ersten zufriedenstellenden Grundlagen der Mathematik erfuhren auch die bedeutendsten Zahlbegriffe eine dem heutigen Stand entsprechende vollständig formale Definition und Bedeutung.

Vom Begriff der Zahl abzugrenzen sind Ziffern (spezielle Zahlzeichen; zur Darstellung bestimmter Zahlen verwendete Schriftzeichen), Zahlschriften (Schreibweisen von Zahlen z. B. mit Hilfe von Ziffern unter Verwendung bestimmter Regeln), Zahlwörter (Numerale, zur Benennung bestimmter Zahlen verwendete Wörter) und Nummern (Identifikatoren, die selbst Zahlen, oder aber – in der Regel Ziffern enthaltende – Zeichenketten sein können).

Etymologie

Das deutsche Wort Zahl geht vermutlich auf das urgermanische Wort *talō (Berechnung, Zahl, Rede)[3][4] zurück, das vermutlich Wurzel der althochdeutschen Wörter zala (Ordnung, geordnete Darlegung, Bericht, Aufzählung)[5] und zalōn (berichten, rechnen, zählen,[5] berechnen, zahlen[6]) ist. Aus zala wurde im Mittelhochdeutschen zale oder zal,[5] auf das das heutige Wort Zahl zurückgeht.

Das urgermanische Wort findet seinen Ursprung vermutlich in einem urindogermanischen Etymon *del- (zielen, berechnen, nachstellen).[6][3] Auch ein Zusammenhang mit dem urindogermanischen *del- (spalten)[6] ist möglich; die ursprüngliche Bedeutung wäre dann möglicherweise „eingekerbtes Merkzeichen“[7].[8]

Verknüpfungen von Zahlen

Die Mathematik untersucht Beziehungen zwischen mathematischen Objekten und beweist strukturelle Eigenschaften in diesen Beziehungen. Elementare Beispiele für zwischen Zahlen definierte Beziehungen sind etwa die allgemein bekannten Rechenoperationen (Grundrechenarten) über den rationalen Zahlen (Brüche), Vergleiche („kleiner“, „größer“, „größer gleich“ etc.) zwischen rationalen Zahlen und die Teilbarkeitsrelation zwischen ganzen Zahlen („3 ist ein Teiler von 9“). Zudem werden Eigenschaften über bestimmten Zahlen definiert, zum Beispiel ist über den ganzen Zahlen die Eigenschaft definiert, eine Primzahl zu sein.

Solche Verknüpfungen sind nicht als vom Zahlbegriff unabhängige willkürliche Operationen zu verstehen, vielmehr werden bestimmte Zahlbereiche meist untrennbar von bestimmten Verknüpfungen betrachtet, da diese die zu untersuchende Struktur maßgeblich bestimmen. Spricht man etwa über die natürlichen Zahlen, gebraucht man fast immer zumindest auch ihre Ordnung („“, „“), welche maßgeblich unseren Begriff von natürlichen Zahlen bestimmt.

In der Schulmathematik, der Informatik und der numerischen Mathematik befasst man sich mit Verfahren, um solche Verknüpfungen auf konkreten Darstellungen von Zahlen auszuwerten (Rechnen). Als Beispiel sei hier die schriftliche Addition genannt: Unter Verwendung der Darstellung von Zahlen in einem Stellenwertsystem ist es hier möglich, durch systematisches Abarbeiten der Ziffern eine Darstellung für die Summe der beiden Zahlen zu erlangen. In der Informatik und der numerischen Mathematik werden solche Verfahren entwickelt und auf ihre Leistungsfähigkeit hin untersucht. Einige solcher Verfahren sind von fundamentaler Bedeutung für die heutigen Computer.

In der abstrakten Algebra befasst man sich mit der Struktur von Verallgemeinerungen solcher Zahlbereiche, wobei nur noch das Vorhandensein von Verknüpfungen mit gewissen Eigenschaften über einer beliebigen Menge von Objekten vorausgesetzt wird, welche die Struktur der Verknüpfungen nicht eindeutig bestimmen, sondern viele verschiedene konkrete Strukturen mit diesen Eigenschaften (Modelle) zulassen (siehe algebraische Struktur). Ihre Resultate lassen sich auf konkrete Zahlbereiche anwenden, welche wiederum in der abstrakten Algebra als Motivation und elementare Beispiele dienen können.

Die Zahlentheorie behandelt Eigenschaften (im weiteren Sinne) von Zahlen, etwa Existenz, Häufigkeit und Verteilung von Zahlen mit bestimmten Eigenschaften. Eigenschaften transfiniter (in bestimmten Sinnen „unendlicher“ Zahlen) sind allerdings Gegenstand der Mengenlehre.

In der Mathematik werden solche Verknüpfungen, Beziehungen und Eigenschaften als Prädikate oder Relationen, einschließlich Funktionen, aufgefasst.

Definition von Zahlen

Der Begriff der Zahl ist nicht mathematisch definiert, sondern ist ein gemeinsprachlicher Oberbegriff für verschiedene mathematische Konzepte. Daher gibt es im mathematischen Sinn keine Menge aller Zahlen oder dergleichen. Die Mathematik spricht, wenn sie sich mit Zahlen befasst, stets über bestimmte wohldefinierte Zahlbereiche, d. h. nur über bestimmte Objekte unseres Denkens mit festgelegten Eigenschaften, die salopp alle als Zahlen bezeichnet werden. Seit dem Ende des 19. Jahrhunderts werden in der Mathematik Zahlen rein mittels der Logik unabhängig von Vorstellungen von Raum und Zeit definiert. Grundsteine wurden hier von Richard Dedekind und Giuseppe Peano mit der Axiomatisierung der natürlichen Zahlen (s. Peano-Axiome) gelegt. Dedekind schreibt zu diesem neuen Ansatz:

„Was beweisbar ist, soll in der Wissenschaft nicht ohne Beweis geglaubt werden. So einleuchtend diese Forderung erscheint, so ist sie doch, wie ich glaube, selbst bei der Begründung der einfachsten Wissenschaft, nämlich desjenigen Theiles der Logik, welcher die Lehre von den Zahlen behandelt, auch nach den neuesten Darstellungen noch keineswegs als erfüllt anzusehen. […] die Zahlen sind freie Schöpfungen des menschlichen Geistes, sie dienen als ein Mittel, um die Verschiedenheit der Dinge leichter und schärfer aufzufassen. Durch den rein logischen Aufbau der Zahlen-Wissenschaft und durch das in ihr gewonnene stetige Zahlen-Reich sind wir erst in den Stand gesetzt, unsere Vorstellungen von Raum und Zeit genau zu untersuchen, indem wir dieselben auf dieses in unserem Geiste geschaffene Zahlen-Reich beziehen.“

Richard Dedekind: Was sind und was sollen die Zahlen? Vorwort zur ersten Auflage.[9]

Zu unterscheiden sind axiomatische Definitionen von mengentheoretischen Definitionen von Zahlen: Im ersteren Fall wird die Existenz gewisser Objekte mit auf ihnen definierten Verknüpfungen mit bestimmten Eigenschaften in Form von Axiomen postuliert, so etwa auch bei den frühen Axiomatisierungen der natürlichen und der reellen Zahlen durch Peano und Dedekind. In der Folge der Entwicklung der Mengenlehre durch Georg Cantor ging man dazu über, zu versuchen, sich auf mengentheoretische Axiome zu beschränken, wie es in der Mathematik heute etwa mit der Zermelo-Fraenkel-Mengenlehre (ZFC) üblich ist. Die Existenz gewisser Zahlenmengen und Verknüpfungen über ihnen mit gewissen Eigenschaften wird dann aus diesen Axiomen gefolgert. Mitunter wird ein Zahlbereich als eine bestimmte Klasse definiert. Die axiomatische Mengenlehre versucht eine einzige, einheitliche formale Grundlage für die gesamte Mathematik zu sein. Innerhalb ihrer lässt sich auf reichhaltige Weise mit den Zahlbereichen umgehen. Formuliert wird sie in der Regel in der Prädikatenlogik erster Stufe, welche die Struktur der mathematischen Sätze sowie die Möglichkeiten zur Schlussfolgerung aus den Axiomen festlegt.

Ein elementares Beispiel einer mengentheoretischen Definition einer Menge von Zahlen ist die von John von Neumann eingeführte Definition der natürlichen Zahlen als die kleinste induktive Menge, deren Existenz im Rahmen der Zermelo-Fraenkel-Mengenlehre durch das Unendlichkeitsaxiom postuliert wird.

Als mengentheoretische Konzepte werden Ordinal- und Kardinalzahlen in aller Regel mengentheoretisch definiert, ebenso die Verallgemeinerung der surrealen Zahlen.

Die Peano-Axiome etwa und die auf Dedekind zurückgehende Definition der reellen Zahlen basieren im Gegensatz zu ZFC auf der Prädikatenlogik zweiter Stufe. Während die Prädikatenlogik erster Stufe eine klare, allgemein akzeptierte Antwort darauf liefert, wie gültige Schlüsse vorzunehmen sind, wobei diese sich systematisch berechnen lassen, führen Versuche, dies für die Prädikatenlogik zweiter Stufe zu klären, meist dazu, dass eine komplexe Metatheorie eingeführt werden muss, die ihrerseits mengentheoretische Begriffe metasprachlich einführt und von deren Details die in der Folge erschlossenen Möglichkeiten der Folgerung in der Prädikatenlogik zweiter Stufe abhängen. ZFC ist ein Kandidat für eine solche Theorie.[10] Diese Einschränkungen lassen die Prädikatenlogik zweiter Stufe in einem Teil der Philosophie der Mathematik ungeeignet erscheinen, auf grundlegender Ebene verwendet zu werden.[11] Die Prädikatenlogik erster Stufe dagegen ist nicht hinreichend, um gewisse wichtige intuitive Eigenschaften der natürlichen Zahlen zu formulieren und (bei Betrachtung dieser in einer mengentheoretischen Metatheorie, etwa aufgrund des Satzes von Löwenheim-Skolem die Abzählbarkeit) sicherzustellen.

Zahlbereiche

Einige wichtige Zahlbereiche seien hier in ihrem mathematischen Kontext vorgestellt. Im Laufe der Geschichte der Mathematik wurden immer weitere Zahlbereiche eingeführt, um gegenüber bisherigen Zahlbereichen bestimmte Probleme allgemeiner behandeln zu können. Insbesondere wurden bestehende Zahlbereiche durch Hinzufügen zusätzlicher Elemente zu neuen Zahlbereichen erweitert, um über gewisse Operationen allgemeiner sprechen zu können, siehe hierzu auch den Artikel zur Zahlbereichserweiterung.

Zum Begriff des Zahlbereichs siehe den Abschnitt zur Definition.

Natürliche Zahlen

Die natürlichen Zahlen 1, 2, 3, 4, 5, … oder 0, 1, 2, 3, 4, 5, … bilden diejenige Menge von Zahlen, die üblicherweise zum Zählen verwendet wird, wobei je nach Definition die Null miteingeschlossen wird oder nicht. Die natürlichen Zahlen sind mit einer Ordnung („kleiner“) versehen. Es gibt ein kleinstes Element (je nach Definition die Null oder die Eins) und jedes Element hat einen Nachfolger und ist kleiner als sein Nachfolger. Indem man ausgehend vom kleinsten Element immer wieder den Nachfolger bildet, erreicht man schließlich jede natürliche Zahl und sukzessive immer weitere, sodass es ihrer unendlich viele gibt. Die natürlichen Zahlen sind zudem mit Addition und Multiplikation versehen, je zwei natürlichen Zahlen lassen sich damit eine Summe und ein Produkt zuordnen, die wieder natürliche Zahlen sind. Diese Operationen sind assoziativ und kommutativ, zudem sind sie im Sinne des Distributivgesetzes miteinander verträglich: . Diese drei Eigenschaften sind auch grundlegend für viele allgemeinere Zahlbereiche wie die ganzen, rationalen, reellen und komplexen Zahlen. Die Ordnung der natürlichen Zahlen ist in gewisser Hinsicht mit der Addition und Multiplikation verträglich: Sie ist verschiebungsinvariant, d. h. für natürliche Zahlen folgt aus auch , zusätzlich zur Verschiebungsinvarianz folgt auch .

Die Existenz der Menge aller natürlichen Zahlen wird in der Mengenlehre durch das Unendlichkeitsaxiom sichergestellt.

Diese Menge wird mit oder bezeichnet.

Ganze Zahlen

In der Menge der natürlichen Zahlen existiert für zwei Zahlen keine natürliche Zahl , sodass . Die ganzen Zahlen erweitern die natürlichen Zahlen so, dass für zwei beliebige Elemente eine solche Zahl existiert. Hierzu fügt man die negativen Zahlen den natürlichen Zahlen hinzu: Zu jeder natürlichen Zahl existiert eine zweite ganze Zahl , sodass , welche als additives Inverses bezeichnet wird. Die obige Zahl , genannt Differenz, ist dann als , kurz , gegeben. Hierdurch ist die Subtraktion auf den ganzen Zahlen definiert, welche jedoch im Wesentlichen eine Kurzschreibweise darstellt.

Die Ordnung über den natürlichen Zahlen wird auf die ganzen Zahlen erweitert, hierbei gibt es kein kleinstes Element mehr, dafür hat jedes Element einen Vorgänger und einen Nachfolger (der Vorgänger der ist die , der der die etc.). Die Verträglichkeit mit der Addition, die Verschiebungsinvarianz, bleibt dabei erhalten. Zudem ist das Produkt von zwei ganzen Zahlen größer Null stets wiederum größer Null.

Die ganzen Zahlen bilden einen Ring.

Die Menge der ganzen Zahlen wird mit oder bezeichnet.

Rationale Zahlen

Ebenso wie die natürlichen Zahlen zu den ganzen Zahlen erweitert werden, um ein additives Inverses und die Subtraktion zu erhalten, erweitert man die ganzen Zahlen zu den rationalen Zahlen, um ein multiplikatives Inverses und die Division zu erhalten. D. h. die rationalen Zahlen enthalten die ganzen Zahlen und zu jeder ganzen Zahl fügt man die genannte Zahl (Stammbruch) als multiplikatives Inverses hinzu, sodass . Zudem soll das Produkt zweier beliebiger rationaler Zahlen definiert sein, allgemein erhält man rationale Zahlen der Form , genannt Bruch, wobei eine ganze Zahl mit dem Bruch identifiziert wird. Für ganze Zahlen werden die Brüche und miteinander identifiziert; diese Identifizierung wird auch als Erweitern und Kürzen bezeichnet. Somit erhält man eine mit der Multiplikation ganzer Zahlen kompatible Multiplikation und Division.

Mittels der Dezimalbruchdarstellung lässt sich eine mit der Ordnung der ganzen Zahlen kompatible Ordnung definieren, die auch die Verträglichkeit mit Addition und Multiplikation erhält.

Die rationalen Zahlen bilden einen (geordneten) Körper. Die Konstruktion der rationalen Zahlen aus den ganzen Zahlen wird verallgemeinert als Quotientenkörperbildung zu einem Ring.

Die Menge der rationalen Zahlen wird mit oder bezeichnet.

Algebraische Erweiterungen

Mit der Addition und Multiplikation ganzer oder rationaler Zahlen lassen sich sogenannte Polynomfunktionen definieren: Jeder ganzen bzw. rationalen Zahl wird dabei eine Summe von Potenzen multipliziert mit konstanten Zahlen (Koeffizienten) zugeordnet. Etwa einer beliebigen Zahl der Wert definiert als . Für viele solcher Polynomfunktionen existiert keine rationale Zahl, sodass der Wert der Polynomfunktion an dieser Stelle gleich Null wird (Nullstelle). Fügt man nun Nullstellen bestimmter Polynomfunktionen den rationalen Zahlen hinzu, wobei Multiplikation und Addition wohldefiniert bleiben, erhält man eine algebraische Erweiterung. Erweitert man die rationalen Zahlen um solche Nullstellen für alle nicht-konstanten Polynome, erhält man die algebraischen Zahlen. Erweitert man die ganzen Zahlen um Nullstellen für alle nicht-konstanten Polynome, deren Koeffizienten ganzzahlig sind und deren Koeffizient zur höchsten Potenz ist, so erhält man die ganzalgebraischen Zahlen.

Algebraische Erweiterungen werden in der Körpertheorie, insbesondere in der Galois-Theorie, untersucht.

Reelle Zahlen

Betrachtet man Probleme wie etwa das Finden von Nullstellen von Polynomfunktionen über den rationalen Zahlen, stellt man fest, dass sich in den rationalen Zahlen beliebig gute Näherungen konstruieren lassen: Etwa findet sich bei zahlreichen Polynomfunktionen zu jeder festgelegten Toleranz eine rationale Zahl, sodass der Wert der Polynomfunktion an dieser Stelle höchstens um die Toleranz von der Null abweicht. Zudem kann man die Näherungslösungen so wählen, dass sie „nah beieinander“ liegen, denn Polynomfunktionen sind stetig („weisen keine ‚Sprünge‘ auf“). Dieses Verhalten tritt nicht nur bei Nullstellen von Polynomfunktionen auf, sondern auch bei zahlreichen weiteren mathematischen Problemen, die eine gewisse Stetigkeit aufweisen, sodass man dazu übergeht, die Existenz einer Lösung zu garantieren, sobald beliebig gute Näherungen durch nahe beieinander gelegene rationale Zahlen existieren. Eine solche Lösung nennt man dann eine reelle Zahl. Um die Existenz solcher Lösungen zu zeigen, reicht es zu fordern, dass es zu jeder Menge rationaler Zahlen, die nicht beliebig große Zahlen enthält, unter den reellen Zahlen, die größer oder gleich als all diese Elemente der Menge sind, eine kleinste gibt. Alternativ lassen sich die reellen Zahlen explizit als Folgen von rationalen Zahlen, die sich einander „annähern“, definieren.

Die Menge der reellen Zahlen ist überabzählbar. Daher ist es nicht möglich, jede beliebige reelle Zahl sprachlich eindeutig zu beschreiben.

Die Abgeschlossenheit der reellen Zahlen unter solchen Näherungsprozessen bezeichnet man als Vollständigkeit. Diese erlaubt es, zahlreiche Begriffe aus der Analysis, wie den der Ableitung und den des Integrals, über Grenzwerte zu definieren. Grenzwerte erlauben zudem die Definition zahlreicher wichtiger Funktionen, etwa der trigonometrischen Funktionen (Sinus, Cosinus, Tangens etc.), was über den rationalen Zahlen nicht möglich ist.

Die reellen Zahlen behalten maßgebliche Eigenschaften der Addition, Multiplikation und der Ordnung in den rationalen Zahlen und bilden somit ebenfalls einen geordneten Körper. Sie lassen sich nicht erweitern, ohne diese Eigenschaft oder das archimedische Axiom zu verletzen, also „unendlich kleine strikt positive Zahlen“ einzuführen.

Die Idee des Übergangs von den rationalen zu den reellen Zahlen wird durch verschiedene Konzepte der Vervollständigung verallgemeinert.

Die Menge der reellen Zahlen wird mit oder bezeichnet.

Komplexe Zahlen

Manche Polynomfunktionen besitzen keine Nullstellen in den reellen Zahlen. Beispielsweise nimmt die Funktion für jede reelle Zahl einen Wert größer als Null an. Es lässt sich zeigen, dass durch das Hinzufügen einer Zahl , genannt imaginäre Einheit, die die Gleichung erfüllt, wobei die grundlegenden Eigenschaften der Addition und Multiplikation erhalten bleiben sollen, bereits die reellen Zahlen zu den komplexen Zahlen erweitert werden, in denen alle nicht konstanten Polynomfunktionen eine Nullstelle besitzen. Die komplexen Zahlen bilden damit den algebraischen Abschluss der reellen Zahlen. Grenzwertprozesse sind in den komplexen Zahlen ebenso möglich wie in den reellen Zahlen, jedoch sind die komplexen Zahlen nicht mehr geordnet. Sie lassen sich als Ebene (zweidimensionaler Vektorraum über den reellen Zahlen) auffassen. Jede komplexe Zahl lässt sich eindeutig in der Form „darstellen“, wobei und reelle Zahlen sind und die imaginäre Einheit bezeichnen.

Die Funktionentheorie ist das Teilgebiet der Analysis, das sich mit den analytischen Eigenschaften von Funktionen über den komplexen Zahlen befasst.

Die Menge der komplexen Zahlen wird mit oder bezeichnet.

Ordinalzahlen und Kardinalzahlen

Die Ordinal- und Kardinalzahlen sind Konzepte aus der Mengenlehre. In der Mengenlehre definiert man die Kardinalität einer Menge als Kardinalzahl, die Kardinalität ist eine Verallgemeinerung des Konzepts der „Anzahl der Elemente“ einer endlichen Menge auf unendliche Mengen. Die Kardinalitäten endlicher Mengen sind somit natürliche Zahlen, welche auch in den Kardinalzahlen enthalten sind.

Ordinalzahlen verallgemeinern das Konzept der „Position in einer (wohlgeordneten) Menge“ auf unendliche Mengen. Ordinalzahlen beschreiben dann eindeutig die Position eines Elementes in einer solchen Wohlordnung. Die Ordinalzahlen sind selbst wohlgeordnet, sodass die Reihenfolge von wohlgeordneten Objekten der Reihenfolge der ihnen zugeordneten „Positionen“ (also Ordinalzahlen) entspricht. Für Positionen in Anordnungen endlich vieler Objekte lassen sich natürliche Zahlen verwenden, welche den kleinsten Ordinalzahlen entsprechen.

Kardinalzahlen werden heutzutage als spezielle Ordinalzahlen definiert, wodurch sie ebenfalls eine Ordnung erhalten. Neben der Ordnung sind auf Kardinalzahlen und Ordinalzahlen auch Addition, Multiplikation und Potenzierung definiert, welche eingeschränkt auf die natürlichen Zahlen mit den üblichen Begriffen für natürliche Zahlen übereinstimmen, siehe hierzu Kardinalzahlarithmetik und transfinite Arithmetik.

Sowohl die Ordinalzahlen als auch die Kardinalzahlen bilden echte Klassen, das heißt sie sind im Sinne der modernen Mengenlehre keine Mengen.

Hyperreelle Zahlen

Die hyperreellen Zahlen sind eine Verallgemeinerung der reellen Zahlen und Untersuchungsgegenstand der Nichtstandardanalysis. Diese erlauben die Definition von Begriffen aus der Analysis wie die der Stetigkeit oder der Ableitung ohne die Verwendung von Grenzwerten.

Hyperkomplexe Zahlen

Die komplexen Zahlen lassen sich als zweidimensionaler Vektorraum über den reellen Zahlen auffassen (siehe Gaußsche Zahlenebene), das heißt als zweidimensionale Ebene, bei der neben der üblichen koordinatenweisen Addition eine Multiplikation zwischen zwei Punkten der Ebene definiert ist. Es gibt zahlreiche ähnliche Strukturen, die man unter dem Begriff hyperkomplexe Zahlen zusammenfasst. Diese Strukturen sind in der Regel endlichdimensionale Vektorräume über den reellen Zahlen (vorstellbar als zwei- oder höherdimensionaler Raum) mit einer zusätzlichen Multiplikation. Oftmals lassen sich die reellen Zahlen selbst in diese Strukturen einbetten, wobei die Multiplikation eingeschränkt auf die reellen Zahlen der üblichen Multiplikation von reellen Zahlen entspricht.

Siehe auch

  • p-adische Zahl, eine Verallgemeinerung der rationalen Zahlen unter Miteinbeziehung von unendlich vielen „Vorkomma-Stellen“, die in der Zahlentheorie Verwendung findet.
  • Surreale Zahl, eine Verallgemeinerung der hyperreellen Zahlen und der Ordinalzahlen mit Anwendungen in der Spieltheorie.
  • Restklassenringe können als Einschränkungen der ganzen Zahlen auf die ersten endlich vielen Elemente mit entsprechend definierter Arithmetik aufgefasst werden. Ihre Elemente werden mitunter auch als Zahlen bezeichnet.

Bezeichnung und Darstellung von Zahlen

In der Mathematik spricht man mittels der Sprache der Logik über in dieser definierte mathematische Objekte wie etwa Zahlen, mit ihr lassen sich auch konkrete Zahlen mitunter eindeutig beschreiben, unter Umständen mittels Formeln. Über die gängigen logischen Formalismen hinaus existieren jedoch systematische Bezeichnungen für bestimmte Zahlen, etwa in Form von speziellen Kombinationen von Schriftzeichen (mitunter eigens dafür verwendete Ziffern) oder mittels besonders konstruierter Wörter der natürlichen Sprache, wie etwa Numerale. Bezeichnungen für bestimmte Zahlen werden außerhalb der Mathematik verwendet, um konkrete Beobachtungen zu beschreiben, etwa eine Anzahl beobachteter Objekte (Ich sehe fünf Bananen) oder mittels eines anderen Messverfahrens bestimmte Messwerte (Der Türrahmen ist zwei Meter hoch). Des Weiteren erlauben solch systematische Zahldarstellungen mitunter einfaches, systematisches Rechnen mit konkreten Zahlen – gerade auch durch Rechenmaschinen und Computer. Die Rechenverfahren zur Berechnung gewisser Operationen zwischen konkreten Zahlen hängen stark von der gewählten Darstellung ab.

In der Kultur- und Mathematikgeschichte haben sich zahlreiche Zahlensysteme zu solchen systematischen Zahldarstellungen entwickelt. Belege für die Darstellung von Zahlen reichen bis in die späte Steinzeit zurück, wobei Schwierigkeiten bestehen, Zahlzeichen von bloßen Zählzeichen zu unterscheiden, das heißt zu erkennen, ob den Menschen Zahlen als abstrakte Bedeutung jener bewusst waren, oder nur eine werkzeugartige Verwendung vorlag, bei denen die physische Konstruktion des Zählzeichens, nicht aber eine Bedeutung relevant war, seine Aufgabe zu erfüllen. Zu dieser Problematik siehe etwa den Artikel zum Ishango-Knochen, einem Fund aus der späten Altsteinzeit, der verschiedenartige Interpretationen zulässt.

Beispiele für solche Darstellungen sind Strichlisten (Unärsystem) und die Ziffernfolgen verwendenden Stellenwertsysteme, wie sie heute für die Darstellung natürlicher Zahlen üblich sind und auch für die Zahldarstellung in Computern in Form des Dualsystems verwendet werden.

Betrachtet man sprachliche Darstellungen von Zahlen formal, so lässt sich nicht jeder Zahl eine solche Darstellung in einem formalen Sinne zuordnen, d. h. in einem mathematischen formalen Sinne existieren mehr Zahlen als mögliche Darstellungen in einer Sprache: Da sprachliche Formulierungen stets endlich sind, kann es von ihnen nur abzählbar viele verschiedene geben, während die Mathematik auch überabzählbare Zahlbereiche betrachtet. Man spricht dennoch auch von Darstellungen überabzählbarer Zahlbereiche, wenn man sich bei solchen formalen Darstellungen nicht mehr auf zu sprachlichen Formulierungen korrespondierende beschränkt, in ihrer Struktur können sie jedoch den Zahlensystemen ähneln, etwa lassen sich die reellen Zahlen als spezielle formale Reihen definieren, welche der Darstellung in Stellenwertsystemen strukturell ähneln.

Beispiele

Einige Beispiele für Darstellungen von Zahlen:

  • „Vier“ bezeichnet im Deutschen als Zahlwort eine Zahl.
  • Diese Zahl lässt sich als Strichliste |||| darstellen.
  • In der indisch-arabischen Zahlschrift wird sie als 4 dargestellt.
  • In der römischen Zahlschrift wird sie als IV dargestellt.
  • Als Formel lässt sie sich z. B. als darstellen, was einer mathematischen Definition gleichkommt, falls die Eins und die Addition zuvor definiert worden sind.
  • Fasst man die natürlichen Zahlen als algebraische Struktur versehen mit Multiplikation und Addition auf, so lässt sich die Eins als einzige natürliche Zahl definieren, sodass und , das Symbol steht dann für eine beliebige natürliche Zahl, die diese Bedingung erfüllt, und ist damit eindeutig.
  • Definiert man natürliche Zahlen mengentheoretisch in der Variante von John von Neumann, so lässt sich die Vier über die übliche Darstellung endlicher Mengen als darstellen.
  • Rationale Zahlen lassen sich als Brüche darstellen, z. B. .
  • Lösungen quadratischer Gleichungen über den rationalen Zahlen lassen sich als Formeln bestehend aus Addition, Multiplikation und Quadratwurzelbildung rationaler Zahlen darstellen. Beispielsweise beschreibt die Formel eine Lösung der Gleichung für die Variable .
  • Komplexe Zahlen werden oftmals als Summe von Realteil und dem Imaginärteil multipliziert mit der imaginären Einheit dargestellt, etwa .
  • Im Dualsystem wird die natürliche Zahl Neun als dargestellt, dies entspricht der Darstellung als Formel .
  • Jede reelle Zahl lässt sich als Reihe mit einer ganzen Zahl und Koeffizienten „darstellen“, solche Darstellungen sind jedoch im Allgemeinen nicht endlich beschreibbar, da es überabzählbar viele mögliche „Belegungen“ der Koeffizienten gibt. Falls für hinreichend große stets Null wird, entsprechen die dem Nachkommateil in einer Darstellung im Dualsystem (etwa für ).

Zahlen als Bezeichnung

Ebenso wie Zahlen sprachliche Ausdrücke, Zeichenketten oder der gleichen zugeordnet werden, können umgekehrt Zahlen bestimmten Objekten zugeordnet werden, zum einen für abstrakte Überlegungen, zum anderen, um Darstellungen von Zahlen konkret zur systematischen Bezeichnung von anderen Objekten einzusetzen, etwa Information mittels Zahlen zu kodieren. Ein solches Vorgehen erlaubt die Anwendung von den auf Zahlen definierten Operationen auf diese Bezeichnungen. Ein verbreitetes Beispiel ist die Nummerierung, bei der jedem Objekt einer bestimmten betrachteten Gesamtheit eine (meist natürliche) Zahl zugeordnet wird: Dies erlaubt zum einen die Benennung der Objekte mittels ihrer Nummern, und schafft zum anderen mittels der auf den natürlichen Zahlen definierten Ordnung („kleiner“) eine Ordnung der Objekte, dies erlaubt etwa im Falle natürlicher Zahlen ein sequentielles Durchgehen aller Objekte. Zu beachten ist, dass nicht jede Nummer eine Zahl als von der Darstellung unabhängiges mathematisches Objekt ist. Manche Nummern sind als spezielle Symbolfolgen zu verstehen, die als Identifikatoren dienen, selbst wenn sie nur aus Ziffern bestehen (z. B. ISB- oder Hausnummern).

Ein anderes Beispiel ist die Interpretation digitaler Information in der Datenverarbeitung: Als binäre Folge vorliegende Daten können auf natürliche Weise als natürliche Zahl, dargestellt im Dualsystem, interpretiert werden (Randfälle wie führende Nullen müssen dabei natürlich beachtet werden). Arithmetische Operationen über dieser Kodierung als Zahl werden u. a. in der Kryptographie und der Datenkompression eingesetzt.

Auch in der reinen Mathematik finden sich Anwendungen dieses Prinzips, wobei üblicherweise nicht als Zahlen aufgefassten mathematischen Objekten Zahlen zugeordnet werden, etwa in Form von Gödelnummern, welche logische Formeln oder Algorithmen identifizieren.

Weitere Beispiele sind die Repräsentation von Spielsituationen mittels surrealer Zahlen in der Spieltheorie, die Darstellung von Drehstreckungen im zweidimensionalen euklidischen Raum durch komplexe Zahlen sowie Drehungen im Dreidimensionalen mittels Quaternionen.

Geschichte

Urgeschichte

Man geht davon aus, dass das Zahlenverständnis durch eine längere Entwicklung durch immer weitere graduelle Abstraktion entstanden ist, ausgehend von der Unterscheidung von Anzahlen von Gegenständen der Wahrnehmung: So gibt es die einfache Fähigkeit, einen einzelnen von mehreren zu unterscheiden. Weitergehend lassen sich verschiedene Anzahlen von gleichen Anzahlen (jeder Gegenstand in der einen Gruppe kann einem in der anderen zugeordnet werden) und kleinere von größeren Anzahlen unterscheiden. Derlei Fähigkeiten finden sich in Teilen des Tierreichs in je nach Spezies sehr unterschiedlichem Ausmaß (insbesondere unter den Vögeln und Säugetieren). Die Theorie von einem solchen graduellen Übergang wird durch die Grammatik mancher Sprachen unterstützt, in denen Singular, Dual (im Deutschen nicht mehr vorhanden) und Plural unterschieden werden.[12] Die Sprachen einiger Völker verfügen noch heute über kein ausgeprägtes System von Zahlwörtern. Beim Stamm der Pirahã etwa wurden zwar gewisse Fähigkeiten zum Umgang mit Größen von Mengen festgestellt, es ließ sich jedoch kein Vorhandensein eines Verständnisses von Zahlen in dem Sinne feststellen, dass Anzahlen geistig erfasst worden wären. In der Sprache der Pirahã sind lediglich drei Wörter für relative Größenangaben bekannt, selbst ein Wort für die Eins scheint zu fehlen, während das Konzept jedoch anscheinend auch ohne bekannte sprachliche Repräsentation verstanden wird.[13] Versuche, manchen Vertretern des Volks das Zählen beizubringen, schlugen fehl.[14]

Ishango-Knochen

Ein genauer Zeitpunkt, seit wann in der Menschheitsgeschichte ein Zahlenverständnis besteht, lässt sich nicht angeben. Die Einkerbungen im vermutlich über 30.000 Jahre alten Ishango-Knochen und ähnlichen Funden[15] werden mitunter als Zahlzeichen interpretiert. Eine Problematik bei solchen frühen Funden besteht darin, zu beurteilen, ob den Einkerbungen tatsächlich eine Betrachtung von Zahlen als abstrakten Objekten zugrunde liegt, oder ob es sich lediglich um Zählzeichen handelt: Im letzteren Fall dienen die Einkerbungen lediglich als eine Art Werkzeug, um Anzahlen zu vergleichen: Durch Abgleich jeder Kerbe mit einem Objekt lässt sich etwa eine bestimmte Menge abzählen.[16] Zahlen kommen jedoch erst dann ins Spiel, wenn Anzahlen unabhängig von der konkreten Realisierung in Kerben o. ä. betrachtet werden.[17] Der Mathematikhistoriker Hans-Ludwig Wußing geht davon aus, dass abstrakte Zahlenbegriffe erst nach der Sesshaftwerdung, frühestens vor etwa 6.000 Jahren in den frühen Hochkulturen erstmals in Erscheinung traten.[18] Klarer Hinweis für eine solche Abstraktion ist die Verwendung von Zahlensystemen, die über das Unärsystem, d. h. einfache Strichlisten, hinausgehen. Ob eine solche beim Ishango-Knochen vorliegt, ist umstritten.[19] Der heutige Mensch ist die einzige Art, bei dem ein Zahlenverständnis allgemein wissenschaftlich anerkannt nachgewiesen werden konnte.[20]

Erste Hochkulturen

Fragment des Papyrus Rhind, pBM 10057

Im alten Ägypten fand mindestens seit ca. 3.000 v. Chr. ein additives Zahlensystem zur Basis 10 Verwendung zur Darstellung natürlicher Zahlen.[21] Dort wurden die Grundrechenarten der Addition, Subtraktion, Multiplikation und Division bereits betrieben. Für die ersteren beiden gab es auch besondere Schriftzeichen.[22] Besonders bedeutsame Zeugnisse mathematischer Fähigkeiten dieser Kultur sind der Moskauer Papyrus und der Papyrus Rhind – beide in hieratischer Schrift verfasst in der Zeit zwischen 2000 v. Chr. und 1800 v. Chr. Aus diesem lässt sich über die natürlichen Zahlen hinausgehend eine besondere Notation für Stammbrüche entnehmen. Andere Verhältnisse wurden systematisch in Summen von Stammbrüchen überführt ( besaß jedoch auch ein eigenes Zeichen).[23] Motivation der altägyptischen Mathematik waren dabei meist Bauwesen, Landvermessung und Wirtschaft, Beweise finden sich nicht.[24] Jedoch finden sich zum Teil auch Probleme, die als humorvoll oder unterhaltsam intendiert interpretiert werden.[25][26][27]

Ebenfalls gibt es reichhaltige mathematische Zeugnisse aus dem Mesopotamien des Altertums. In sumerischer Zeit entwickelte sich dort ein additives Zahlensystem basierend auf den Basen 10 und 60. Aus altbabylonischer Zeit zwischen 1.800 und 1.600 v. Chr. gibt es besonders zahlreiche Funde mit weitergehenden Errungenschaften: Es entstand ein sexagesimales Stellenwertsystem, jedoch mit der Einschränkung, dass es keine Ziffer Null gab und die Notation daher uneindeutig war. Innerhalb dieses Systems wurden auch allgemeinere rationale Zahlen in einer der heute gebräuchlichen Dezimalbruchentwicklung entsprechenden Weise dargestellt, d. h. es konnten etwa - und -Stellen gebraucht werden. Auf diese Weise nicht darstellbare Brüche oder (in moderner Sprechweise) Logarithmen, wie sie bei der Zinsrechnung auftraten, wurden näherungsweise dargestellt. In Gestalt des babylonischen Wurzelziehens wurden auch systematische Approximationen vorgenommen.[28] Zudem wurden Lösungen für quadratische, kubische und biquadratische Gleichungen gefunden. Diese Gleichungen wurden mit geometrischen Begriffen beschrieben (ein in moderner Sprechweise in solchen Gleichungen auftretendes Quadrat wurde als Flächeninhalt beschrieben, von dem etwa eine Seitenlänge subtrahiert wird, dass als Flächeninhalte und als Längen bezeichnete Größen addiert werden konnten, legt jedoch ein recht abstraktes, algebraisches Verständnis nahe).[29][30] Diese Errungenschaften entstammten praktischen Bedürfnissen der Wirtschaft, des Bauwesens und der Astronomie.[31]

Griechenland

Aus dem antiken Griechenland sind eine Vielzahl mathematischer Erkenntnisse überliefert. Erstmals (soweit bekannt) kam es hier zu einem ausgeprägten Verständnis von Beweisen,[32] durch die die Ergebnisse in einer der heutigen Mathematik nahekommenden Strenge bewiesen wurden. Eine besondere Bedeutung hatte ab dem 6. Jahrhundert v. Chr. die Schule der Pythagoreer, gegründet von Pythagoras von Samos (ca. 570–510 v. Chr.), welcher vermutlich durch Reisen nach Ägypten, Mesopotamien und evtl. auch Indien beeinflusst war.[33] In dieser religiösen Gruppierung trennte sich die Mathematik vom aus den Notwendigkeiten des Alltags entspringenden Rechnen,[34] wobei (natürliche) Zahlen eine zentrale Rolle spielten. Die Überlieferungslage bezüglich dieser Zeit der Mathematikgeschichte, den mutmaßlich etwas früher lebenden Thales von Milet mit eingeschlossen, ist allerdings noch sehr dünn, die meisten Dokumente stammen aus späterer Zeit, sodass sich nicht sicher sagen lässt, welche Konzepte dort schon bekannt waren und mit welcher Methodik verfahren wurde.[35]

Aus nicht vollständig geklärten Gründen legte die darauffolgende griechische Mathematik einen großen Wert auf die Geometrie, trotz des Einflusses der Pythagoreer, unter denen die Arithmetik als grundlegend aufgefasst worden war.[36] Bedeutende Protagonisten waren hier Eudoxos von Knidos (* zw. ca. 397 und 390 v. Chr., † zw. ca. 345 und 338 v. Chr.) und Euklid (ca. 360–280 v. Chr.).

Bezüglich des Zahlbegriffs der Griechen muss festgestellt werden, dass sie nicht über ein Konzept rationaler Zahlen als algebraische Objekte oder Erweiterung der natürlichen Zahlen verfügten. Die aus moderner Sicht oft als Aussagen über solche interpretierten Ergebnisse wurden geometrisch als Aussagen über Längen- und Flächenverhältnisse formuliert: Eine Länge oder Fläche konnte ein ganzzahliges Vielfaches einer anderen sein, dementsprechend lassen sich Verhältnisse zwischen zwei solchen Vielfachen einer Länge oder Fläche im heutigen Verständnis als (positive – mit negativen Zahlen vergleichbare Konzepte waren nicht vorhanden) rationale Zahlen beschreiben, im griechischen Verständnis von Zahlen waren sie jedoch nicht enthalten. Erst recht gab es keine irrationalen Zahlen in der griechischen Mathematik – es traten lediglich geometrische Verhältnisse auf, die keinem Verhältnis von zwei ganzzahligen Vielfachen einer Größe entsprachen; man spricht von Inkommensurabilität.[37][38] Selbst die Eins wurde bei Euklid nicht zu den Zahlen gezählt.[39][40]

Die Existenz der inkommensurablen Verhältnisse war spätestens seit Aristoteles (384–322 v. Chr.), welcher einen recht allgemeinen Beweis lieferte, womöglich aber schon vor 400 v. Chr.[41] in Griechenland bekannt. Dies zeigte die Unmöglichkeit des pythagoreischen Ansatzes, die in der Geometrie auftretenden Verhältnisse mittels der Arithmetik zu beschreiben – in heutiger Begrifflichkeit eine Unzulänglichkeit der rationalen Zahlen.[42] Der Übergang zu einer geometrischen Grundlegung, die den Umgang mit solchen Verhältnissen erlaubte, wird maßgeblich auf Eudoxos zurückgeführt, welcher selbst noch Schüler des bedeutenden Pythagoreers Archytas gewesen war, welcher die Arithmetik als einzige mögliche Grundlage für Beweise ansah.[43]

Eudoxos lieferte eine Definition der Gleichheit zweier geometrischer Verhältnisse (von Längen oder Flächen): Zwei Verhältnisse sind demzufolge gleich, wenn alle – in moderner Interpretation – rationalen Verhältnisse, die kleiner bzw. größer sind als das eine Verhältnis, auch kleiner bzw. größer sind als das andere.[44] Diese Definition gilt sogar analog für den heutigen Begriff der reellen Zahlen. Einige Stimmen sahen oder sehen hierin bereits ein Vorhandensein der reellen Zahlen in der griechischen Mathematik.[45][46][47] Diese Aussagen sind jedoch problematisch:[47] Zum einen war eben nicht einmal das Konzept der rationalen Zahlen vorhanden, zum anderen wurde nichts darüber ausgesagt, dass bestimmte Verhältnisse existieren, sodass diese etwa ordnungsvollständig sind, sondern vielmehr durch die Geometrie gegebene Verhältnisse untersucht. In jedem Fall ermöglichte diese Definition eine Vielzahl von Beweisen, deren Techniken wie die Exhaustionsmethode als Vorläufer heutiger Begriffe der Analysis gelten, wobei gewisse Abschätzungen bereits eine zentrale Rolle spielten. Zudem war Richard Dedekind bei seiner Definition der reellen Zahlen eigenen Angaben zufolge durch Eudoxos inspiriert.[47]

Archimedes, ein Gemälde von Domenico Fetti aus dem Jahr 1620

Archimedes von Syrakus (287–212 v. Chr.), welcher aufbauend auf Eudoxos besonders weitreichende Beweise für bestimmte geometrische Verhältnisse sowie bestimmte Näherungen lieferte, gilt auch als erste Person, die infinitesimale Größen einführte: Im Palimpsest des Archimedes wandte er ein Prinzip vergleichbar dem Prinzip von Cavalieri an, bei dem eine Fläche in unendlich viele infinitesimale Linien zerlegt wird. Eine solche Vorgehensweise entsprach schon damals nicht den Ansprüchen an einen mathematischen Beweis, Archimedes sah in diesem mechanisch motivierten Verfahren jedoch ein nützliches Werkzeug, um an ein Problem heranzugehen und später einfacher einen korrekten Beweis finden zu können.[48] Die Existenz von von Null verschiedenen infinitesimalen Größen widerspricht der Definition des Eudoxos von Gleichheit und auch dem von Archimedes selbst aufgestellten sogenannten Archimedischen Axiom.

Siehe auch

Literatur

Commons: Numbers – Album mit Bildern, Videos und Audiodateien
Wiktionary: Zahl – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise

  1. John Bigelow, Sam Butchart: Number. In: Donald M. Borchert (Hrsg.): Encyclopedia of Philosophy. 2005, ISBN 0-02-866072-2.
  2. Merzbach, Boyer, S. 198.
  3. a b Vladimir Orel: A Handbook of Germanic Etymology. Brill, Leiden 2003, S. 400 f.
  4. August Fick: Wörterbuch der Indogermanischen Sprachen: Dritter Teil: Wortschatz der Germanischen Spracheinheit (PDF; 2,8 MB). Vandenhoeck & Ruprecht, Göttingen 1909.
  5. a b c Deutsches Wörterbuch von Jacob Grimm und Wilhelm Grimm (Band 31, Sp. 36–42.)
  6. a b c Julius Pokorny: Indogermanisches etymologisches Wörterbuch, Francke, Bern 1959. Band I, S. 193, Datenbankeintrag
  7. Friedrich Kluge, Elmar Seebold: Etymologisches Wörterbuch der deutschen Sprache. 24. Auflage. de Gruyter, Berlin 2002, ISBN 3-11-017472-3., S. 1002.
  8. Wörterbucheintrag Zahl im Duden, abgerufen am 11. Juni 2012.
  9. Richard Dedekind: Was sind und was sollen die Zahlen? 2. unv. Auflage. Verlag Friedrich Vieweg und Sohn, Braunschweig 1893, S. 7–8.
  10. Jouko Väänänen: Second-Order Logic and Foundations of Mathematics. 2001, S. 19 (online (PDF; 194 kB) [abgerufen am 2. Mai 2013]).
  11. Stewart Shapiro: Foundations without Foundationalism. A Case for Second-order Logic. Oxford University Press, Oxford 1991, ISBN 0-19-853391-8, S. vii, 204 ff.
  12. Uta Merzbach, Carl Benjamin Boyer: A History of Mathematics. John Wiley & Sons, 2011, ISBN 978-0-470-52548-7.
  13. Michael C. Frank, Daniel L. Everett, Evelina Fedorenko, Edward Gibson: Number as a cognitive technology: Evidence from Pirahã language and cognition. In: Cognition. Band 108, Nr. 3. Elsevier, 2008, S. 819–824, doi:10.1016/j.cognition.2008.04.007 (online (PDF; 328 kB) [abgerufen am 23. Dezember 2012]).
  14. Daniel L. Everett: Cultural Constraints on Grammar and Cognition in Pirahã. Another Look at the Design Features of Human Language. In: Current Anthropology. Band 46, Nr. 4. The Wenner-Gren Foundation for Anthropological Research, 2005 (online (PDF; 961 kB) [abgerufen am 23. Dezember 2012]).
  15. Ifrah, S. 110.
  16. Ifrah, S. 27 ff.
  17. Thomas Bedürftig, Roman Murawski: Philosophie der Mathematik. De Gruyter, ISBN 978-3-11-019093-9, S. 101 (online).
  18. Hans-Ludwig Wußing: 6000 Jahre Mathematik. Eine kulturgeschichtliche Zeitreise. Von den Anfängen bis Leibniz und Newton. Springer, Berlin u. a. 2008, ISBN 978-3-540-77189-0 (online).
  19. Anne Hauzeur, in: Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures. S. 1144.
  20. Ifrah, S. 21–23.
  21. Merzbach, Boyer, S. 10.
  22. Howard Eves: An introduction to the history of mathematics. 3. Auflage. Saunders College Pub., Philadelphia 1990, ISBN 0-03-029558-0, S. 39.
  23. Eves, S. 38.
  24. Wußing, S. 121.
  25. Wußing, S. 118.
  26. Merzbach, Boyer, S. 14.
  27. Eves, S. 40–41.
  28. Merzbach, Boyer, S. 23–27.
  29. Wußing, S. 140.
  30. Merzbach, Boyer, S. 28–29.
  31. Wußing, S. 142.
  32. Merzbach, Boyer, S. 38.
  33. Merzbach, Boyer, S. 44.
  34. Merzbach, Boyer, S. 45.
  35. Wußing, S. 174.
  36. Merzbach, Boyer, S. 47.
  37. Ebbinghaus, S. 26–27.
  38. Matvievskaya, S. 253.
  39. Wußing, S. 165.
  40. David E. Joyce: Elemente – Buch 7, Definition 8.1. Abgerufen am 22. Dezember 2012.
  41. Merzbach, Boyer, S. 70.
  42. Merzbach, Boyer, S. 65–67.
  43. Morris Kline: Mathematical Thought from Ancient to Modern Times. Band 1. Oxford University Press, New York, Oxford 1972, ISBN 0-19-506135-7, S. 48–49.
  44. Ebbinghaus, S. 26–27.
  45. Brad Rogers: A History of Real Numbers, and the First Crisis of Western Knowledge. (PDF; 94 kB) Abgerufen am 22. Dezember 2012.
  46. Wußing, S. 263.
  47. a b c Vorlage:MacTutor Biography
  48. Reviel Netz: Methods of Infinity. The Archimedes Palimpsest Project, abgerufen am 7. November 2012.