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

  • Erstausgabe
  • Softcover
  • Gebraucht
Alle Details anzeigen
Artikelbild 1 von 3.

Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 2. November 2000

Verbandsmitglied: ABFILAB

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Gebraucht

EUR 1.102,41

 Versand gratis 
Versand von Dänemark nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

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

Bestandsnummer des Verkäufers 25248

Bibliografische Details

Titel
Computability and Lambda-Definability. (Extracted from The Journal of Sybolic Logic, Volume 2, 1937, pp.153-64.).
Autor
"TURING, A. M.
Einband
Softcover
Ausgabe
1. Auflage
Verkäuferkataloge
Mathematics

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

Copenhagen, Dänemark

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 2. November 2000

Verbandsmitglied:

Versandkosten von Dänemark nach USA

Artikel2 bis 4 Werktage7 bis 14 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal

Shop-Beschreibung

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.

Spezialisierung

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

Verbandsmitglied

  • Den Danske Antikvarboghandlerforening
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

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

Silkegade 11
Copenhagen, Dänemark 1113