Encyclopedia > Indirect self-reference

  Article Content

Indirect self-reference

Indirect self-reference describes an object referring to itself indirectly.

For example, define the function f such that f(x) = "x(x)". Then, the object f(f) = "f(f)". This object could be seen as indirectly referring to itself.

give more, better examples...

It is an important concept in mathematics and logic. Indirect self-reference was studied in great depth by W. V. Quine, and occupies a central place in the proof of Gödel's incompleteness theorem.

See also:



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
1904

... painter August 29 - Murat V, deposed Ottoman sultan September 26 - John F. Stairs, businessman, statesman October 4 - Frédéric Bartholdi, sculptor Nobel ...

 
 
 
This page was created in 30.8 ms