Skip to Content

POST, EMIL LEON.

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

Herman H. J. Lynge & Søn A/S
lyn42609
[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.
Address:
Silkegade 11
DK-1113 Copenhagen
Denmark
Phone:
CVR/VAT:
DK 16 89 50 16

Recently Added From Herman H. J. Lynge & Søn A/S

Hellige Taler, udgivne til Bedste for de, ved…
More Photos
SMITH, L.
Herman H. J. Lynge & Søn A/S
lyn62722
Fridericia, Kongl. privil. Adressecontoirs Bogtrykkerie, 1787. 8vo. In contemporary full sprinkled calf with five raised bands and richly gilt spine. Edges of boards with wear and leather on spine cracked. (32), 368, (1) pp. First edition of this scarce publication issued in the aftermath of the catastrophic Vejle fire of 23 April 1786, which destroyed much of the town. The book is a collection of religious sermons, published with the purpose of raising funds to aid the impoverished citizens of Vejle who had lost their homes and livelihoods in the fire.
More info
Norges Konge=Krønike. Fordansket ved Nik. Fred.…
More Photos
SNORRE STURLESØN. SNORRI, SNORRO.
Herman H. J. Lynge & Søn A/S
lyn62716
Kiøbenhavn, 1818-22. 4to. Uniformly bound in three half calf bindings. Some wear to extremities, hindges split. Internally with light marginal browning, but generally nice and clean. Førsteudgaven af Grundtvigs oversættelse.
Lettres Francoises Et Germaniques: Ou Reflexions…
More Photos
DE MAUVILLON, ELEAZAR.
Herman H. J. Lynge & Søn A/S
lyn62721
Londres, Francois Allemand, 1740. 8vo. In contemporary full calf with with gilt ornamentation to spine and boards with ruled fillets. Stamp to title-page, light wear to extremities, internally nice and clean. (10), 506, (2), 64 pp.
Genealogisk Haandbog til Oplysning om alle nu…
More Photos
GENEALOGISK HAANDBOG
Herman H. J. Lynge & Søn A/S
lyn62711
Odense, 1786. 8vo. In contemporary marbled boards, small paper-label pasted on to spine. Light wear to extremities, otherwise a nice and clean copy. 100 pp.
Norges Konge=Krønike. Fordansket ved Nik. Fred.…
More Photos
SNORRE STURLESØN. SNORRI, SNORRO.
Herman H. J. Lynge & Søn A/S
lyn62718
Kiøbenhavn, 1818-22. 4to. Three parts bound in one contemporary half calf binding. Wear to extremities, lower part of spine with repair. Previous owner's name in contemporary hand to front free end-paper. Internally nice and clean.
Anmärkiningar Om biåsestenen. (In:
More Photos
BERGIUS, PETER JONAS
Herman H. J. Lynge & Søn A/S
lyn62692
(Stockholm, 1777). 8vo. As extracted from "Kungl. Svenska vetenskapsakademiens handlingar", uncut unopened. Fine and clean. Pp. 304-309.