Abstract
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming languages. In an eps in which the constructive form of Kleene’s Recursion Theorem (KRT) holds, it is possible to construct, algorithmically, from an arbitrary algorithmic task, a self-referential program that, in a sense, creates a self-copy and then performs that task on the self-copy. In an eps in which the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt) holds, such self-referential programs exist, but cannot, in general, be found algorithmically.
In an earlier effort, Royer proved that there is no collection of recursive denotational control structures whose implementability characterizes the epses in which KRT holds. One main result herein, proven by a finite injury priority argument, is that the epses in which krt holds are, similarly, not characterized by the implementability of some collection of recursive denotational control structures.
On the positive side, however, a characterization of such epses of a rather different sort is shown herein. Though, perhaps not the insightful characterization sought after, this surprising result reveals that a hidden and inherent constructivity is always present in krt.
Know thyself.
– Greek proverb
This paper received support from NSF Grant CCR-0208616.
An Erratum to this chapter can be found at http://dx.doi.org/10.1007/978-3-540-73001-9_87
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adami, C.: What do robots dream of? Science 314, 1093–1094 (2006)
Blum, M.: A machine independent theory of the complexity of recursive functions. Journal of the ACM 14, 322–336 (1967)
Bongard, J., Zykov, V., Lipson, H.: Resilient machines through continuous self-modeling. Science 314, 1118–1121 (2006)
Case, J.: Infinitary self-reference in learning theory. Journal of Experimental and Theoretical Artificial Intelligence 6, 3–16 (1994)
Case, J., Jain, S., Suraj, M.: Control structures in hypothesis spaces: The influence on learning. Theoretical Computer Science 270(1-2), 287–308 (2002)
Freivalds, R., Kinber, E., Wiehagen, R.: Inductive inference and computable one-one numberings. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 28, 463–479 (1982)
Goncharov, S., Sorbi, A.: Generalized computable numberings and non-trivial Rogers semilattices. Algebra and Logic 36, 359–369 (1997)
Jain, S., Nessel, J.: Some independence results for control structures in complete numberings. Journal of Symbolic Logic 66(1), 357–382 (2001)
Machtey, M., Young, P.: An Introduction to the General Theory of Algorithms. North Holland, New York (1978)
Riccardi, G.: The Independence of Control Structures in Abstract Programming Systems. PhD thesis, SUNY Buffalo (1980)
Riccardi, G.: The independence of control structures in abstract programming systems. Journal of Computer and System Sciences 22, 107–143 (1981)
Rogers, H.: Gödel numberings of partial recursive functions. Journal of Symbolic Logic 23, 331–341 (1958)
Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw Hill, New York, 1967. Reprinted, MIT Press (1987)
Royer, J.S. (ed.): A Connotational Theory of Program Structure. LNCS, vol. 273. Springer, Heidelberg (1987)
Royer, J., Case, J.: Subrecursive Programming Systems: Complexity and Succinctness. Research monograph in Progress in Theoretical Computer Science. Birkhäuser Boston (1994)
Smorynski, C.: Fifty years of self-reference in arithmetic. Notre Dame Journal of Formal Logic 22(4), 357–374 (1981)
Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. Foundations of Computing Series. MIT Press, Cambridge (1993)
Zeugmann, T., Lange, S.: A guided tour across the boundaries of learning recursive languages. In: Jantke, K.P., Lange, S. (eds.) Algorithmic Learning for Knowledge-Based Systems. LNCS (LNAI), vol. 961, pp. 190–258. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Case, J., MoeliusIII, S.E. (2007). Characterizing Programming Systems Allowing Program Self-reference . In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)