Penguin
Diff: LambdaCalculus
EditPageHistoryDiffInfoLikePages

Differences between version 3 and previous revision of LambdaCalculus.

Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History

Newer page: version 3 Last edited on Friday, October 24, 2003 12:47:40 pm by PerryLorier Revert
Older page: version 2 Last edited on Friday, October 24, 2003 12:04:47 pm by PerryLorier Revert
@@ -23,5 +23,16 @@
 and a beta reduction on z 
  two = \y(y y) 
 we now have a function that outputs it's argument twice. 
  
-And so on
+Three is obvious  
+ three = sucessor two  
+which eventually expands to  
+ three = \x(x x x)  
+  
+Addiction is easy  
+ addition = \x .y.z(x z y z)  
+  
+ five = add two three  
+ five = \x.y.z(x z y z) \a(a a) \a(a a a)  
+ five = \z(\a(a a) z \a(a a a) z)  
+ five = \z(z z z z z)