A diagonal argument, in mathematics, is a technique employed in the proofs of the following theorems: *

Cantor's diagonal argument In set theory, Cantor's diagonal argument, also called the diagonalisation argument, the diagonal slash argument, the anti-diagonal argument, the diagonal method, and Cantor's diagonalization proof, was published in 1891 by Georg Cantor as a ...

(the earliest) * Cantor's theorem *

Russell's paradox In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contain ...

* Diagonal lemma ** Gödel's first incompleteness theorem ** Tarski's undefinability theorem *

Halting problem In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever. Alan Turing proved in 1936 that a ...

* Kleene's recursion theorem

See also