Diagonalización

En lógica y matemáticas, diagonalización puede referirse a:

• Diagonalización de matriz, construcción de una matriz diagonal (con entradas no cero solamente en la diagonal principal) que es similar a una matriz dada
• Discusión diagonal (desambiguación), varias técnicas de prueba estrechamente relacionadas, incluyendo:
  • El argumento diagonal de Cantor, solía demostrar que el conjunto de números reales no es contable
  • Lemma diagonal, utilizado para crear oraciones auto-referenciales en lógica formal
• Diagonalización de tablas, una forma de reducción de datos utilizada para facilitar la interpretación de tablas y gráficos.