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
Charles V, Holy Roman Emperor

... Joanna of Castile and grandson of Ferdinand II of Aragon and Isabella I of Castile and of Maximilian I, Holy Roman Emperor. Charles was born in Ghent and brought up in ...

 
 
 
This page was created in 27.2 ms