-
Views
-
Cite
Cite
ROBERT BLACK, Proving Church's Thesis, Philosophia Mathematica, Volume 8, Issue 3, October 2000, Pages 244–258, https://doi.org/10.1093/philmat/8.3.244
- Share Icon Share
Abstract
Arguments to the effect that Church's thesis is intrinsically unprovable because proof cannot relate an informal, intuitive concept to a mathematically defined one are unconvincing, since other 'theses' of this kind have indeed been proved, and Church's thesis has been proved in one direction. However, though evidence for the truth of the thesis in the other direction is overwhelming, it does not yet amount to proof.
This content is only available as a PDF.
© Oxford University Press
Issue Section:
Articles
You do not currently have access to this article.