From: barker Date: Sat, 18 Sep 2010 13:47:09 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=d82bf259b0b28a7d2679c8837e00a12478e377c4 --- diff --git a/week2.mdwn b/week2.mdwn index 54a5ebdf..31eef33e 100644 --- a/week2.mdwn +++ b/week2.mdwn @@ -60,7 +60,10 @@ duplicators. ![test](http://lambda.jimpryor.net/szabolcsi-reflexive.jpg) -![Szabolcsi's analysis of *himself* as the duplicator combinator](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. + + 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!