## [Diagonalización](/es/node/60040) Definición Un método general que construye un nuevo objeto modificando sistemáticamente las componentes diagonales de una enumeración propuesta, de modo que el objeto construido difiere de cada elemento de la lista; se emplea para probar no enumerabilidad, separaciones de jerarquías o indecidibilidad. ## Principio Principio Dada una sucesión indexada por números naturales, definir un objeto cuya componente n es elegida para diferir de la componente n del n-ésimo elemento de la lista; así no puede coincidir con ninguno de los elementos listados. ## Demostración Demostración Prueba de Cantor: enumere secuencias de dígitos decimales; defina un número real cuyo dígito n sea (el dígito n de la n-ésima secuencia más 1 módulo 10), asegurando que no puede igualar ninguna secuencia en la lista y demostrando que los reales no son enumerables. ## Aplicación incorrecta Aplicación incorrecta Aplicar la diagonalización a listas finitas, a estructuras sin un sistema de coordenadas indexadas discretas, o afirmar una construcción efectiva cuando el argumento solo asegura existencia; confundir modificaciones de dígitos con preservación de restricciones semánticas. ## Consecuencia Consecuencia Muestra que ninguna enumeración propuesta puede abarcar todos los objetos de la clase objetivo; produce resultados de existencia fuera de cualquier lista y sostiene muchas pruebas de indecidibilidad y separación. ## Inversión Inversión La inversión conceptual es exhibir una biyección explícita o una enumeración constructiva que liste todos los objetos; si existe tal enumeración, la construcción diagonal no produce un objeto ajeno. ## Límite Límite Requiere una enumeración indexada bien definida y una noción de componentes que puedan variarse independientemente; no se aplica directamente a espacios sin coordenadas discretas, a clases no indexables o cuando la modificación diagonal viola restricciones de tipo o sintácticas. ## Tensión semántica Tensión semántica A menudo se confunde con la diagonalización matricial (concepto de álgebra lineal) o con el lema diagonal (autorreferencia); hay tensión entre construcciones diagonales sintácticas y nociones diagonales ligadas a estructuras métricas o algebraicas. ## Síntesis Síntesis La diagonalización es el patrón de escapar a cualquier lista dada alterando la coordenada n-ésima del n-ésimo elemento; ese simple cambio indexado produce objetos fuera de todas las enumeraciones propuestas y alimenta muchos argumentos de no enumerabilidad y autorreferencia.