week3 tweaks
authorJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 12:52:26 +0000 (08:52 -0400)
committerJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 12:52:26 +0000 (08:52 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week3.mdwn

index 0129f2a..3fa20f6 100644 (file)
@@ -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
                | 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
        ...
        A(3,y) = 2^(y+3) - 3
        A(4,y) = 2^(2^(2^...2)) [where there are y+3 2s] - 3
        ...