Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Foundations of Combinatory Logic: (Grundlagen der kombinatorisch
US $23.75
ApproximatelyS$ 30.50
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Standard Shipping.
Located in: Sparks, Nevada, United States
Delivery:
Estimated between Fri, 5 Sep and Thu, 11 Sep
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:365286317389
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Book Title
- Foundations of Combinatory Logic: (Grundlagen der kombinatorische
- Publication Date
- 2017-04-19
- Pages
- 176
- ISBN
- 9781848902022
About this product
Product Identifiers
Publisher
College Publications
ISBN-10
1848902026
ISBN-13
9781848902022
eBay Product ID (ePID)
247361162
Product Key Features
Publication Name
Foundations of Combinatory Logic : (Grundlagen Der Kombinatorischen Logik)
Language
English
Publication Year
2017
Subject
Logic
Type
Textbook
Subject Area
Mathematics, Philosophy
Series
Logic Phd Ser.
Format
Trade Paperback
Dimensions
Item Height
0.4 in
Item Weight
9 Oz
Item Length
9.2 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Trade
Series Volume Number
Vol. 1
Illustrated
Yes
Synopsis
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.
Item description from the seller
Seller feedback (517,158)
- w***a (851)- Feedback left by buyer.Past monthVerified purchaseGood seller
- q***s (441)- Feedback left by buyer.Past monthVerified purchaseEverything fine with this purchase! Thank You. Good Movie, entertaining.
- e***s (1349)- Feedback left by buyer.Past monthVerified purchaseGreat Seller!!!
Seller feedback (517,158)
- w***a (851)- Feedback left by buyer.Past monthVerified purchaseGood seller
- q***s (441)- Feedback left by buyer.Past monthVerified purchaseEverything fine with this purchase! Thank You. Good Movie, entertaining.
- e***s (1349)- Feedback left by buyer.Past monthVerified purchaseGreat Seller!!!