Diagonal lemma - Information from Answers.com
In mathematical logic, the diagonal lemma or fixed point theorem establishes the
existence of self-referential sentences in certain formal theories of the natural ...
www.answers.com/topic/diagonal-lemma

Tarski's undefinability theorem - Information from Answers.com
The resulting theorem applies to any formal language with negation, and with
sufficient capability for self-reference that the diagonal lemma holds. First-order ...
www.answers.com/topic/tarski-s-indefinability-theorem

Diagonalization - Information from Answers.com
Look up diagonalization in Wiktionary, the free dictionary. ... which can be put into
a form with nonzero entries only on the main diagonal; Diagonal lemma, used ...
www.answers.com/topic/diagonalization-1

Diagonal argument - Information from Answers.com
A variety of diagonal arguments are used in mathematics. "Cantor's ... Cantor's
diagonal argument · Cantor's theorem · Halting problem · Diagonal lemma ...
www.answers.com/topic/diagonal-argument

Gödel's incompleteness theorems - Information from Answers.com
Although Gödel constructed this statement directly, the existence of at least one
such statement follows from the diagonal lemma, which says that for any ...
www.answers.com/topic/g-del-s-incompleteness-theorems

Fixed-point theorem - Information from Answers.com
Fixed-point property · Fixed-point combinator · Collage theorem · Diagonal
lemma, also known as the fixed-point lemma, for producing self-referential
sentences ...
www.answers.com/topic/fixed-point-theorem-1

Compact operator on Hilbert space - Information from Answers.com
In the context of Hilbert spaces, a square matrix is unitarily diagonalizable if .... A
shorter but more abstract proof goes as follows: by Zorn's lemma, select U to be ...
www.answers.com/topic/compact-operator-on-hilbert-space

Perron–Frobenius theorem - Information from Answers.com
3.1.1 Proof for positive matrices; 3.1.2 Lemma .... shows that the blocks on the
diagonal may be of different sizes, the matrices Aj need not be square, and h
need ...
www.answers.com/topic/perron-frobenius-theorem