Recursive Functions and Church’s Thesis

  • Yu. I. Manin
Part of the Graduate Texts in Mathematics book series (GTM, volume 53)


1.1. The first part of this book was primarily concerned with mathematical proof ; we showed that the analogous concept in formal languages is that of formal deduction, after which the most interesting results were that certain intuitive mathematical assertions (such as the continuum hypothesis and its negation) are not deducible.

Our primary concern in the second part of the book is the notion of a determinate computational process, that is, the processing of information, or, briefly, the notion of an algorithm. In §2 we give a precise and presumably complete characterization of everything that can be obtained using computational algorithms. Then the most interesting results turn out to be assertions that certain intuitively defined functions cannot be computed by an algorithm (Chapter VI).

Both the theory of proof and the theory of computation can be presented in large part independently of one another. This is the approach we have adopted, even though it does not correspond to the historical development. But when the machinery of both theories has been developed to a certain point, it becomes possible to apply each theory to investigate the other. The third part of the book is devoted to such applications.


Partial Function Total Space Recursive Function Computable Function Elementary Operation 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York 2009

Authors and Affiliations

  1. 1.Max-Planck Institut für MathematikBonnGermany

Personalised recommendations