更改
跳到导航
跳到搜索
第161行：
第161行： − 我们可以验证，经过句子所描述的操作之后得到的句子跟（原句？）是一模一样的。所以这句话就相当于：“这句话是假的”。我们没使用“这句话”指代词就实现了自指。+
→语言中的自指
<div style="text-align: center;"><u>把“把中的第一个字放到左引号前面，其余的字放到右引号后面，并保持引号及其中的字不变得到的句子是假的”中的第一个字放到左引号前面，其余的字放到右引号后面，并保持引号及其中的字不变得到的句子是假的</u></div>
<div style="text-align: center;"><u>把“把中的第一个字放到左引号前面，其余的字放到右引号后面，并保持引号及其中的字不变得到的句子是假的”中的第一个字放到左引号前面，其余的字放到右引号后面，并保持引号及其中的字不变得到的句子是假的</u></div>
我们可以验证，经过句子所描述的操作之后得到的句子跟是一模一样的。所以这句话就相当于：“这句话是假的”。我们没使用“这句话”指代词就实现了自指。
有关更多的语言中的蒯恩操作的讨论请参看《[http://book.douban.com/subject/1291204/ 哥德尔、艾舍尔、巴赫——集异璧之大成]》一书的对话《G弦上的咏叹调》，以及《[http://ebooklink.net/g/detail/0198534507/Diagonalization%20and%20Self-Reference%20%28Oxford%20Logic%20Guides%29/ Diagonalization and Self-Reference]》一书。
有关更多的语言中的蒯恩操作的讨论请参看《[http://book.douban.com/subject/1291204/ 哥德尔、艾舍尔、巴赫——集异璧之大成]》一书的对话《G弦上的咏叹调》，以及《[http://ebooklink.net/g/detail/0198534507/Diagonalization%20and%20Self-Reference%20%28Oxford%20Logic%20Guides%29/ Diagonalization and Self-Reference]》一书。