Skip to Content

CHURCH, ALONZO (+) EMIL L. POST.

[Church:] A note on the Entscheidungsproblem (+) Correction to A note on the Entscheidungsproblem (+) [Post:] Finite combinatory processes-formulation I. [In "Journal of Symbolic Logic", Volume 1, number 1 + 3, 1936] - [THE FOUNDATION FOR MODERN COMPUTER LOGIC]

Herman H. J. Lynge & Søn A/S
lyn43552
Wisconsin, The Association for Symbolic Logic, 1936. Lev8vo. Entire volume one of "Journal of Symbolic Logic" (i.e. number 1-4), March, June, September, December 1936) BOUND WITH ALL THE ORIGINAL WRAPPERS in a blue half cloth with gilt lettering to spine. Crossed-out library paper-label to lower part of spine and top left corner of front board. Two library stamps (in Chinese) to back of front free end-paper. Chinese library-stamp (red) and stamped inventory-number lower part of all four front wrappers. Minor bumping to lower corner of nr. 4, otherwise internally a very fine and clean copy of the entire volume. [Church:] Pp. 40-1; 101-2. [Post:] Pp. 103-5. [Entire volume: 218 pp.].

First publication of Church's seminal paper in which he proved the solution to David Hilbert's "Entscheidungsproblem" from 1928, namely that it is impossible to decide algorithmically whether statements within arithmetic are true or false. In showing that there is no general algorithm for determining whether or not a given statement is true or false, he not only solved Hilbert's "Entscheidungsproblem" but also laid the foundation for modern computer logic. This conclusion is now known as Church's Theorem or the Church-Turing Theorem (not to be mistaken with the Church-Turing Thesis). The present paper anticipates Turing's famous "On Computable Numbers" by a few months. "Church's paper, submitted on April 15, 1936, was the first to contain a demonstration that David Hilbert's 'Entscheidungsproblem' - i.e., the question as to whether there exists in mathematics a definite method of guaranteeing the truth or falsity of any mathematical statement - was unsolvable. Church did so by devising the 'lambda-calculus', [...] Church had earlier shown the existence of an unsolvable problem of elementary number theory, but his 1936 paper was the first to put his findings into the exact form of an answer to Hilbert's 'Entscheidungsproblem'. Church's paper bears on the question of what is computable, a problem addressed more directly by Alan Turing in his paper 'On computable numbers' published a few months later. The notion of an 'effective' or 'mechanical' computation in logic and mathematics became known as the Church-Turing thesis." (Hook & Norman: Origins of Cyberspace, 250) The volume also contains 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, 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, independently 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).Even though Post's work to some degree has been outshined by Turing's, the present paper is of seminal importance in the history of the foundation for modern computer logic and the ideological basis for the modern computer.The volume also contains the following important papers by W. V. Quine:1. Toward a Calculus of Concepts. Pp. 2-25.2. Set-theoretic Foundations for Logic. Pp. 45-57.Hook & Norman, Origins of Cyberspace, 2002: 250 + 356 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

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.
Medicinische und philosophische Schrifften von…
More Photos
ALBERTI, MICHAEL.
Herman H. J. Lynge & Søn A/S
lyn62695
Halle im Magdeburgischen, Hendel, 1721. 8vo. In contemporary full calf with four raise bands and richly gilt spine. Traces from old paper-label to upper part of spine. Leather on spine cracked, spine-ends slightly chipped. Internally nice and clean. (14), 620, (28) pp. First collected edition of Alberti’s essays. Alberti (1682–1757), professor of medicine and philosophy at Halle and later rector of the university, was a leading disciple of Georg Ernst Stahl who considered the soul as having control on the body. Therapies involved dealing with the internal senses and feelings.
More info
O Capital. (i.e. Portuguese:
More Photos
MARX, CARLOS [KARL] (+) GABRIELLE DEVILLE (+) [Translator:] ALBANO DE MORAES.
Herman H. J. Lynge & Søn A/S
lyn62679
Lisboa, De Francisco Luiz Goncalves, 1912. 8vo. In the original red printed cloth-binding with black and white lettering. Spine with loss of the white lettering. Paper-label pasted on to lower inner margin of front board. Very light wear to extremities, Internally very fine and clean. 240 pp. The exceedingly scarce first Portuguese edition of the most important abridged version of Marx's Capital ever to have appeared, published fifty-six years before the first full Portuguese (but published in Brazil) translation and whole sixy-two years before the first full translation published in Portugal. Curiously, two translations of the present work were made 1912 but the present translation seems to have priority (see Bastien, "Readings and Translations of Karl Marx in Portugal"). After the 1933 rise of Salazar's dictatorial Estado Novo regime, suppression of the relatively newly founded Communist party grew. Members were arrested, tortured, and executed and many were sent to the Tarrafal concentration camp in the Cape Verde Islands. Communist literature suffered an equally repressive fate, hence the rarity of the present work. Marxism and especially Marxist writing caught on comparatively late in Portugal: "As for the Socialist Party - supposed to be the main expression of Marxism -, it revealed itself unable to stimulate effective theoretical and doctrinal efforts. Its existence was an example of ambiguity and inconsequence. Its political programme went on mixing Marxian elements, associationist tradition and positivist thinking. Its strategy balanced continuously between an alliance with republican politicians and the maintenance of political autonomy. Its tatics balanced between electoral abstencionism and an involvement in election processes, that never led it to a relevant position in parliament. Even its international relations showed a lasting ambiguity: it had been created according to the instructions of the Marxist majority at the Hague Congress, when most of its members tended to support political abstencionism. When the formation of the Second lnternacional was taking place in Paris in 1889 Portuguese socialists tried to join the Marxist congress, after being present at the possibilist congress. In 1920 they decided to join the Third lnternacional (what was not accomplished), at the same time that an internal reformist turn was taking place." (Bastien, "Readings and Translations of Karl Marx in Portugal"). "The epitome, here translated, was published in Paris, in 1883, by Gabriel Deville, possibly the most brilliant writer among the French Marxians. It is the most successful attempt yet made to popularize Marx's scientific economics. It is by no means free from difficulties, for the subject is essentially a complex and difficult subject, but there are no difficulties that reasonable attention and patience will not enable the average reader to overcome. There is no attempt at originality. The very words in most cases are Marx's own words, and Capital is followed so closely that the first twenty-five chapters correspond in subject and treatment with the first twenty-five chapters of Capital. Chapter XXVI corresponds in the main with Chapter XXVI of Capital, but also contains portions of chapter XXX. The last three chapters-XXVII, XXVIII, and XXIX-correspond to the last three chapters-XXXI, XXXII, and XXXIII-of Capital." (ROBERT RIVES LA MONTE, Intruductory Note to the 1899 English translation). Capital de Marx also had a Portuguese edition at this time, or better, two different editions, both in 1912, but only in translation of the survey of Book I published in France by Gabriel Deville in 1883 (Marx, 1912a and Marx, 1912b). This version omitted material dealt with in at least four chapters of the original text and was not particularly appreciated by Engels. It was a simplified text, aimed at supporting the training of socialist militants and that made it possible for them to have access, indirect, to the work of Marx. The other summaries and anthologies of Capital, which, with a purpose similar to that of Deville, circulated in Europe during this period or ignored in Portugal, as was the case with Carlo Cafiero, or were only occasionally mentioned, as was the case with Paul Lafargue and Karl Kautsky, in its French versions. OCLC list two copies, both in the US.
More info
His Pokhodzhennia vydiv cherez pryrodnyi dobir,…
More Photos
DARWIN, CHARLES.
Herman H. J. Lynge & Søn A/S
lyn62681
(Kharkiv), Derzhavne medychne vyd-vo (State Medical Publishing House), 1936. 8vo. In publisher's original grey cloth binding with black lettering to spine with Darwin's portrait embossed on front board. Wear to extremities, corner bumped and light spoling to back board. Inner hinges split and first 3 leaves partly detached. Last 20 ff. slighly creased due to dampstain, otherwise internally a nice and clean copy. 674 pp. + frontispiece, portrait of Darwin and 1 plate with genealogical tree. The exceedingly rare first Ukranian translation of Darwin's landmark 'Origin of Species'. OCLC only list two copies (Library of Congress and The Huntington Library, USA) Freeman F797.
More info
Om Krigen med England. Med Tanker om samme…
More Photos
BOYE, JOHANNES.
Herman H. J. Lynge & Søn A/S
lyn62687
Fridericia, S. Elmenhoff, 1809. 8vo. In nice recent marbled paper covered boards with leather title-label with gilt lettering to spine. Ex-libris (Bent W. Dahlstrøm) to verso of front board. A nice and clean copy. 40 pp. Biblioteca Danica III, 572.
Regras methódicas para se aprender a escreuer o…
More Photos
VENTURA DA SILVA, JOAQUIM JOSE.
Herman H. J. Lynge & Søn A/S
lyn62100
Lisboa, Officina de Simão Thaddeo Ferreira, 1803. Folio-oblong (365 x 255 mm). In contemporary half calf. Wear to extremies, upper part of spine with loss of leather. Ex-libris pasted on to pasted down front end-paper. With, primarily marginal, brownspotting throughout. Dampstain to inner margin and upper outer margin of last 10 ff. 32 ff. Rare first edition of the most celebrated Portuguese treatise on calligraphy. Joaquim José Ventura da Silva (1777–1849), regarded as one of Portugal’s finest calligraphers and teachers of writing, composed this methodological guide to handwriting in which he combines a historical survey of scripts used in Portugal with practical instruction for teaching and learning penmanship.Ventura da Silva is reffered to by Innocencio (Diccionario Bibliographico) as "one of the best Portuguese Calligraphers". A second edition was published in 1819, a third in 1841, and a facsimile was published in Porto in 1899.
More info