Fixed points and self-reference

DOI10.1155/S0161171284000296zbMath0585.03001OpenAlexW2001930942MaRDI QIDQ1071010

Raymond M. Smullyan

Publication date: 1984

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/46021

zbMATH Keywords

diagonalizationequivalence relationrecursion theoremGödel's diagonal argument

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (2)

Uniform self-reference ⋮ Is there a ``Hilbert thesis?

This page was built for publication: Fixed points and self-reference