| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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.
Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory.Arnold Beckmann & Wolfram Pohlers - 1998 - Annals of Pure and Applied Logic 94 (1-3):7-19.
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.
A Direct Proof of Schwichtenberg’s Bar Recursion Closure Theorem.Paulo Oliva & Silvia Steila - 2018 - Journal of Symbolic Logic 83 (1):70-83.
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.Osamu Takaki - 1997 - Notre Dame Journal of Formal Logic 38 (3):350-373.
Dominical Categories: Recursion Theory Without Elements.Robert A. di Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594-635.
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.
On the Proof of Solovay's Theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.
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 )
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
