奎因悖论：能打印自己的句子

题目

考虑这样一句话：

“把这句话抄在引号里，前面再加‘把这句话抄在引号里，前面再加’。”

或者更编程化地：“本句若放在自身引号后描述，则描述的是它自己。”

这类“谈论自身写法”的句子，叫什么？它和说谎者悖论有何不同？

答案与解析

这叫奎因（Quine），得名于哲学家威拉德·奎因。与说谎者不同，奎因不矛盾——它只是自我指涉、自我描述，像一个能打印出自己源代码的程序。

经典奎因范式：“Yields falsehood when preceded by its quotation.” 意思是“当被它的引文前置时，产生假话”——把这句话自身放引号前置，得到的整句正是在说这件事。

背后的数学

奎因是自复制（self-reproduction）的思想原型。冯·诺依曼的“自我复制自动机”、DNA 的复制机制、以及程序员写的 quine 程序（输出自身完整源代码），在结构上都和奎因同构：用一层描述另一层的描述。自指，不只会制造悖论，也能制造生命与程序。