From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 23 Sep 2010 10:37:17 +0000 (-0400)
Subject: week3: tweak
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=dbf203a12aa8d6f48f80fe9750d7169da84a9500;ds=sidebyside

week3: tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

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