This collective work of German mathematicians contains an elementary exposition of the theory of Turing machines and recursive functions - an important section of modern mathematical logic, which is widely used in cybernetics. In addition to the foundations of this theory, the book contains a number of significant results, including recent achievements (in particular, Kolmogorov's results on the connection of Turing machines with the foundations of probability theory).