Abstract
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algorithmic tasks (of an appropriate type), there exist n partial computable functions that use their own graphs in the manner prescribed by those tasks; the n-ary second recursion theorem says that, for any n algorithmic tasks (of an appropriate type), there exist n programs that use their own source code in the manner prescribed by those tasks.
Results include the following. The constructive 1-ary form of the first recursion theorem is independent of either 1-ary form of the second recursion theorem. The constructive 1-ary form of the first recursion theorem does not imply the constructive 2-ary form; however, the constructive 2-ary form does imply the constructive n-ary form, for each n ≥ 1. For each n ≥ 1, the not-necessarily-constructive n-ary form of the second recursion theorem does not imply the presence of the (n + 1)-ary form.
This paper received some support from NSF Grant CCR-0208616.
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
Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw Hill, New York (1967); Reprinted. MIT Press (1987)
Riccardi, G.: The Independence of Control Structures in Abstract Programming Systems. PhD thesis, SUNY Buffalo (1980)
INRIA: Objective Caml, http://caml.inria.fr/ocaml/index.en.html
Machtey, M., Young, P.: An Introduction to the General Theory of Algorithms. North-Holland, Amsterdam (1978)
Royer, J.S.: A Connotational Theory of Program Structure. LNCS, vol. 273. Springer, Heidelberg (1987)
Manna, Z., Ness, S., Vuillemin, J.: Inductive methods for proving properties of programs. In: Proc. of ACM Conference on Proving Assertions about Programs, pp. 27–50 (1972)
Smullyan, R.: Theory of Formal Systems. Annals of Mathematics Studies, vol. 47. Princeton University Press, Princeton (1961)
Case, J.: Sortability and extensibility of the graphs of r.e. partial and total orders. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 22(1), 1–18 (1976)
Knuth, D.: The Art of Computer Programming, 2nd edn. Fundamental Algorithms, vol. I. Addison-Wesley, Reading (1973)
Wiehagen, R., Zeugmann, T.: Learning and consistency. In: Lange, S., Jantke, K.P. (eds.) GOSLER 1994. LNCS (LNAI), vol. 961, pp. 1–24. Springer, Heidelberg (1995)
Riccardi, G.: The independence of control structures in abstract programming systems. Journal of Computer and System Sciences 22(2), 107–143 (1981)
Friedberg, R.M.: Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication. Journal of Symbolic Logic 23(3), 309–316 (1958)
Kummer, M.: An easy priority-free proof of a theorem of Friedberg. Theoretical Computer Science 74(2), 249–251 (1990)
Adami, C.: What do robots dream of? Science 314(5802), 1093–1094 (2006)
Bongard, J., Zykov, V., Lipson, H.: Resilient machines through continuous self-modeling. Science 314(5802), 1118–1121 (2006)
Conduit, R.: To sleep, perchance to dream. Science 315(5816), 1219–1220 (2007); A letter, including responses from Adami, C., Lipson, H., et al.
Schmidhuber, J.: Prototype resilient, self-modeling robots. Science 316(5825), 688 (2007); A letter, including responses from Lipson, H., et al.
Case, J., Moelius, S.: Characterizing Programming Systems Allowing Program Self-reference. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol. 4497, pp. 125–134. Springer, Heidelberg (2007)
Case, J., Moelius, S.: Independence Results for n-Ary Recursion Theorems (Expanded Version) (2009), http://www.cis.udel.edu/~moelius/publications
Kozen, D.: Indexings of subrecursive classes. Theoretical Computer Science 11(3), 277–301 (1980)
Royer, J., Case, J.: Subrecursive Programming Systems: Complexity and Succinctness. Birkhäuser, Boston (1994)
Bertot, Y., Komendantsky, V.: Fixed point semantics and partial recursion in Coq. In: PPDP 2008: Proc. of 10th Intl. ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 89–96 (2008)
Case, J., Moelius, S.: Properties Complementary to Program Self-Reference. In: Kučera, L., Kučera, A. (eds.) MFCS 2007. LNCS, vol. 4708, pp. 253–263. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Case, J., Moelius, S.E. (2009). Independence Results for n-Ary Recursion Theorems. In: Kutyłowski, M., Charatonik, W., Gębala, M. (eds) Fundamentals of Computation Theory. FCT 2009. Lecture Notes in Computer Science, vol 5699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03409-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-03409-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03408-4
Online ISBN: 978-3-642-03409-1
eBook Packages: Computer ScienceComputer Science (R0)