From 5df8ee74df25b28ea841dc3a221c16c587d5b7fc Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 4 Oct 2010 21:58:34 -0400 Subject: [PATCH] spelling Ackermann Signed-off-by: Jim Pryor --- week4.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/week4.mdwn b/week4.mdwn index 362ad66c..e2805fb3 100644 --- a/week4.mdwn +++ b/week4.mdwn @@ -139,7 +139,7 @@ start with the `iszero` predicate, and only produce a fresh copy of `prefact` if we are forced to. -#Q. You claimed that the Ackerman function couldn't be implemented using our primitive recursion techniques (such as the techniques that allow us to define addition and multiplication). But you haven't shown that it is possible to define the Ackerman function using full recursion.# +#Q. You claimed that the Ackermann function couldn't be implemented using our primitive recursion techniques (such as the techniques that allow us to define addition and multiplication). But you haven't shown that it is possible to define the Ackermann function using full recursion.# A. OK: @@ -171,7 +171,7 @@ so `A 4 x` is to `A 3 x` as hyper-exponentiation is to exponentiation... * What is it about the variant fixed-point combinators that makes them compatible with a call-by-value evaluation strategy? -* How do you know that the Ackerman function can't be computed +* How do you know that the Ackermann function can't be computed using primitive recursion techniques? * What *exactly* is primitive recursion? -- 2.11.0