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

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

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

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

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

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

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

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

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.