X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=477284245c5f48b88919c6b2a24ee18d9bd7d57d;hp=d9c536112218408d951f817641c7d8a5d45ac08f;hb=aaadc20de94685e29c35abbd865e5f35d194e7b9;hpb=c595c61a3fc33a2343e3ef906a382652c655d518

diff --git a/week3.mdwn b/week3.mdwn
index d9c53611..47728424 100644
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -126,7 +126,10 @@ With sufficient ingenuity, a great many functions can be defined in the same way
 
 ##However...##
 
-Some computable functions are just not definable in this way. The simplest function that *simply cannot* be defined using the resources we've so far developed is the [[!wikipedia Ackermann function]]:
+Some computable functions are just not definable in this way. We can't, for example, define a function that tells us, for whatever function `f` we supply it, what is the smallest integer `x` where `f x` is `true`.
+
+Neither do the resources we've so far developed suffice to define the 
+[[!wikipedia Ackermann function]]:
 
 	A(m,n) =
 		| when m == 0 -> n + 1