134 books for « post b j »Edit

‎[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]‎

‎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.‎

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

‎[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.‎

‎[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]‎

‎[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).‎

‎FIRST CATCH YOUR ELAND A TASTE OF AFRICA ‎

‎LONDON THE HOGARTH PRESS 1977‎

‎Edizione del 1977 di questa interessante opera interamente dedicata al cibo in Sud Africa scritta da Laurens Van Der Post (1906-1996). L'autore descrive la varietà gastronomica: dalla semplice antilope alla brace dei primitivi Bushman fino alle elaborate torte salate dei coloni del Capo. In buone condizioni. Copertina editoriale con sovraccoperta in buone condizioni generali con lievi usure ai margini e dorso. Sovraccoperta con usure e mancanze. Legatura in buone condizioni. Pagine in ottime condizioni con rare fioriture. In 8. cm 22x14,5. Pp. X+211.Edition of 1977 of this interesting work entirely dedicated to food in South Africa written by Laurens Van Der Post (1906-1996). The author describes food variety: from simple barbecued antylope of primitive Bushman to elaborate pastries of colons of the Cape. In good conditions. Editorial cover with dustjacket in good conditions little worn in the extremities. Dustjacket with wearings and lackings. Binding in good condition. Pages in very good conditions with occasional foxing. In 8. cm 22x14,5. Pp. X+211.‎

‎THERE WAS A LADY. LOVED A SWINE EN ANDERE VOLKSVERSJES,‎

‎Amsterdam, Querido, 1997 Gebonden, blauw halflinnen, 155 x 245mm., pagina's niet genummerd, prachtige z/w tekeningetjes van Mance Post. ISBN 9021478463.‎

‎Prachtige tekeningen bij door de kunstenares gekozen bakerrijmen. In prima staat.‎

‎The Central China Post - A Daily Newspaper‎

‎Hankow, october 1927. 1 set of 5 daily newspapers, published in Hankow, October 1927 ), large size (60*48 cm), all numbers in good condition. With many full page advertisements. Each issue offers various contents, such as political news, commercial news, shipping news, etc...Vol 17, Nos 4890-4891-4892-4893-4894.‎

‎An interesting set of 5 chinese daily newspapers, published in Hankow, in english language. ‎

‎Ceci est le Testament Post-Mortem de Georges Clemenceau.‎

‎Edition E. Figuière Paris 1937 In-8 ( 190 X 120 mm ) de 190 pages, broché sous couverture imprimée. Bon exemplaire.‎

‎Faux et usage de faux‎

‎ 2010 Paris, Seuil, 2010, 22.5x14cm, 327 pp., livre neuf car service de presse ‎

‎. ‎

‎Venture to the interior‎

‎ 1953 London, The Reprint Society, 1953 13 x 19 cm, 254 pp, Publisher binding a bit passed, interior in good condition, ‎

‎. ‎

‎# TITRE: Flora of Syria, Palestine and Sinai‎

‎ # AUTEUR: Post George E. # ÉDITEUR: American press Beirut # ANNÉE ÉDITION: 1932 # COUVERTURE: Percaline bleue - titre doré # DÉTAILS: In 8° relié XXXXIII + 658pp. Volume 1 seul. Second edition extensively revised and enlarged by J.E.Dinsmore. 406 figures in-t # PHOTOS visibles sur www.latourinfernal.com‎

‎ # ÉTAT: Très bon état‎

‎Post Typography‎

‎Pyramyd (1 janvier 2008)‎

‎Livre neuf, jamais ouvert.‎

‎Leningrad visivaem. Carte postale originale en couleurs. Design de l'avant-garde russe. Signature du graphiste en bas à droite : XMs.‎

‎Leningrad, tip. Ivana Fedorova. Leningradskii oblastlit No 9596. Tir. 20000. Isogiz No. 281. sans date (ca 1930), 14,7 x 10,7 cm, ‎

