GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE

DOI10.1017/S1755020321000526arXiv2010.11979OpenAlexW4200042505MaRDI QIDQ6041351

Saul A. Kripke

Publication date: 26 May 2023

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

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

zbMATH Keywords

incompletenessGödel numberingdirect self-reference

Mathematics Subject Classification ID

Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Cites Work

• Self-reference and the Languages of Arithmetic
• Outline of a Theory of Truth
• REFERENCE IN ARITHMETIC
• SELF-REFERENCE IN ARITHMETIC I
• SELF-REFERENCE IN ARITHMETIC II
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS

This page was built for publication: GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE