From 5d6405438fee2a81634a9d53bef64629621c1411 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 19 Sep 2010 08:52:26 -0400 Subject: [PATCH] week3 tweaks Signed-off-by: Jim Pryor --- week3.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/week3.mdwn b/week3.mdwn index 0129f2a9..3fa20f61 100644 --- a/week3.mdwn +++ b/week3.mdwn @@ -134,8 +134,8 @@ Some computable functions are just not definable in this way. The simplest funct | else -> A(m-1, A(m,n-1)) A(0,y) = y+1 - A(1,y) = y+2 - A(2,y) = 2y + 3 + A(1,y) = 2+(y+3) - 3 + A(2,y) = 2(y+3) - 3 A(3,y) = 2^(y+3) - 3 A(4,y) = 2^(2^(2^...2)) [where there are y+3 2s] - 3 ... -- 2.11.0