Abstract
In the last two chapters we considered the properties of μ-recursive functions. It was shown that the class of μ-recursive functions is the same as the class of Turing-computable functions and so the same as the class of the functions which are computable in the intuitive sense. Thus, we can say that the concept of μ-recursive function, just like that of Turing-computable function, is a precise replacement of the concept of computable function. Another concept which can be considered to be a precise replacement of the concept of computable function (and which historically precedes the concept of μ-recursive function) is the concept of recursive function (Herbrand, Gödel, Kleene). After the definition of recursiveness (in § 19) we shall show in the two following paragraphs that the class of μ-recursive functions coincides with the class of recursive functions.
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
Kleene, S. C.: General Recursive Functions of Natural Numbers. Math. Ann. 112, 727–742 (1936).
Kalmar, L.: Über ein Problem, betreffend die Definition des Begriffes der allgemeinrekursiven Funktion. Z. math. Logik 1, 93–96 (1955). (Here we find the example dealt with in Section 7.)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1965 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hermes, H. (1965). Recursive Functions. In: Enumerability · Decidability Computability. Die Grundlehren der Mathematischen Wissenschaften, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-11686-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-11686-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-11688-3
Online ISBN: 978-3-662-11686-9
eBook Packages: Springer Book Archive