Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Relatively computable functions of real variables
Zhou Q. Computing67 (2):167-181,2001.Type:Article
Date Reviewed: Jul 19 2002

Beginning with Grzegorczyk’s important concepts of hierarchies of recursive functions, computable functionals, and computable real-valued continuous functions [1], the author gives a well-written and comprehensive exposition of the basic notion of relative computability for continuous real-valued functions. Considerable attention is given to ideas of degrees of recursive unsolvability of formal operations leading from the computable toward the noncomputable. Indeed, this effort mainly addresses open question 2 given in the addendum of Pour-El and Richards [2]. Although Myhill [3] has given a recursive function defined on a compact interval and having a continuous derivative that is not recursive, the author shows that the derivative is semicomputable.

Reviewer:  A. A. Mullin Review #: CR126275 (0209-0518)
1) Grzegorczyk, A. On the definitions of computable real continuous functions. Fundamenta Mathematicae 44, 1(1957), 61–71.
2) Pour-El, M.B.; Richards, I. Computability in Analysis and Physics. Springer, New York, 1989.
3) Myhill, J. R. A recursive function defined on a compact interval and having a continuous derivative that is not recursive. Michigan Math. J. 18, 2(1971), 97–98.
Bookmark and Share
 
Computability Theory (F.4.1 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Computability Theory": Date
Computability and logic
Cohen D., Halsted Press, New York, NY, 1987. Type: Book (9789780470208472)
Feb 1 1988
Recurring dominoes: making the highly undecidable highly understandable
Harel D.  Topics in the theory of computation (, Borgholm, Sweden,711985. Type: Proceedings
Apr 1 1986
Computability theory, semantics, and logic programming
Fitting M., Oxford University Press, Inc., New York, NY, 1987. Type: Book (9789780195039610)
Oct 1 1987
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy