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 


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