X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;fp=week3.mdwn;h=e8a86e90bbc180f69d98d3af58680b40e2edf143;hp=f749921185e669b8160f967b95636d8d9d510879;hb=c794ad08ee1ab7a1297fcc1bf1ec3f9b81b4a612;hpb=0bd2e02e48804480f7d899bc2c3ac486a578bfb7 diff --git a/week3.mdwn b/week3.mdwn index f7499211..e8a86e90 100644 --- 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. -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