‎Leningrad appelle. Propagande soviétique : Les ouvriers de Leningrad accomplissent le plan quinquennal en 3 ans... . Graphisme typique de l'avant-garde russe. Ancienne notice manuscrite au verso. Bon état. - Leningrad is calling up. Soviet propaganda : Leningrad workers fulfill the five year plan in 3 years... . Vintage post card. Russian avant-garde design. Contemporary handwritten notice on verso. Good copy. - Leningrad ruft auf. Sowjet Propaganda : die Leningrader Arbeiter erfüllen den 5-Jahresplan in 3 Jahren... . Vintage Postkarte. Design der russischen Avantgarde. Zeitgenössische, handschriftliche Notiz auf der Rückseite. Ungelaufen, gut erhalten. ‎

‎Shangai under Fire. Fourth printing. A Pictorial Record of Shangai's undeclared war, as photgraphed by Shangai Evening Post & Mercury staff photographers.‎

‎2. Shangai, Shangai Evening Post, s.d. (ca. 1970 ?), fourth printing, in-4°, ca. 100 nn pp with photographs of the Chinese-Japanese war, stapled, original printed wrapper, spine a bit damaged, still a good copy. The end-papers represent maps of the war zone. Text in English.‎

‎POST-ZEITSCHRIFT [No 4 - 1939] REVUE DES POSTES SUISSES‎

‎ 1939 1939.‎

‎Studies in History and Philosophy of Science - volume 2, number 3 - November 1971‎

‎Pergamon Press , Studies in History and Philosophy of Science Malicorne sur Sarthe, 72, Pays de la Loire, France 1971 Book condition, Etat : Bon paperback grand In-8 1 vol. - 99 pages‎

‎ Contents, Chapitres : G. Frege : On the law of inertia (translated by H. Jackson and E. Levy) - H.R. Post : Correspondence, invariance, and heuristics : in praise of conservative induction - Discussion : A note on Berkeley 's corpuscularian theories in Siris , Gabriel Moked - Essay reviews : F. Darwin, ed. The life and letters of Charles Darwin , reviewed by Ernst Mayr - Ghiselin , The triumph of the Darwinian method, by Frank N. Egerton - Rosenblueth, Mind and Brain, by Abraham S. Luchins - books received working copy from Pierre Thuillier, few annotations at pencil‎

‎Acupuncture in Animals - in conjonction with the australian veterinary acupuncture association prceedings 167 --- 15/19 july 1991‎

‎Post Graduate Foundation in 1994 169 pages in4. 1994. Broché. 169 pages.‎

6 Images

‎Bon état bonne tenue sous papier de soie intérieur propre‎

‎Fleurs Des Champs Et Des Bois‎

‎Nathan Reli D'occasion bon tat 01/01/2012 150 pages ‎

‎DISQUE VINYLE 33T FUSED. BRIARWOOD EXPRESS / LOVINGLY / BIG MOUTH HARP / COUNTRY ODE / NOT A BLADE OF GRASS / SHADY GROOVE / OVERGROUND FUSION...‎

‎WARNER BROS. 1975. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Photo de Mike POST sur la couverture. Référence n° K 56163.. . . . Classification : 410-33 Tours‎

‎ Classification : 410-33 Tours‎

‎EXPOSE DE LA SITUATION DE L'EMPIRE FRANÇAIS. 1806 et 1807.‎

‎Paris ou Rouen, période post-révolutionnaire à 1841. Trente fascicules législatifs réunis en un volume in-8. Quelques taches et salissures. Demi-basane fauve milieu XIX ème siècle.‎

7 Images

