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.