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
DB

... Contents DB DB can mean the following: dB is the abbreviation for Decibel; see Bel DB is a French automobile maker; see DB (car) DB is the abbreviation for ...

 
 
 
This page was created in 35.2 ms