Computability and Lambda-Definability. (Extracted from The Journal of Sybolic Logic, Volume 2, 1937, pp.153-64.).

  • Primera edición
  • Tapa blanda
  • Usado
Ver todos los detalles
Imagen del artículo 1 de 3.
Vendedor patrimonial

Librería: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DinamarcaHerman H. J. Lynge & Søn ILAB-ABF

Vendedor de 4 estrellas

Vendedor de AbeBooks desde 2 de noviembre de 2000

Miembro de asociación: ABFILAB

Ver los artículos de este vendedor
Tapa blanda

Condición: Usado

EUR 1102,36

 Gastos de envío gratis 
Se envía de Dinamarca a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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).

N° de ref. del artículo 25248

Detalles bibliográficos

Título
Computability and Lambda-Definability. (Extracted from The Journal of Sybolic Logic, Volume 2, 1937, pp.153-64.).
Autor
"TURING, A. M.
Encuadernación
Encuadernación de tapa blanda
Edición
1ª Edición
Catálogos de vendedores
Mathematics

Herman H. J. Lynge & Søn ILAB-ABF

Copenhagen, Dinamarca

Vendedor de 4 estrellas

Vendedor de AbeBooks desde 2 de noviembre de 2000

Miembro de asociación:

Tarifas de envío de Dinamarca a Estados Unidos de America

ArtículoDe 2 a 4 días hábilesDe 7 a 14 días hábiles
Primer artículoEUR 0,00EUR 0,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Giro bancario
  • PayPal

Descripción de la tienda

Herman H. J. Lynge & Søn A/S was founded in 1821 and is the oldest antiquarian bookseller in Scandinavia. We specialize mainly in important and rare books in all fields of Science and the Humanities.

Especialidad

Old & rare books, History, Science, Linguistics, Philosophy, Religion, Medicine, Law, Archaeology, Travels

Miembro de asociación

  • Den Danske Antikvarboghandlerforening
  • International League of Antiquarian Booksellers
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

Herman H. J. Lynge & Søn A/S

Silkegade 11
Copenhagen, Dinamarca 1113