X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week2.mdwn;h=31eef33eb8e8d9031616df970e907bdb7046801d;hp=720ac1d81faaef9f9b6cfbf518bd730b0f62d05c;hb=d82bf259b0b28a7d2679c8837e00a12478e377c4;hpb=43e6cb0a08452826d9b0757f16e30e117df894b8 diff --git a/week2.mdwn b/week2.mdwn index 720ac1d8..31eef33e 100644 --- a/week2.mdwn +++ b/week2.mdwn @@ -58,9 +58,12 @@ combinators: For instance, Szabolcsi argues that reflexive pronouns are argument duplicators. -![test](./szabolcsi-reflexive.jpg) +![test](http://lambda.jimpryor.net/szabolcsi-reflexive.jpg) + +Notice that the semantic value of *himself* is exactly W. +The reflexive pronoun in direct object position combines first with the transitive verb (through compositional magic we won't go into here). The result is an intransitive verb phrase that takes a subject argument, duplicates that argument, and feeds the two copies to the transitive verb meaning. + -![Szabolcsi's analysis of *himself* as the duplicator combinator](szabolcsi-reflexive.jpg) These systems are Turing complete. In other words: every computation we know how to describe can be represented in a logical system consisting of only a single primitive operation!