Cantor-Diagonalisierung
aus Wikipedia, der freien Enzyklopädie
Als Cantor-Diagonalisierung werden zwei von Georg Cantor entwickelte Diagonalisierungsbeweisverfahren bezeichnet:
- Cantors erstes Diagonalargument ist ein mathematisches Beweisverfahren, mit dem man zeigen kann, dass eine Menge abzählbar ist.
- Cantors zweites Diagonalargument ist ein mathematischer Beweis dafür, dass die Menge der reellen Zahlen überabzählbar ist. Dieser Beweis ist auch unter dem Namen Diagonalisierung bekannt. Der Mathematiker Georg Cantor fand ihn im Jahr 1877.
