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