Un método constructivo que, dada una presunta lista (secuencia) de objetos representados por entradas indexadas, produce un nuevo objeto alterando las entradas diagonales de modo que el nuevo objeto difiere de cada objeto listado; se usa comúnmente para demostrar la no numerabilidad de conjuntos y para exhibir objetos no capturados por ninguna enumeración efectiva.

Principio

Si los objetos se presentan como una secuencia indexada por los naturales, cambiar la componente n-ésima del n-ésimo objeto produce un objeto que no puede coincidir con ningún miembro de la secuencia; así, ninguna enumeración puede ser completa cuando la modificación diagonal está bien definida.

Demostración

Construir el número real en [0,1] cuyo dígito decimal en la posición n difiera del dígito decimal n-ésimo del n-ésimo número en una lista supuesta (evitando representaciones ambiguas como las expansiones con 9 repetidos); el número resultante no puede ser igual a ningún elemento listado, probando que el intervalo es no numerable. El mismo patrón se aplica a demostraciones de no enumerabilidad de lenguajes o funciones y a argumentos de indecidibilidad cuando se diagonaliza sobre programas.

Aplicación incorrecta

Aplicar la diagonalización sin atender las ambigüedades de representación (p. ej. expansiones decimales con dos representaciones) puede producir un candidato que coincide por error con un elemento de la lista. Usar diagonalización sobre objetos sin una representación indexable uniforme o sobre clases cerradas bajo la modificación diagonal puede fallar en producir el contraejemplo deseado.

Consecuencia

Establece la existencia de infinitos estrictamente mayores (no numerabilidad), muestra los límites de los métodos de enumeración, construye funciones explícitamente no listadas o no computables y produce paradojas basadas en autorreferencia y pruebas de indecidibilidad cuando se combina con codificaciones efectivas.

Inversión

Listar o construir una biyección de la clase objetivo con los números naturales (es decir, demostrar una enumeración completa) invierte el argumento diagonal mostrando que la construcción diagonal no puede generar un elemento nuevo; el contraste señala si la lista reclamada es exhaustiva.

Límite

Requiere una secuencia dada o una enumeración efectiva y una noción clara de modificación componente por componente; la técnica es sintáctica y dependiente de la representación, por lo que no se aplica directamente a pruebas topológicas o de medida sin una traducción a un marco basado en secuencias.

Tensión semántica

Compite con pruebas no constructivas de existencia (p. ej. argumentos de medida/compacidad) y con pruebas biyectivas de cardinalidad; la diagonalización enfatiza la autorreferencia constructiva, mientras que otros métodos explotan propiedades estructurales o no constructivas.

Síntesis

La diagonalización de Cantor es una transformación constructiva dependiente de la representación que, al modificar las componentes diagonales de una lista supuesta, genera un objeto distinto de cada elemento listado; proporciona un esquema repetible para demostrar no numerabilidad e indecidibilidad, requiriendo atención cuidadosa a representaciones y límites del dominio.