edits
[lambda.git] / week4.mdwn
index c002a47..e6bab7a 100644 (file)
@@ -161,3 +161,13 @@ A 2 x is to A 1 x as multiplication is to addition;
 A 3 x is to A 2 x as exponentiation is to multiplication---
 so A 4 x is to A 3 x as hyper-exponentiation is to exponentiation...
 
+#Q. What other questions should I be asking?#
+
+*    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
+     using primitive recursion techniques?
+
+*    What *exactly* is primitive recursion?
+