Abstract
This paper deals with the computability of sequences of reals and sequences of functions within the framework of Grzegorczyk's hierarchy, which is in the Number 1 of the addendum to open problems in [4]. We combine the two concepts, computability of sequences of real valued functions and Grzegorczyk's hierarchy of recursive number theoretic functions, together, and examine the computability on real valued functions restricted to primitive recursion and below. Related approaches taken in the literature are the study of primitively recursive reals and real valued functions, and the study of polynomial time computable functions. The notions of (ε r) primitive computability for sequences of reals and real valued functions are introduced; relations between (ε r) primitive computabilities of sequences of reals and sequences of real valued functions are mathematically proved; some basic properties are studied.
Preview
Unable to display preview. Download preview PDF.
References
Grzegorczyk's, A. Some Classes of Recursive Functions, Rozprawy Matemathczne, No.IV (1953)
Grzegorczyk's, A. On the Definition of Computable Real Continuous Functions, Fund. Math., 44 (1957), 61–71
Ko & Friedman, Computational Complex of Real Functions, Theoretical Computer Science, 20 (1982), 323–352
Pour-El, M.B. & Richards, J.I. Computability in Analysis and Physics, Springer-Verlag, Berlin, Heudelberg, New York, London, Paris, Tokyo (1989)
Zhou, Q. Computable Real-Valued Functions on Recursive Open and Closed Subsets of Euclidean Space, Mathematical Logic Quarterly, 42 (1996), 379–409
Zimmerman, J.L. Classes of Grzegorczyk's-Computable Real Numbers, Ph.D. Thesis, Computer Science Department, The University of Minnesota, (1990)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhou, Q. (1997). Subclasses of computable real valued functions. In: Jiang, T., Lee, D.T. (eds) Computing and Combinatorics. COCOON 1997. Lecture Notes in Computer Science, vol 1276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0045082
Download citation
DOI: https://doi.org/10.1007/BFb0045082
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63357-0
Online ISBN: 978-3-540-69522-6
eBook Packages: Springer Book Archive