week3 tweak

[lambda.git] / week3.mdwn

diff --git a/week3.mdwn b/week3.mdwn
index 88b1c4f..e8a86e9 100644 (file)
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -583,7 +583,9 @@ truth and circularity](http://tinyurl.com/2db62bk) for an approach
 that is similar, but expressed in terms of non-well-founded sets
 rather than recursive functions.
 
 that is similar, but expressed in terms of non-well-founded sets
 rather than recursive functions.
 

-HOWEVER, you should be cautious about feeling too comfortable with
+##However...##
+
+You should be cautious about feeling too comfortable with

 these results.  Thinking again of the truth-teller paradox, yes,
 <code>&Omega;</code> is *a* fixed point for `I`, and perhaps it has
 some a privileged status among all the fixed points for `I`, being the
 these results.  Thinking again of the truth-teller paradox, yes,
 <code>&Omega;</code> is *a* fixed point for `I`, and perhaps it has
 some a privileged status among all the fixed points for `I`, being the


@@ -620,8 +622,8 @@ for any object.
 
 The chameleon nature of (3), by the way (a description that is equally
 good at describing any object), makes it particularly well suited as a
 
 The chameleon nature of (3), by the way (a description that is equally
 good at describing any object), makes it particularly well suited as a

-gloss on pronouns such as *it*.  In the system of [Jacobson 1999] 
-(http://www.zas.gwz-berlin.de/mitarb/homepage/sauerland/jacobson99.pdf)
+gloss on pronouns such as *it*.  In the system of 
+[Jacobson 1999](http://www.springerlink.com/content/j706674r4w217jj5/),

 pronouns denote (you guessed it!) identity functions...
 
 Ultimately, in the context of this course, these paradoxes are more
 pronouns denote (you guessed it!) identity functions...
 
 Ultimately, in the context of this course, these paradoxes are more