Foundations of Combinatory Logic
Haskell Curry
Vendu par Rarewaves.com USA, London, LONDO, Royaume-Uni
Vendeur AbeBooks depuis 11 juin 2025
Neuf(s) - Couverture souple
Etat : Neuf
Quantité disponible : Plus de 20 disponibles
Ajouter au panierVendu par Rarewaves.com USA, London, LONDO, Royaume-Uni
Vendeur AbeBooks depuis 11 juin 2025
Etat : Neuf
Quantité disponible : Plus de 20 disponibles
Ajouter au panierN° de réf. du vendeur LU-9781848902022
Curry's PhD dissertation Introduction to Combinatory Logic, represents a first major work on a new subject. Curry's interest in the subject started when he noticed the complicated form of substitution in Principia Mathematica and set about trying to find a simpler form of this rule. This led him by 1926 to some of the combinators. In 1928 Curry went to G\"ottingen and completed his dissertation in 1929 under the direction of David Hilbert. This book is a translation of the dissertation.
Curry's dissertation was the first publication to give a complete formal development of combinatory logic as a formal system in which the terms are built up from variables and a number of constants (combinators including B, C and K) by means of application. The proof of the consistency of the system faced the major difficulty that the only reduction relation Curry had was what we now call weak reduction. This made it impossible to prove the Church-Rosser Theorem, which is now the standard way one proves the consistency of systems of this kind. Instead, Curry was looking at sequences based on what we now call weak contractions with strings of variables added on the right.
After his dissertation, Curry developed further ground-breaking ideas that continue to be very influential. These include, functionality (which became the basis of what we now call type assignment), the correspondence between types and implication formulas (the beginning of the idea of "propositions as types") and generalised functionality (a form of dependent types in modern type systems). Curry's ideas continue to influence developments in mathematics, logic and computation.
We hope that making his original thesis available in English will help make his ideas clearer.
We have made use of all information we could find by Curry, mostly from marginal notes in his copy of the dissertation, indicating corrections to the original German.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Visitez la page d’accueil du vendeur
Si vous êtes un consommateur, vous pouvez vous rétracter du présent contrat dans les conditions indiquées ci-dessous. Etre un consommateur signifie être une personne physique qui agit à des fins qui n'entrent pas dans le cadre de son activité commerciale, industrielle, artisanale ou libérale.
Informations standardisées sur la rétractation
Droit de rétractation:
Vous avez le droit d'annuler ce contrat dans les 14 jours pour quelque raison que ce soit.
Pour exercer le droit de rétractation, vous devez nous Rarewaves, Unit 144 The Lightbox, 111 Power Road, W4 5PY, London, London, United Kingdom, notifier votre décision de rétractation du présent contrat au moyen d'une déclaration dénuée d'ambiguïté (par exemple, lettre envoyée par la poste, télécopie ou courrier électronique). Vous pouvez utiliser le modèle de formulaire de rétractation mais ce n'est pas obligatoire. Vous pouvez également remplir et transmettre une déclaration claire à cette fin sur notre site internet à «Vos commandes» dans «Votre compte». Si vous utilisez cette option, nous vous enverrons sans délai un accusé de réception de la rétractation sur un support durable (par exemple, par courriel).
Pour que le délai de rétractation soit respecté, il suffit que vous transmettiez votre communication relative à l'exercice du droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation :
En cas de rétractation de votre part du présent contrat, nous vous rembourserons tous les paiements reçus de vous, y compris les frais de livraison (à l'exception des frais supplémentaires découlant du fait que vous avez choisi, le cas échéant, un mode de livraison autre que le mode moins coûteux de livraison standard proposé par nous) sans retard excessif et, en tout état de cause, au plus tard quatorze jours à compter du jour où nous sommes informés de votre décision de rétractation du présent contrat. Nous procéderons au remboursement en utilisant le même moyen de paiement que celui que vous aurez utilisé pour la transaction initiale, sauf si vous convenez expressément d'un moyen différent; en tout état de cause, ce remboursement n'occasionnera pas de frais pour vous.
Nous pouvons différer le remboursement jusqu'à ce que nous ayons reçu le bien ou jusqu'à ce que vous ayez fourni une preuve d'expédition du bien, la date retenue étant celle du premier de ces faits.
Vous devrez renvoyer ou rendre le bien, à Rarewaves, Unit 144 The Lightbox, 111 Power Road, W4 5PY, London, London, United Kingdom, sans retard excessif et, en tout état de cause, au plus tard quatorze jours après que vous nous aurez communiqué votre décision de rétractation du présent contrat. Ce délai est réputé respecté si vous renvoyez le bien avant l'expiration du délai de quatorze jours. Vous devrez prendre en charge les frais directs de renvoi du bien. Votre responsabilité n'est engagée qu'à l'égard de la dépréciation du bien résultant de manipulations autres que celles nécessaires pour établir la nature, les caractéristiques et le bon fonctionnement de ce bien.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à :
Formulaire de rétractation
(A compléter et renvoyer seulement si vous souhaitez-vous rétracter du présent contrat)
A l'attention de : (Rarewaves, Unit 144 The Lightbox, 111 Power Road, W4 5PY, London, London, United Kingdom)
Je vous notifie par la présente ma rétractation du contrat portant sur la vente des produits suivants :
numéro de commande :
Commandé le/reçu le :
Mon nom et mon adresse :
Signature (seulement si ce formulaire est notifié en version papier) :
Date
Please note that we do not offer Priority shipping to any country.
We currently do not ship to the below countries:
Russia
Belarus
Ukraine
Israel
Please do not attempt to place orders with any of these countries as a ship to address - they will be cancelled.
| Quantité commandée | 9 à 14 jours ouvrés | 9 à 14 jours ouvrés |
|---|---|---|
| Premier article | EUR 0.00 | EUR 0.00 |
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.