Abstract
Let g E(m, n)=o mean that n is the Gödel-number of the shortest derivation from E of an equation of the form ϕ(m)=k. Hao Wang suggests that the condition for general recursiveness ∀m∃n(g E(m, n)=o) can be proved constructively if one can find a speedfunction ϕ s s, with ϕ s(m) bounding the number of steps for getting a value of ϕ(m), such that ∀m∃n≦ϕ s(m) s.t. g E(m, n)=o. This idea, he thinks, yields a constructivist notion of an effectively computable function, one that doesn't get us into a vicious circle since we intuitively know, to begin with, that certain proofs are constructive and certain functions effectively computable. This paper gives a broad ‘possibility’ proof for the existence of such classes of effectively computable functions, with Wang's idea of effective computability generalized along a number of dimensions.
Similar content being viewed by others
References
M. Blum, A machine dependent theory of the complexity of recursive functions, Joùrnal for the Association of Computing Machinery 15 (1967), pp. 322–336.
W. A. Burkhard and F. W. Kroon, Toward a weakly invariant complexity theory, Proceedings of the 1971 IEE Switching and Automata Theory Symposium, 1971, pp. 24–31.
J. P. Cleave, A hierarchy of primitive recursive functions, Z.f. math. Logik und Grundlagen d. Math. 9 (1963), pp. 331–345.
A. Grzegorczyk, Some classes of recursive functions, Rozprawy Matematyczne (1953), pp. 1–45.
J. Hartmanis and J. E. Hopcroft, An overview of the theory of computational complexity, Journal for the Association of Computing Machinery 20 (1972).
S. C. Kleene, Extension of an effectively generated class of functions by enumeration, Colloquium Mathematicum 6 (1958), pp. 67–78.
M. Machtey, Augmented loop languages and classes of computable functions, Journal Computer and System Sciences 6(1972), pp. 603–624.
R. W. Ritchie, Classes of predictably computable functions, Trans. AMS 106 (1963), pp. 139–173.
H. Rogers Jr., Gödel numbering of partial recursive functions, Journal of Symbolic Logic 23 (1965), pp. 139–175.
H. Rogers Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.
J. C. Shepherdson and H. E. Sturgis, Computability of recursive functions, Journal for the Association for Computing Machinery 10 (1963), pp. 217–255.
H. Wang, A Survey of Mathematical Logic, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1964.
H. Wang, From Mathematics to Philosophy, Routledge and Kegan Paul, London, 1974.
Author information
Authors and Affiliations
Additional information
We are grateful to an anonymous referee for Studia Logica for valuable advice leading to substantial improvements in the presentation of the main definitions and theorem.
Rights and permissions
About this article
Cite this article
Kroon, F.W., Burkhard, W.A. On a complexity-based way of constructivizing the recursive functions. Stud Logica 49, 133–149 (1990). https://doi.org/10.1007/BF00401559
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00401559