Indirect self-reference
From Wikipedia, the free encyclopedia.

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:

• Fixed point
• Quine
• Indirection
• Self-interpreter

The original article can be found at: http://en.wikipedia.org/wiki/Indirect_self-reference.
All text is available under the terms of the GNU Free Documentation License.