TURING, Alan. 'Computability and -\Kl\k definability.' Offprint from: Journal of Symbolic Logic, vol. 2, no. 4. 1937. 8° (254 x 178mm). 12pp., 153-163. [Bound with:] -- 'The p-function in \Kl\k-K-conversion', Offprint from: Journal of Symbolic Logic, vol. 2, no. 4. 1937. 8° (254 x 178mm). 1p., 164. Situated on last page of previous offprint. Original self wrappers, stapled. (First leaf detached and with tiny marginal tear without loss, last leaf almost detached, occasional light finger-soiling).
'The purpose of the present paper is to show that the computable functions introduced by the author [in On computable numbers] are identical with the lambda-definable functions of Church and the general recursive functions due to Herband and Gödel and developed by Kleene.' This paper represents a fuller explanation of the appendix published in On computable numbers, linking both Church's and Turing's independent research.
TURING, Alan. 'Computability and -\Kl\k definability.' Offprint from: Journal of Symbolic Logic, vol. 2, no. 4. 1937. 8° (254 x 178mm). 12pp., 153-163. [Bound with:] -- 'The p-function in \Kl\k-K-conversion', Offprint from: Journal of Symbolic Logic, vol. 2, no. 4. 1937. 8° (254 x 178mm). 1p., 164. Situated on last page of previous offprint. Original self wrappers, stapled. (First leaf detached and with tiny marginal tear without loss, last leaf almost detached, occasional light finger-soiling).
'The purpose of the present paper is to show that the computable functions introduced by the author [in On computable numbers] are identical with the lambda-definable functions of Church and the general recursive functions due to Herband and Gödel and developed by Kleene.' This paper represents a fuller explanation of the appendix published in On computable numbers, linking both Church's and Turing's independent research.
![TURING, Alan. 'Computability and -\Kl\k definability.' Offprint from: Journal of Symbolic Logic, vol. 2, no. 4. 1937. 8° (254 x 178mm). 12pp., 153-163. [Bound with:] -- 'The p-function in \Kl\k-K-conversion', Offprint from: Journal of Symbolic Logic, vol. 2, no. 4. 1937. 8° (254 x 178mm). 1p., 164. Situated on last page of previous offprint. Original self wrappers, stapled. (First leaf detached and with tiny marginal tear without loss, last leaf almost detached, occasional light finger-soiling).](https://devapim.christies.com/uat/lot-images/5685696/2013/CKS/2013_CKS_01176_0128_000(turing_alan_computability_and_-_kl_k_definability_offprint_from_journa111306).jpg?maxwidth=3840)