Authors
Samuel Allen Alexander
Ohio State University (PhD)
Abstract
Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.
Keywords quines  recursion theorem
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Recursion Theorems and Effective Domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Un teorema de multirecursión.José Fernández Prida - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):87-90.
On the Recursion Theorem in Iterative Operative Spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
On the Recursion Theorem in Iterative Operative Spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Recursion Theory for Metamathematics.Raymond Merrill Smullyan - 1993 - Oxford, England: Oxford University Press.
On Hölder Regularity for Elliptic Equations of Non-Divergence Type in the Plane.Albert Baernstein Ii & Leonid V. Kovalev - 2005 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 4 (2):295-317.
Quine and the Analytic Tradition.Dirk Koppelberg - 1989 - Zeitschrift Für Allgemeine Wissenschaftstheorie 20 (2):367-372.
Hilbert's 10th Problem for Solutions in a Subring of Q.Agnieszka Peszek & Apoloniusz Tyszka - 2019 - Scientific Annals of Computer Science 29 (1):101-111.
Naming and Diagonalization, From Cantor to Gödel to Kleene.Haim Gaifman - 2006 - Logic Journal of the IGPL 14 (5):709-728.

Analytics

Added to PP index
2020-01-18

Total views
154 ( #75,911 of 2,506,100 )

Recent downloads (6 months)
27 ( #33,378 of 2,506,100 )

How can I increase my downloads?

Downloads

My notes