Diagonalization
# Diagonalization

In logic and mathematics, diagonalization may refer to:

* Matrix diagonalization, a construction of a diagonal matrix (with nonzero entries only on the main diagonal) that is similar to a given matrix
* Diagonal argument (disambiguation), various closely related proof techniques, including:
   * Cantor's diagonal argument, used to prove that the set of real numbers is not countable
   * Diagonal lemma, used to create self-referential sentences in formal logic
* Table diagonalization, a form of data reduction used to make interpretation of tables and charts easier.
