![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
查閱狀況報告或聯絡我們查詢更多拍品資料