SOME REMARKS CONCERNING A PROOF OF CHURCH'S THESIS
Languages of publication
The aim of the article is to answer the four following questions concerning a proof of Church's thesis (CT). (1) Can the CT be treated as a synthetic definition? (2) How the CT should not be understood? (3) How can one understand the expression 'proof by the CT'? (4) Is any proof of the CT possible at all?
Publication order reference
CEJSH db identifier