![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://www.christies.com/img/LotImages/2013/CKS/2013_CKS_01176_0128_000(turing_alan_computability_and_-_kl_k_definability_offprint_from_journa111306).jpg?w=1)
细节
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.
'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.
荣誉呈献
Eugenio Donadoni
查阅状况报告或联络我们查询更多拍品资料