Aufgabe:
abzählbar oder überabzählbar
Problem/Ansatz:
Unter einer Zeichenkette aus Nullen und Einsen verstehen wir ein endliches (ggf. leeres)
Tupel a mit an ∈ {0, 1} für alle n. Beispielsweise sind (0, 0, 1, 0, 1, 1, 0), (0, 0, 0, 0, 0) und
(1) Zeichenketten aus Nullen und Einsen. (Eine alternative Schreibweise für diese Zeichenketten ist 0010110, 00000 und 1.) Zwei Zeichenketten heißen gleich, wenn sie gleich
lang sind und an entsprechenden Positionen die gleichen Ziffern stehen – dies ist die Definition von Gleichheit, die man für Zeichenketten erwarten würde. Sei nun M die Menge aller Zeichenketten aus Nullen und Einsen, in allen (endlichen) Längen. Offenbar ist M unendlich groß. Aber ist M abzählbar oder überabzählbar? Beweisen oder widerlegen Sie.