Skip to Content

CHURCH, ALONZO (+) ALAN TURING (+) EMIL POST.

[Church:] A note on the Entscheidungsproblem (+) Correction to A note on the Entscheidungsproblem (+) Review of "A. M. Turing. On Computable numbers, with an application to the Entscheidungsproblem" (+) [Post:] Finite combinatory processes-formulation... - [LANDMARK VOLUME IN THE HISTORY OF LOGIC]

Herman H. J. Lynge & Søn A/S
lyn48376
[No place], The Association for Symbolic Logic, 1936 & 1937. Royal8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 1 & 2 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 16 pages. A very fine copy. [Church:] Pp. 40-1; Pp. 101-2. [Post:] Pp. 103-5. [Turing:] Pp. 153-163; 164. [Entire volume: (4), 218, (2), IV, 188 pp.]

First edition of this collection of seminal papers within mathematical logic, all constituting some of the most important contributions mathematical logic and computional mathematics. A NOTE ON THE ENTSCHEIDUNGSPROBLEM (+) CORRECTION TO A NOTE ON THE ENTSCHEIDUNGSPROBLEM (+) REVIEW OF "A. M. TURING. ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM":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) Church coined in his review of Turing's paper the phrase 'Turing machine'.FINITE COMBINATORY PROCESSES-FORMULATION I: 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 (received on October 7, 1936). Post's paper was intended to fill a conceptual gap in Alonzo Church's paper on 'An unsolvable problem of elementary number theory'. Church had answered in the negative Hilbert's 'Entscheidungsproblem' but failed to provide the assertion that any such definitive method could be expressed as a formula in Church's lambda-calculus. Post proposed that a definite method would be one written in the form of instructions to mind-less worker operating on an infinite line of 'boxes' (equivalent to the Turing machines 'tape'). The range of instructions proposed by Post 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 asserting that "the present article ... although bearing a later date, was written entirely independently of Turing's". (Hook & Norman: Origins of Cyberspace, 356).COMPUTABILITY AND LAMBDA-DEFINABILITY (+) THE Ø-FUNCTION IN LAMBDA-K-CONVERSION: The volume also contains Turing's influential "Computability and lambda-definability" in which he proved that computable functions "are identical with the lambda-definable functions of Church and the general recursive functions due to Herbrand and Gödel and developed by Kleene". (Hook & Norman: Origins of Cyberspace, 395).
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