‎- Exposé de la Situation de l'Empire (Rouen, 1807, 48 pp.) - Passage du Premier Consul à Yvetot (Rouen, Duval, s.d., 8 pp.) - Procès-Verbal de la Célébration de la Fête du 14 juillet dans la commune d'Yvetot le 25 Messidor an viii (Yvetot, Lenud, 15 pp.) - Conscription militaire.( Rouen, Périaux, 26 avril 1807, 6 pp.) - Le Préfet... aux habitans des Campagnes, sur des infiltration d'Anglais (Rouen, imp. De la Préfecture, 8 pp.) - Arrêté sur les déserteurs (Rouen, Leconte, 5 nivôse an viii, 8 pp.) - Arrêté sur la construction d'un Vaisseau de 74 canons (Rouen, Périaux, 18 prairial an II, 10 pp.) - Arrêté sur l'Adjudication de la Perception pour l'an 9 (Rouen, Périaux, 4 pp.) - Arrêté sur les envois du Bulletin des Lois aux Maires (Rouen, Leconte, 3 pp.) - Recouvrement des Contributions (Rouen, Baudry, 28 Frimaire an 9, 10 pp.) - Conscrits et Réquisitionnaires (Rouen, Périaux, 17 ventôse an 8, 22 pp.) - Constitution de la République Française (Paris, Imp. De la République, portrait de Louis XVI en front., 20 pp., 28 frimaire an 8) - Appel Nominal des 3 et 4 frimaire... Contre le citoyen Carrier (Paris, Imp. Nales,an III, 37 pp.) - Recueil des Actions héroïques et civiques des Républicains français (Paris, Imp. Nale, an II, 20 pp.) - Instruction... Sur les scrutins (Rouen, Périaux, 8 pp., 13 ventôse an 9) - Appel à tous les Français contre les calomnies ...comte de Bourmont en 1815 (Paris, Poussielgue, 16 pp.) - Ordonnance du Roi sur les Comités de Charité (Rouen, Mégard, 29 février 1816, 8 pp.) - Naissance du Duc de Bordeaux (Rouen, Périaux, 24 pp., 1820) - Rapports sur les affaires des 5 et 6 juin 1832 ( Paris, Imp. Royale, juin 1832, 16 pp.) - Cour des Pairs, attentat du 15 octobre 1840 (Imp. Royale, mai 1841, 88 pp.) - Attentat du 13 septembre 1841 ( Imp. Royale, nov. 1841, 56 pp.) - Discours de M. Guizot du 28 novembre 1840 et du 12 mars 1834 (Henry,14 et 14 pp.) - Biens et rentes des communes (Rouen, Périaux, 1833, 3 pp.) - Législation de la Vaine pâture (Rouen, Périaux, 1791, 4 pp.) - Sur les Maladies chroniques, maladies des yeux, des moutons, Eau des Jacobins du sieur Leber (8, 8, 12, 4 pp.) - Etablissement de secours... Contre les incendies (Paris, Delacour, 15 pp.) ‎

‎Etude historique et philatélique : Léopold 1er (1790-1865).‎

‎"Editions ""Pro-Post"" 1965." 15 x 21, sans pagination, 33 figures, broché, bon état.‎

‎Edité à l'occasion du centième anniversaire du décès de S.M. le Roi Léopold Ier.‎

‎Frans Post : Interprête du Brésil. Préface de J. Lavalleye.‎

‎Amsterdam, Rio de Janeiro, Colibris, 1962 ; in-4, cartonnage entoilé, jaquette illustrée en couleurs.100 planches dont le frontispice et 8 hos-texte en couleurs. Catalogue raisonné. Tirage à 800 exemplaires numérotés.‎

‎Jaquette légèrement défraîchie, sinon très bon état.‎

‎Les industries post-glaciaires du Périgord. Richement illustré (dessins, cartes...)‎

‎Paris, éditions Maisonneuve 1971. Bel in-4 broché, couverture ornée d'éd., 476 pages avec annexes.‎

‎Antidepressants‎

‎NOVA SCIENCE PUBLISHERS INC (8/2012)‎

‎LIVRE A L’ETAT DE NEUF. EXPEDIE SOUS 3 JOURS OUVRES. NUMERO DE SUIVI COMMUNIQUE AVANT ENVOI, EMBALLAGE RENFORCE. EAN:9781620815557‎

‎Faux Et Usage De Faux‎

‎ Points PHOTOS SUR DEMANDE ‎

‎En regardant le temps passer...à Lyon au XVIème siècle (d'après le plan scénographique de 1550)‎

‎ sd Association Lyon - sd - In-8 broché - 216 pages - Nombreuses reproductions photographiques‎

‎Bon état ‎