##  [Cantors Diagonalargument](/de/node/61244) 

 Definition

Ein konstruktives Beweisverfahren, das zu jeder angeblichen Aufzählung von Objekten ein neues Objekt konstruiert, indem die n-te Eigenschaft des n-ten gelisteten Objekts verändert wird, so dass das konstruierte Objekt nicht in der Liste vorkommt.

 

 

 

 

 

 





## Prinzip

Prinzip

Koordinatenweise Änderung entlang der Diagonale, um an jedem Index eine Abweichung sicherzustellen und so ein Element zu erzeugen, das jeder vorgeschlagenen abzählbaren Aufzählung entkommt.

 

 

 

 

 





## Demonstration

Demonstration

Um die Nichtabzählbarkeit der reellen Zahlen in [0,1] zu zeigen, nimmt man eine Liste von Dezimaldarstellungen an; man bildet eine neue Dezimalzahl, deren n-te Ziffer sich von der n-ten Ziffer der n-ten gelisteten Zahl unterscheidet (man vermeidet 9, um Darstellungsambiguitäten zu verhindern), und erhält so eine Zahl, die nicht in der Liste steht.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Nichtbeachtung nicht-eindeutiger Darstellungen (z. B. 0,4999...=0,5000...) oder Veränderung von Ziffern in einer Weise, die eine bereits gelistete Zahl erzeugen könnte; Anwendung der Methode ohne Sicherstellung, dass das konstruierte Objekt im gleichen Definitionsbereich liegt.

 

 

 

 

 





## Konsequenz

Konsequenz

Begründet Nichtabzählbarkeit, beweist die Existenz von Objekten außerhalb jeder abzählbaren Familie und bildet die Grundlage diagonalbasierter Techniken in Berechenbarkeitstheorie und Logik, mit Folgen für Hierarchien und Unvollständigkeit.

 

 

 

 

## Umkehrung

Umkehrung

Wenn eine Menge aufzählbar ist, kann die Diagonalkonstruktion kein wirklich neues Element hervorbringen – die Diagonalisierung widerlegt Aufzählbarkeit per Widerspruch; eine Umkehr der Annahmen (z. B. variable Listen) kann das Ergebnis aufheben.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Anwendbar, wenn Objekte eine abzählbare Folge von Koordinaten oder Merkmalen besitzen (Folgen, Funktionen, Dezimaldarstellungen); nicht direkt anwendbar auf Bereiche ohne kanonische koordinatenweise Beschreibung oder bei stark nicht eindeutigen Darstellungen ohne Vorsicht.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Verwandt mit Diagonalisierung in der Berechenbarkeit und mit kombinatorischen Matrixargumenten; Spannung besteht zwischen der rein mengentheoretischen Nichtabzählbarkeitsverwendung und der konstruktiven, algorithmischen Diagonalisierung für Undezidierbarkeitsbeweise.

 

 

 

 

 





## Synthese

Synthese

Cantors Diagonalargument verändert systematisch die diagonalen Einträge, um ein Element zu konstruieren, das sich an jeder Koordinate von einer gegebenen Liste unterscheidet; so liefert es eine verlässliche Methode zum Beweis der Nichtaufzählbarkeit und zur Konstruktion von Gegenbeispielen in verschiedenen Bereichen.