![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)
Details
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.
Brought to you by
Eugenio Donadoni
Check the condition report or get in touch for additional information about this
If you wish to view the condition report of this lot, please sign in to your account.