自指

维基百科,自由的百科全书
跳转至: 导航搜索
勒内·马格里特形象的叛逆(1928-29)。图为一个烟斗,加上下面一行法文“这不是一个烟斗”。

自然语言形式语言中,如果一句句子直接或间接提及自身,就稱為自指。自指可以是直接的,比如说谎者悖论,也可以是通过另外一句句子间接提及自身,还可以是通过某种编码反应自身,自指的语句常常会造成悖论

自指在数学哲学计算机科学语言学中都有被研究。在数学中,对自指的研究最终导致了著名的哥德尔不完备定理。在哲学中,“自指”一词也指代主体谈论或提及自身的能力。在中文中,通常使用第一人称代词“”指代自身。在计算机科学中,有著名的停机问题。计算机程序中的自指主要是为递归