X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=f749921185e669b8160f967b95636d8d9d510879;hp=e8a86e90bbc180f69d98d3af58680b40e2edf143;hb=b059b718b62f3b4beffb3bd7fbe66af01069f9c9;hpb=c794ad08ee1ab7a1297fcc1bf1ec3f9b81b4a612 diff --git a/week3.mdwn b/week3.mdwn index e8a86e90..f7499211 100644 --- a/week3.mdwn +++ b/week3.mdwn @@ -583,9 +583,7 @@ 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. -##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, Ω is *a* fixed point for `I`, and perhaps it has some a privileged status among all the fixed points for `I`, being the