Une méthode générale qui construit un nouvel objet en modifiant de manière systématique les composantes diagonales d'une énumération donnée, de sorte que l'objet construit diffère de chaque élément de la liste ; utilisée pour démontrer la non dénombrabilité, des séparations de hiérarchies ou des indécidabilités.

Principe

Étant donnée une suite indexée par les entiers naturels, définir un objet dont la n-ième composante est choisie pour être différente de la n-ième composante du n-ième élément de la liste ; cet objet ne peut donc coïncider avec aucun élément énuméré.

Démonstration

Preuve de Cantor : énumérer des suites de chiffres décimaux ; définir un nombre réel dont le chiffre n est égal au chiffre n du n-ième terme plus 1 modulo 10, ce qui empêche toute égalité avec une suite de la liste et établit la non dénombrabilité des réels.

Mauvaise application

Appliquer la diagonalisation à des listes finies, à des structures sans système de coordonnées indexées, ou prétendre obtenir une construction effective quand l'argument n'assure que l'existence ; confondre une modification de chiffres avec la préservation de contraintes sémantiques.

Conséquence

Montre qu'aucune énumération proposée ne peut couvrir tous les objets de la classe visée ; entraîne des résultats d'existence hors de toute liste et sert de base à de nombreuses preuves d'indécidabilité et de séparation.

Inversion

La réciproque conceptuelle consiste à fournir une bijection explicite ou une énumération constructive de tous les objets ; si une telle énumération existe, la construction diagonale ne produit pas d'objet extérieur.

Limite

Nécessite une énumération indexée bien définie et une notion de composantes modifiables indépendamment ; ne s'applique pas directement aux espaces sans coordonnées discrètes, aux classes non indexables ou lorsque la modification diagonale viole des contraintes de type ou syntaxiques.

Tension sémantique

On la confond souvent avec la diagonalisation matricielle (concept d'algèbre linéaire) ou avec le lemme diagonal (autoréférence) ; tension entre constructions diagonales syntaxiques et notions diagonales liées à des structures métriques ou algébriques.

Synthèse

La diagonalisation consiste à échapper à toute liste donnée en altérant la n-ième coordonnée du n-ième élément ; cette modification indexée produit des objets en dehors de toute énumération proposée et alimente de nombreux arguments de non dénombrabilité et d'autoréférence.