A Course in Mathematical Logic pp 177-205 | Cite as
Recursive functions and Church’s thesis
Chapter
Abstract
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.
Keywords
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.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer Science+Business Media New York 1977