Languages in which self reference is possible

DOI10.2307/2964058zbMath0218.02026OpenAlexW2016620481MaRDI QIDQ5622164

Raymond M. Smullyan

Publication date: 1957

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

Full work available at URL: https://doi.org/10.2307/2964058

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40)

Related Items

Uniform self-reference, Definability and commonsense reasoning, A step towards absolute versions of metamathematical results, Unnamed Item, What Were Tarski's Truth-Definitions for?, The scope of Gödel's first incompleteness theorem, Holographic or Fourier logic, Gödel, Tarski, Church, and The Liar, Quantified Quinean \(S5\)