Post by GanzhinterseherWie man aber am Beispiel der Zahl 1 und daran, dass alle Primzahlen
algebraische Zahlen sind, sieht, gilt die Gleichzahligkeit nicht.
"Ich will der Kürze wegen den Begriff F dem Begriffe G gleichzahlig nennen, wenn die Möglichkeit vorliegt [die unter den einen den unter den andern Begriff fallenden Gegenständen beiderseits eindeutig zuzuordnen], muss aber bitten, dies Wort als eine willkührlich gewählte Bezeichnungsweise zu betrachten, deren Bedeutung nicht der sprachlichen Zusammensetzung, sondern dieser Festsetzung zu entnehmen ist."
"Es ist nöthig, die Gleichzahligkeit noch etwas genauer zu fassen. Wir erklärten sie mittels der beiderseits eindeutigen Zuordnung, und wie ich diesen Ausdruck verstehen will, ist jetzt darzulegen, weil man leicht etwas Anschauliches darin vermuthen könnte.
Betrachten wir folgendes Beispiel! Wenn ein Kellner sicher sein will, dass er ebensoviele Messer als Teller auf den Tisch legt, braucht er weder diese noch jene zu zählen, wenn er nur rechts neben jeden Teller ein Messer legt, sodass jedes Messer auf dem Tische sich rechts neben einem Teller befindet. Die Teller und Messer sind so beiderseits eindeutig einander zugeordnet ..."
(Gottlob Frege, Grundlagen der Arithmetik, 1884)
In heutiger Terminologie kann man immerhin festhalten, dass die Menge der Primzahlen und die Menge der algebraischen Zahlen die gleiche Kardinalzahl besitzen; in diesem Sinne als "gleichzahlig" sind, oder willst Du das etwa bestreiten?
Hinweis:
"§ 85. Die cantorschen unendlichen Anzahlen; "Mächtigkeit". Abweichung in
der Benennung.
Vor Kurzem hat G. Cantor in einer bemerkenswerthen Schrift unendliche
Anzahlen eingeführt. Ich stimme ihm durchaus in der Würdigung der Ansicht
bei, welche überhaupt nur die endlichen Anzahlen als wirklich gelten lassen
will. Sinnlich wahrnehmbar und räumlich sind weder diese noch die Brüche,
noch die negativen, irrationalen und complexen Zahlen; und wenn man
wirklich nennt, was auf die Sinne wirkt, oder was wenigstens Wirkungen hat,
die Sinneswahrnehmungen zur nähern oder entferntern Folge haben können, so
ist freilich keine dieser Zahlen wirklich. Aber wir brauchen auch solche
Wahrnehmungen gar nicht als Beweisgründe für unsere Lehrsätze. Einen Namen
oder ein Zeichen, das logisch einwurfsfrei eingeführt ist, können wir in
unsern Untersuchungen ohne Scheu gebrauchen, und so ist unsere Anzahl oo_1
so gerechtfertigt wie die Zwei oder die Drei.
Indem ich hierin, wie ich glaube, mit Cantor übereinstimme, weiche ich doch
in der Benennung etwas von ihm ab. Meine Anzahl nennt er "Mächtigkeit,"
während sein Begriff der Anzahl auf die Anordnung Bezug nimmt. Für endliche
Anzahlen ergiebt sich freilich doch eine Unabhängigkeit von der
Reihenfolge, dagegen nicht für unendlichgrosse. Nun enthält der
Sprachgebrauch des Wortes "Anzahl" und der Frage "wieviele?" keine
Hinweisung auf eine bestimmte Anordnung. Cantors Anzahl antwortet vielmehr
auf die Frage: "das wievielste Glied in der Succession ist das Endglied?"
Darum scheint mir meine Benennung besser mit dem Sprachgebrauche
übereinzustimmen. Wenn man die Bedeutung eines Wortes erweitert, so wird
man darauf zu achten haben, dass möglichst viele allgemeine Sätze ihre
Geltung behalten und zumal so grundlegende, wie für die Anzahl die
Unabhängigkeit von der Reihenfolge ist. Wir haben gar keine Erweiterung
nöthig gehabt, weil unser Begriff der Anzahl sofort auch unendliche Zahlen
umfasst."
(Gottlob Frege, Grundlagen der Arithmetik, 1884)
Post by GanzhinterseherUmso erstaunlicher, dass ihm dennoch der Nachweis gelang, dass die
Maechtigkeit der reellen Zahlen *groesser* als die Maechtigkeiten
der natuerlichen Zahlen, der ganzen Zahlen und der rationalen ist.
In der Tat. Cantor ist diesbezüglich weit über Freges Betrachtungen (dem es mehr um eine logische Grundlegung ging) hinausgegangen - aus diesem Grunde gilt Cantor auch zu Recht als Begründer der Mengenlehre.