from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. In matrix algebra, the process of converting a square matrix into a diagonal matrix, usually to find the eigenvalues of the matrix.
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
- n. changing a square matrix to diagonal form (with all non-zero elements on the principal diagonal)
Second, the method that is used, called diagonalisation was already present in the work of du Bois-Reymond for building real functions growing faster than any function in a given sequence of functions.
A recent paper, Periods and elementary real numbers claims to exhibit one by means of a kind of diagonalisation argument.
The theoretical groundings of the recursive mathematics of Gödel can be found in famous diagonalisation method of Cantor
Applying the usual diagonalisation argument (as in the proof of the