>> Ihre Thalia-Vorteile: Entdecken Sie unsere Services im Überblick!

Foundations of Combinatory Logic

(Grundlagen der kombinatorischen Logik)

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.
… weiterlesen
In den Warenkorb




Einband Taschenbuch
Seitenzahl 176
Erscheinungsdatum 19.04.2017
Sprache Englisch
ISBN 978-1-84890-202-2
Verlag College Publications
Maße (L/B/H) 23,3/15,4/1,2 cm
Gewicht 279 g
Buch (Taschenbuch, Englisch)
inkl. gesetzl. MwSt. zzgl. Versandkosten
Versandfertig in 4 - 6 Tagen
Kostenlose Lieferung ab 20 Einkaufwert
Versandkostenfrei für Bonuscard-Kunden
In den Warenkorb


Andere Kunden interessierten sich auch für

  • 56049811
    Logical Consequences
    von Luis M. Augusto
    Buch (Taschenbuch)
  • 75236948
    A Court of Frost and Starlight
    von Sarah J. Maas
    Buch (Taschenbuch)
  • 76042694
    A Court of Frost and Starlight
    von Sarah J. Maas
    Buch (gebundene Ausgabe)
  • 43564382
    Milk and Honey
    von Rupi Kaur
    Buch (Taschenbuch)
  • 32281116
    English G Access - Allgemeine Ausgabe / Band 1: 5. Schuljahr - Workbook mit Audios online und MyBook
    von Jennifer Seidl
    Schulbuch (Taschenbuch)
  • 74218005
    Red Queen 4. War Storm
    von Victoria Aveyard
    Buch (Taschenbuch)
  • 61749461
    The Sun and Her Flowers
    von Rupi Kaur
    Buch (Taschenbuch)
  • 61175691
    Call Me by Your Name. Movie Tie-In
    von Andre Aciman
    Buch (Taschenbuch)
  • 45070243
    The Subtle Art of Not Giving A F*ck
    von Mark Manson
    Buch (Taschenbuch)
  • 29358095
    English G Lighthouse - Allgemeine Ausgabe / Band 1: 5. Schuljahr - Workbook mit Audios online
    von Gwen Berwick
    Schulbuch (Taschenbuch)


Es wurden noch keine Bewertungen geschrieben.