Recursive functions and Church’s thesis

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


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.


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 Science+Business Media New York 1977

Authors and Affiliations

  • Yu. I. Manin
    • 1
  1. 1.V. A. Steklov Mathematical Institute of the Academy of SciencesMoscowUSSR

Personalised recommendations