Diagonalización de Cantor
Como diagonalización de Cantor hay dos de Georg Cantor llamadas Diagonalisierungsbeweisverfahren desarrolladas:
- El primer argumento diagonal de Cantor es un procedimiento de prueba matemático con el que se puede demostrar que el conjunto de números racionales es contable .
- El segundo argumento diagonal de Cantor es una prueba matemática de que el conjunto de números reales (también llamado continuo ) es incontable . Esta prueba también se conoce como diagonalización .
En 1874, Georg Cantor encontró o publicó una prueba de la contabilidad de números racionales y números algebraicos utilizando el "primer método diagonal de Cantor". Al mismo tiempo, publicó una prueba de la no contabilización de los números reales, incluida la inferencia de la existencia de números reales no algebraicos. En los años 1890 y 1891 encontró o publicó la prueba de que el conjunto de potencias de cualquier conjunto es más poderoso que éste y que, en particular, el conjunto de potencias de los números naturales es incontable. Esta prueba se llama el "Método Diagonal del Segundo Cantor" y fue el detonante para el establecimiento de la teoría de conjuntos transfinitos por Georg Cantor en los años 1895 a 1897. Las pruebas de incontables también prueban la incontables veces del continuo.