![]() ![]() Numbers and arithmetic operations can be defined in terms of lambda calculus via Church Encoding (which is outside the scope of this article). It is worth noting the absence of any of the constructs of basic arithmetic, such as numbers, addition, subtraction, multiplication, division etc - these are not within the basic axioms of lambda calculus. This is all we get in lambda calculus! It is quite amazing that using these 3 lambda terms we calculate pretty much anything! In addition, parentheses are used in lambda calculus to indicate the order of evaluation.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |