8 typed letters signed to Martin Davis, plus 2 drafts of one of Davis's replies
- Signé
- Livre broché
- Occasion
Vendeur : Jeremy Norman's historyofscience, Novato, CA, Etats-UnisJeremy Norman's historyofscience
Vendeur AbeBooks depuis 9 janvier 1999
Membre d’une association professionnelle : ABAAILAB
Afficher les articles de ce vendeurEtat: Occasion
EUR 4 072,31
Quantité disponible : 1 disponible(s)
Ajouter au panierItem description from seller
Kleene, Stephen C. (1909-94); Martin Davis (1928-2023). Collection of correspondence and other materials, consisting of: (1) 8 typed letters signed from Kleene to Davis. 8 sheets total. 1950-52. (2) Autograph letter signed from Davis to Kleene plus 2 draft versions of another of Davis's letters to Kleene. 15 sheets total. 1951-52. (3) Davis. Some preliminary remarks on recursively enumerable sets. Typed and autographed draft. 25 sheets total. N.d. [1952]. (4) Rice, Henry Gordon (1920-2003). Classes of enumerable sets and their decision problems. Offprint from Transactions of the American Mathematical Society 74 (1953). 358-366pp. 255 x 179 mm. Original printed wrappers, vertically creased, light soiling. Some creasing, soiling and marginal fraying, but very good. Complete listing available. "Kleene, along with Rózsa Peter, Alan Turing, Emil Post and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixed-point theorem. He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism" (Wikipedia article on Kleene). We are offering a collection of correspondence (plus related materials) between Kleene and Martin Davis, a mathematician and logician who made important contributions to computability theory. Davis's work on Hilbert's tenth problem-asking for a general algorithm to decide the solvability of Diophantine equations-led to the Matiyasevich-Robinson-Davis-Putman (MRDP) theorem implying that a solution to this problem is impossible. In No. 1 (see the calendar below), dated 26 April 1950, Kleene warned Davis of an error in his (Kleene's) 1944 paper "On the forms of the predicates in the theory of constructive ordinals," and expresses "the hope that nothing in the part of your thesis concerning the transfinite extension of the hierarchy of predicate forms depends on my alleged theorem that a O is expressible in the form (x) (Ey) R (A, x, y) . . ." Nos. 2 - 7, written between March and October 1952, center on Davis's "Arithmetical problems and recursively enumerable predicates," a paper he had submitted earlier that year to the Journal of Symbolic Logic, of which Kleene was the editor. The JSL had sent the paper to a referee for review (per Kleene's letter to Davis of 18 April), which, as Davis informed Kleene, "is giving rise to one of those rather futile author-referee wrangles I have heard so much about . . . I replied to the original referee's report claiming that his proof was incorrect as I had been unable to fill in several gaps in his proposed argument. The referee counter-replied showing me how the gaps might be filled in; his argument now seems to me to be correct. There remain, then, two questions: 1) Is the referee's proof superior to mine? 2) If so, in what form should it be published? . . ." On 7 May Kleene replied that "we shall easily settle the author-referee wrangle . . . I shall simply submit the paper, together with the first referee's reports, to an experienced second referee and take his verdict." This 7 May letter (no. 5) also includes some discussion of Davis's work compared to Kleene's own: "In regard to publication of the material from the second section of your thesis, it is a little hard to advise you. For one thing, of course, there is some question of competition between your material and mine . . . Until I have seen the mimeographed student notes on the course which you are giving, I will not know whether your development is substantially different from developments that are in the literature or will be in the literature when and if I succe.…
N° de réf. du vendeur 51696
Détails bibliographiques
- Titre
- 8 typed letters signed to Martin Davis, plus 2 drafts of one of Davis's replies
- Auteur
- Kleene, Stephen C.
- Année de publication
- 1950
- Signé
- Signé par l'auteur
- Reliure
- Couverture souple
Jeremy Norman's historyofscience
Novato, CA, Etats-Unis
Vendeur AbeBooks depuis 9 janvier 1999
Frais d'expédition à l'intérieur de ce pays : Etats-Unis
| Article | 5 à 14 jours ouvrés | 3 à 6 jours ouvrés |
|---|---|---|
| Premier article | EUR 8,79 | EUR 21,97 |
Modes de paiement
- Mandat
- Paypal
- Traite bancaire
- Virement bancaire
Spécialité
Medicine, Science, Technology, Natural History, Autographs, Manuscripts, AppraisalsMembre d’une association professionnelle
Profil professionnel du vendeur
Jeremy Norman's historyofscience
P. O. Box 867
Novato, CA Etats-Unis 94948
Conditions de vente
Shipping charges will be applied to all orders. All items are guaranteed as described and all purchases may
be returned for any reason within two weeks of receipt. Please notify us in advance if you are making a
return.
Legal entity: Jeremy Norman & Co., Inc.
Business address: 936-B Seventh St., PMB 238, Novato, CA 94945-3000
Email address: orders@jnorman.com
Phone: 415-892-3181
Federal Tax ID Number:94-2261335
Authorized representative: Jeremy M. Norman
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à Jeremy Norman's historyofscience, Novato, California, U.S.A., sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.
Conditions d'expédition
Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping cost is required.