Some error occured while loading page for you. Please try again.
Sort 9 Discussions, By:
Please Login in order to post a comment
These problems are pointless without stating that the question is about Church numerals. I rated it one star, because that's the possible minimum.
Isnt it pointless regardless, fail to see the use of this insanity
These questions are so pointless, they put off people who aren't familiar with church encodings, and piss off people who are. Booo
Yep, These questions are pointless. Without the knowledge that we are talking about church numerals, it is just combinators.
I'm not very good in lambda calculus :( can somebody point me to some resources I can read and understand how result can be integer if there's no numeric input for lambda expression.
Look up church numerals :-) (as stated otherwise in this thread, the questions are pointless without this piece of intermation.)
The answer is "2", and this is an absolutely terrible series of problems that barely explains why anyone should care. Even knowing what I know about Church numerals I feel that all these questions are doing is irritating the user.
I don't pretend to deeply understand this, but basically all those things were Church numerals.
IIRC, there is a chapter devoted to them in SICP too.
Thanks a lot, Scott! Will check and try again :)
the last question Evaluating Expressions #3, was changed to the more reasonable "what Church numeral does this expression correspond to", but this question still has the nonsensical "compute the integer value". The change should be made here as well.
I've made it this far, put the correct answers in the box, but I have no idea what I'm doing :/
lamda X.lamda Y.X(X(Y))=2
Can you explain, please?
0 = λf.λx.x
1 = λf.λx.f x
2 = λf.λx.f (f x)
in this problem, replace f with x and x with y
The way I think of church numerals is as follows.
0 is defined as just your input so x
1 is defined as applying a generic function once to your generic input so f(x)
2 is f(f(x))
and so on. In lambda calculus this 2 would be expressed as
λf.λx.f f x.
No more comments