contravariant hat geschrieben:
Sind deine Aussage und die Cantor nun verschieden?
Aussage klingt für mich schon angenehmer als Beweis.
Das was ich mit meiner Aussage meine, ABSOLUT.
contravariant hat geschrieben:
galactic32 hat geschrieben:
Wir können doch schon nicht mehr vernünftig von einer Mächtigkeit einer unbegrenzten Menge reden!Oder?
wiki/Cantors_erstes_Diagonalargument hat geschrieben:
...Die Menge ℝ der reellen Zahlen ist zur Menge der natürlichen Zahlen nicht gleichmächtig, deshalb ist die Menge ℝ überabzählbar. Man sagt auch, die reellen Zahlen haben die Mächtigkeit des Kontinuums.
Der Beweis der Überabzählbarkeit von ℝ ist Inhalt des zweiten Cantorschen Diagonalbeweises. ...
Ah. Inzwischen hast du ja sogar die eigentliche Aussage von Cantor gefunden. Ich bin beeindruckt. Dann können wir ja bei dem Beweis weiter machen.
Wenn das für Dich die eigentliche Aussage war, ok.
Tja, mit dem Beweis, also mit der „Quod erat Demonstrandum“-Methode, was zu zeigen war:
Dieses sogenannte Mächtigkeits-Kriterium, wirkt wie ein Maaß das logisch Sinn machen soll.
Offizielle AusSagen gehen in die Richtung zu behaupten:
Die Primzahlen ℼ={1,2,3,5,7,11,...} seien eine nicht endliche Menge .
Die x-te Primzahl wäre π[x]=πₓ∈ℼ wie π₀=1 π₄=7 etc. , x∈ℕ
Rekursiv weiter gedacht:
Eine noch reduziertere Menge der Natürlichen Zahlen wäre π[πₓ] , x∈ℕ .
Und wie dürfen wir uns Vorstellen:
Mächtigkeit( ℕ ) = Mächtigkeit( ℼ ) ?
Es deutet doch alles darauf hin,daß selbst die Natürlichen Zahlen ein unendlich-dimensionales System aus unendlichen UnterMengen besteht, bestehen könnte!oder nicht?
Also Cantor's erstes Diagonalargument in der Sprache der Mathematik, in einer Aussagen-Logik-Sprache
zu formulieren wäre bereits wohl das „UnDing“!Oder?
So weit erst mal
Gruß