From Wikipedia, the free encyclopedia

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

Its category-theoretical general formulation is given by Lawvere's fixed-point theorem.

See also

From Wikipedia, the free encyclopedia

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

Its category-theoretical general formulation is given by Lawvere's fixed-point theorem.

See also


Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook