Gå till innehållet

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).
Adress:
Silkegade 11
DK-1113 Copenhagen
Denmark
Telefon:
CVR/VAT:
DK 16 89 50 16

Nyligen tillagda från Herman H. J. Lynge & Søn A/S

Anmärkiningar Om biåsestenen. (In:
Se fler bilder
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.
Defensio regia pro Carolo I. Ad Sereniss. Magnae…
Se fler bilder
SAUMAISE; CLAUDE.
Herman H. J. Lynge & Søn A/S
lyn62707
(Leiden, Netherlands), Sumptibus Regiis, 1649. 12mo. In contemporary full calf with four raise bands and richly gilt spine. Edges of boards gilt. Previous owner's name to title-page. Worm-tract throughout, otherwise internally nice and clean. 444 pp.
Pierre Simon Laplace 1749-1827. A Determined…
Se fler bilder
HAHN, ROGER.
Herman H. J. Lynge & Søn A/S
lyn62703
Cambridge (MA), Harvard University Press, 2005. 8vo. In the original full cloth publisher's binding with title to spine. With the original dust jacket. Ownership signature to inside of front board. Internally clean. X, (1), 310 pp.
Medicinische und philosophische Schrifften von…
Se fler bilder
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.
Visa mer
Tale i Anledning af hans Kongelige Høihed…
Se fler bilder
BUGGE, THOMAS.
Herman H. J. Lynge & Søn A/S
lyn62706
Kiøbenhavn, Møller, (1774). 8vo. In contemporary full sprinkled calf with five raised bands and gilt ornamentation to spine. Edges of boards gilt. All edges coloured in red. Old paper-label pasted on to top of spine. Head of spine chipped. Internally very nice and clean, printed on good paper. 24 pp.
O Capital. (i.e. Portuguese:
Se fler bilder
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.
Visa mer