SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS

DOI10.1017/S1755020321000393MaRDI QIDQ6041342zbMATH OpenOpenAlexFDO

Authors Balthasar Grabmayr, Albert Visser

Publication date 26 May 2023

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2006.12178

zbMATH Keywords

arithmeticGödel numberingsself-referencetruth-theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Abstract: 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.

Recommendations

• Self-reference and the Languages of Arithmetic
• Self-reference in arithmetic. II
• Self-reference in arithmetic. I
• Varieties of self-reference in metamathematics
• scientific article; zbMATH DE number 664031

Cites work

• Acceptable notation
• Alethic reference
• Arithmetization of metamathematics in a general setting
• Axiomatic theories of truth
• Cuts, consistency statements and interpretations
• Handbook of proof theory
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 1135526 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 2109238 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Inference and self-reference
• On degrees of unsolvability
• On Godel Sentences and What They Say
• On the ambiguation of Polish notation
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Outline of a Theory of Truth
• Proofs and computations
• Reference and truth
• Reference in arithmetic
• Saying it with numerals
• Self-reference and the Languages of Arithmetic
• Self-reference in arithmetic. I
• Self-reference in arithmetic. II
• Toward useful type-free theories. I
• Truth and disquotation
• Undecidable theories

Cited in

(6)

• Self-reference and the Languages of Arithmetic
• GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
• A step towards absolute versions of metamathematical results
• Varieties of self-reference in metamathematics
• Essential hereditary undecidability
• Certified _1-sentences

This page was built for publication: SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041342)