From: barker Date: Sat, 18 Sep 2010 13:33:56 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=85f75a5e6a4b6273d9cd74e9bb9e2758102ad1ca --- diff --git a/week2.mdwn b/week2.mdwn index ac2a7c32..aa4c453f 100644 --- a/week2.mdwn +++ b/week2.mdwn @@ -59,7 +59,7 @@ For instance, Szabolcsi argues that reflexive pronouns are argument duplicators. -![Szabolcsi's analysis of *himself* as the duplicator combinator](szabolcsi-reflexive.png) +![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!