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.