Write to the booksellers
Boolos George Jeffrey Richard C
Computability And Logic
Cambridge University Press 1981 304 pages 14 986x2 286x22 606cm. 1981. Broché. 304 pages.
Reference : 100147104
ISBN : 0521299675
Bon état ex-libris intérieur propre
Bookseller's contact details
Un Autre Monde
M. Emmanuel Arnaiz
07.69.73.87.31
Payment mode
Sale conditions
Conformes aux usages de la librairie ancienne.
2 book(s) with the same title
Reference : albe8ed16c9ef5e74ef
Bulos D., Jeffrey R. Computability and Logic. In Russian /Bulos D., Dzheffri
Bulos D., Jeffrey R. Computability and Logic. In Russian /Bulos D., Dzheffri R. Vychislimost i logika. Translation from English. Moscow World 1994. 396 p. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUalbe8ed16c9ef5e74ef.
Computability and Lambda-Definability. (Extracted from The Journal of Sybolic Logic, Volume 2, 1937, pp.153-64.).
1937. 8vo. Bound in recent marbled boards. Title-page for volume 2 of Journal of Symbolic Logic withbound.
First edition of Turing's important paper, in which he links Kleene's recursive functions, Church's lambda-definable functions and his own computable functions and proves them to be identical. In the appendix of his milestone-paper ""On Computable Numbers"" from 1936, Turing gave a short outline of a method for proving that his notion of computability is equivalent with Alonzo Church's notion of lambda-definabilty. It was not until the present article, however, that it was proved that Steven Kleene's general recursive functions, Church's lambda-definable functions and Turing's computable functions were all identical. Kleene had already proved that every general recursive function is lambda-definable, so by showing that computability follows from lambda-definability and that general recursiveness follows from computability, Turing had ended the circle, which was a primary reason for its acceptance as a notion of ""effective calculable"" demanded by Hilbert's Entscheidungsproblem.""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 Herbrand and Gödel and developed by Kleene."" Turing wrote this paper while at Princeton studying with Church.""(Hook and Norman No. 395)
