Abstract
The fundamental notion of computability theory is that of the computable functions f : ℕk→ ℕ, where ℕ ={0,1,2,...} is the set of natural numbers and the dotted arrow indicates a partial function. By definition, a function f : ℕk→ℕ (k∈ℕ) is computable iff there is a register machine which computes it (c f. Chapter 1.2, Def. 3). The domain of f consists of those inputs for which the register machine halts. There are several other equivalent definitions (see Part 1 of this book). By Church’s Thesis the computable functions are exactly those number functions which are intuitively computable. This thesis is not a theorem since the concept “intuitively computable” is not precisely defined. The theory of computability does not depend on the validity of Church’s Thesis which is only used for interpreting the results. By P(k)we denote the set of k-ary partial recursive functions f : ℕk→ℕ, by R(k) we denote the set of k-ary total recursive functions (c f. Def. 1.7.6). For proving that a function f : ℕk→ℕ is computable, usually it is shown that a register machine exists which computes f. In practice such a proof is not elaborated in all details. The first essential step consists of the definition of an abstract machine M ( = input encoding + output encoding + flowchart, c f. Chapter 1.1) and a proof of f = fM (correctness). The flowchart of the machine should be sufficiently detailed such that transformation of the machine M into a register machine by refinement and simulation is a routine exercise which generally is not executed. Usually it suffices to specify the flowchart only informally and incompletely using e.g. ALGOL like notation such that a precise specification can be derived easily. In future we shall proceed in this manner.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Weihrauch, K. (1987). The Basic Concepts of Computability Theory. In: Computability. EATCS Monographs on Theoretical Computer Science, vol 9. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69965-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-69965-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-69967-2
Online ISBN: 978-3-642-69965-8
eBook Packages: Springer Book Archive