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).
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).
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.
.jpg?w=400 "Source: Christie's")
Try LotSearch and its premium features for 7 days - without any costs!
Be notified automatically about new items in upcoming auctions.
Create an alert
.jpg "Source: Christie's")
.jpg "Source: Christie's")
.jpg "Source: Christie's")
.jpg "Source: Christie's")
