Finite Combinatory Processes-Formulation 1. [In: The Journal of Symbolic Logic, Vol. 1, Number 3, Sept. 1936]. - [A SIMULTANEOUS VERSION OF THE "TURING MACHINE"]

  • Erstausgabe
  • Softcover
  • Gebraucht
Alle Details anzeigen
Verkäuferin bzw. Verkäufer von Kulturgütern

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 757,82

 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

[No place], 1936. 8vo. Extract, unbound, unstapled. Pp. 103-105. The uncommon first printing of Post's seminal paper, in which he, simultaneously with but independently of Turing, describes a logic automaton, which very much resembles the Turing machine. The Universal Turing Machine, which is presented for the first time in Turing's seminal paper in the Proceedings of the London Mathematical Society for 1936 (same year as the present paper), is considered one of the most important innovations in the theory of computation and constitutes the most famous theoretical paper in the history of computing. "Post [in the present paper] suggests a computation scheme by which a "worker" can solve all problems in symbolic logic by performing only machinelike "primitive acts". Remarkably, the instructions given to the "worker" in Post's paper and to a Universal Turing Machine were identical." (A Computer Perspective, p. 125). "The Polish-American mathematician Emil Post made notable contributions to the theory of recursive functions. In the 1930s, indepently of Turing, Post came up with the concept of a logic automaton similar to a Turing machine, which he described in the present paper [the paper offered]. Post's paper was intended to fill a conceptual gap in Alonzo Churchs' paper on "An unsolvable problem of elementary number theory" (Americ. Journ. of Math. 58, 1936). Church's paper had answered in the negative Hilbert's question as to whether a definite method existed for proving the truth or falsity of any mathematical statement (the Entscheidungsproblem), but failed to provide the assertion that any such definite method could be expressed as a formula in Church's lambda-calculus. Post proposed that a definite method would be written in the form of instructions to a mindless worker operating on an infinite line of "boxes" (equivalent to Turing's machine's "tape"). The worker would be capable only of reading the instructions and performing the following tasks. This range of tasks corresponds exactly to those performed by a Turing machine, and Church, who edited the "Journal of Symbolic Logic", felt it necessary to insert an editorial note referring to Turing's "shortly forthcoming" paper on computable numbers, and ascertaining that "the present article. although bearing a later date, was written entirely independently of Turing's" (p. 103)." (Origins of Cyberspace, pp. 111-12).Hook & Norman, Origins of Cyberspace, 2002: 355.Charles & Ray Eames, A Computer Perspective, 1973: 125.

Bestandsnummer des Verkäufers 42609

Bibliografische Details

Titel
Finite Combinatory Processes-Formulation 1. [In: The Journal of Symbolic Logic, Vol. 1, Number 3, Sept. 1936]. - [A SIMULTANEOUS VERSION OF THE "TURING MACHINE"]
Autor
"POST, EMIL LEON.
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