From c794ad08ee1ab7a1297fcc1bf1ec3f9b81b4a612 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 26 Sep 2010 22:50:35 -0400 Subject: [PATCH] week3 tweak Signed-off-by: Jim Pryor --- week3.mdwn | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.11.0