التفاصيل البيبلوغرافية
| العنوان: |
Self-reference Upfront: A Study of Self-referential G\'odel Numberings |
| المؤلفون: |
Grabmayr, Balthasar, Visser, Albert |
| سنة النشر: |
2020 |
| المجموعة: |
Mathematics |
| مصطلحات موضوعية: |
Mathematics - Logic |
| الوصف: |
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. |
| نوع الوثيقة: |
Working Paper |
| URL الوصول: |
http://arxiv.org/abs/2006.12178 |
| رقم الانضمام: |
edsarx.2006.12178 |
| قاعدة البيانات: |
arXiv |