Beschreibung:

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.