Abstract
The present paper explores the interaction between two recursion-theoretic notions: program self-reference and learning partial recursive functions in the limit. Kleene’s Recursion Theorem formalises the notion of program self-reference: It says that given a partial-recursive function ψ p there is an index e such that the e-th function ψ e is equal to the e-th slice of ψ p . The paper studies constructive forms of Kleene’s recursion theorem which are inspired by learning criteria from inductive inference and also relates these constructive forms to notions of learnability. For example, it is shown that a numbering can fail to satisfy Kleene’s Recursion Theorem, yet that numbering can still be used as a hypothesis space when learning explanatorily an arbitrary learnable class. The paper provides a detailed picture of numberings separating various versions of Kleene’s Recursion Theorem and learnability.
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
Bārzdiņš, J.: Two theorems on the limiting synthesis of functions. Theory of Algorithms and Programs 1, 82–88 (1974)
Case, J.: The power of vacillation in language learning. SIAM Journal on Computing 28, 1941–1969 (1999)
Case, J., Jain, S., Suraj, M.: Control structures in hypothesis spaces: The influence on learning. Theoretical Computer Science 270(1-2), 287–308 (2002)
Case, J., Moelius III, S.E.: Program Self-reference in Constructive Scott Subdomains. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds.) CiE 2009. LNCS, vol. 5635, pp. 89–98. Springer, Heidelberg (2009)
Case, J., Smith, C.H.: Comparison of identification criteria for machine inductive inference. Theoretical Computer Science 25, 193–220 (1983)
Mark Gold, E.: Language identification in the limit. Information and Control 10, 447–474 (1967)
Jain, S.: Hypothesis spaces for learning. Information and Computation 209(3), 513–527 (2011)
Jain, S., Stephan, F.: Numberings optimal for learning. Journal of Computer and System Sciences 76(3-4), 233–250 (2010)
Kleene, S.C.: On notation for ordinal numbers. Journal of Symbolic Logic 3(4), 150–155 (1938)
Li, M., Vitányi, P.M.B.: An Introduction to Kolmogorov Complexity and Its Applications, 3rd edn. Texts in Computer Science. Springer (2008)
Moelius III, S.E.: Program Self-Reference. PhD thesis, University of Delaware (2009)
Nies, A.: Computability and Randomness. Oxford Logic Guides. Oxford University Press (2009)
Osherson, D.N., Weinstein, S.: Criteria of language learning. Information and Control 52, 123–138 (1982)
Riccardi, G.A.: The Independence of Control Structures in Abstract Programming Systems. PhD thesis, SUNY Buffalo (1980)
Riccardi, G.A.: The independence of control structures in abstract programming systems. Journal of Computer and System Sciences 22(2), 107–143 (1981)
Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. McGraw Hill (1967); Reprinted. MIT Press (1987)
Royer, J.S.: A Connotational Theory of Program Structure. LNCS, vol. 273. Springer, Heidelberg (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Case, J., Jain, S., Stephan, F. (2013). Effectivity Questions for Kleene’s Recursion Theorem. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2013. Lecture Notes in Computer Science, vol 7734. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35722-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-35722-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35721-3
Online ISBN: 978-3-642-35722-0
eBook Packages: Computer ScienceComputer Science (R0)