Abstract
We would like to open with a report of a delightful remark from a correspondent who wrote: “I have heard of your chameleonic languages. I do not know what they are, except that I assume they are not what they appear to be.”
This is a preview of subscription content, access via your institution.
Buying options
Preview
Unable to display preview. Download preview PDF.
References
Boolos, George: 1979, The Unprovability of Consistency, Cambridge University Press, Cambridge.
Gödel, Kurt: 1931, ‘Über formal unentscheidbar Sätze der Principa Mathematica und verwandter Systeme I’ Monatshefte für Mathematik und Physik 38, 173–198.
Smullyan, Raymond M.: 1957, ‘Languages in Which Self Reference Is Possible’, Journal of Symbolic Logic 22, 55–67.
Smullyan, Raymond M.: 1978, What Is the Name of This Book? Prentice-Hall, Inc. Englewood Cliffs.
Smullyan, Raymond M.: 1959, Theory of Formal Systems, Annals of Mathematics Studies #47, Princeton University Press, Princeton.
Tarski, Alfred: 1953, Undecidable Theories, North-Holland, Amsterdam.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Smullyan, R.M. (1984). Chameleonic Languages. In: Leblanc, H., Mendelson, E., Orenstein, A. (eds) Foundations: Logic, Language, and Mathematics. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1592-8_11
Download citation
DOI: https://doi.org/10.1007/978-94-017-1592-8_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8406-4
Online ISBN: 978-94-017-1592-8
eBook Packages: Springer Book Archive