Recursive functions and Church’s thesis
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.
KeywordsPartial Function Total Space Recursive Function Computable Function Elementary Operation
Unable to display preview. Download preview PDF.