Only primitives in lambda calculus are functions. You can _build_ boolean from it or natural numbers if you like, but you don’t have to.

Only primitives in lambda calculus are functions. You can _build_ boolean from it or natural numbers if you like, but you don’t have to.

—-

It’s a totally different way of thinking Every ‘thing’ (noun) is arbitrary and consists of choices or other functions.

https://en.wikipedia.org/wiki/Church_encoding

——

 

Leave a comment

Your email address will not be published. Required fields are marked *


seven × = 35

Leave a Reply