From dbf203a12aa8d6f48f80fe9750d7169da84a9500 Mon Sep 17 00:00:00 2001
From: Jim Pryor
Date: Thu, 23 Sep 2010 06:37:17 -0400
Subject: [PATCH] week3: tweak
Signed-off-by: Jim Pryor
---
week3.mdwn | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
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
--
2.11.0