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) A diagonal argument, in mathematics, is a technique employed in the proofs of the following theorems:
*Cantor's diagonal argument (the earliest)
*Cantor's theorem
*Russell's paradox
*Diagonal lemma
** Gödel's first incompleteness theorem
**Tarski' ...
, various closely related proof techniques, including:
**
Cantor's diagonal argument, used to prove that the set of real numbers is not countable
**
Diagonal lemma
In mathematical logic, the diagonal lemma (also known as diagonalization lemma, self-reference lemma or fixed point theorem) establishes the existence of self-referential sentences in certain formal theories of the natural numbers—specificall ...
, used to create self-referential sentences in formal logic
*
Table diagonalization
Diagonalization is the process of re-ordering the rows and columns of tables and charts so that the data forms an approximately diagonal line.Jacques Bertin, '' Semiology of Graphics: Diagrams, Networks, Maps''. ESRI Press, 2010, 168-169. This m ...
, a form of
data reduction Data reduction is the transformation of numerical or alphabetical digital information derived empirically or experimental data, experimentally into a corrected, ordered, and simplified form. The purpose of data reduction can be two-fold: reduce the ...
used to make interpretation of tables and charts easier.
{{mathematical disambiguation