论文标题
自我参考的前期：自指的哥德尔编号的研究
Self-reference Upfront: A Study of Self-referential Gödel Numberings
论文作者
论文摘要
在本文中，我们探讨了对形式化选择的各种要求，这些选择可以在算术中充分形式化自我参考。特别是，我们研究自我参照的编号，即使对于表情较弱的语言，也立即提供了强烈的自我参考概念。本文的结果表明，是否可以在算术中形式化真正的自指推理的问题对基础编码机构的敏感性比通常所认为的要敏感。作为一个案例研究，我们展示了这种敏感性如何影响对自指真理某些原则的正式研究。
In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-referential numberings, which immediately provide a strong notion of self-reference even for expressively weak languages. The results of this paper suggest that the question whether truly self-referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study of certain principles of self-referential truth.
