A straightened proof for the uncountability of \(\mathbb R\) (Q2380723): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3840854 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Editor Recalls Some Hopeless Papers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5534182 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 16:55, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A straightened proof for the uncountability of \(\mathbb R\) |
scientific article |
Statements
A straightened proof for the uncountability of \(\mathbb R\) (English)
0 references
9 April 2010
0 references
Summary: Der heute gebräuchliche Beweis für die Überabzählbarkeit der Menge der reellen Zahlen stützt sich auf das sogenannte zweite Diagonalisierungsverfahren von Cantor, das dieser jedoch zum Nachweis der Überabzählbarkeit der Potenzmenge der natürlichen Zahlen verwandt hatte. Wegen der Nicht-Eindeutigkeit der üblicherweise eingesetzten Dezimaldarstellung reeller Zahlen müssen aber künstliche Zusatzbedingungen gestellt werden, die im Dualsystem versagen. Dies wurde von Fraenkel beobachtet, dessen Ausweg in der Betrachtung einer ``flacheren'' Diagonalen bestand. Doch auch sein Argument enthält eine Bedingung an die Dualdarstellung der Diagonalenelemente. Im vorliegenden Beitrag wird nun ein von Zahlensystem und Darstellung unabhängiger Beweis vorgestellt.
0 references