From d82bf259b0b28a7d2679c8837e00a12478e377c4 Mon Sep 17 00:00:00 2001 From: barker Date: Sat, 18 Sep 2010 09:47:09 -0400 Subject: [PATCH] --- week2.mdwn | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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! -- 2.11.0