Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
  1. $((λfx.f(f(x))) (λy.y^2)$ (1) is finally evaluated to $1^4=1$

  2. $(3)(3) (\text{inc})(0)=(27)(\text{inc})(0)=27$

  3. Is λfx the same as λf.λx That is is $((λfx.f(f(x))) (λy.y^2) equivalent to $(λf.λx.f(f(x)) (λy.y^2) ?

Is it correct?

Thanks much in advance!

share|cite|improve this question
I have tried to use Church numerals – user60465 Jan 31 '13 at 22:52

1 Answer 1

up vote 0 down vote accepted

You could have used some functional language interpreter to check this, e.g. Haskell or OCaml, etc.

> let zero f x = x
> let one f x = f x
> let two f x = f (f x)
> let three f x = f (f (f x))
> let inc n f x = f (n f x)
> let test n = n ((+) 1) 0
  1. Yes.

    > test (two two one)
  2. Yes.

    > test (three three inc zero)
  3. Yes, $\lambda\ f\ x.\ M$ is a short notation for $\lambda f.\ \lambda x.\ M$.

I hope this helps ;-)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.