Nepřímý self-odkaz

Nepřímý self-odkaz popisuje objekt, jak se odkazuje na sebe nepřímo.

Například, určit funkci f takový to f (x) = “x (x)”. Pak, objekt f (f) = “f (f)”. Tento objekt mohl být viděn jak nepřímo odkazovat se na sebe.

dát více, lepší příklady...

Je to důležité pojetí v matematice a logice. Nepřímý self-odkaz byl studován na velkou hloubku W. V. Quine, a zaujímá centrální místo v důkazu Gödel incompleteness teorém.

Viz též:

• Pevná čárka
• Quine
• Dereference
• Self-interpret