Diagonal_argument
Diagonal argument
Topics referred to by the same term
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
- Halting problem
- Kleene's recursion theorem
Its category-theoretical general formulation is given by Lawvere's fixed-point theorem.
