Diagonal argument
Appearance
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