Is it correct saying that the Zero, Successor and Projection functions can be seen as combinators?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Yes, if I'm right in assuming you mean to ask whether these can be construed without free variables in the lambda calculus. (If my assumption is wrong, I apologize; your question is rather terse.) You can see here, for instance, how the "Church numerals" (Zero among them, of course) can be introduced, along with Successor and various other primitive recursive functions. 

