0
$\begingroup$

Is it correct saying that the Zero, Successor and Projection functions can be seen as combinators?

Improve this question
$\endgroup$
2
  • $\begingroup$ This question would probably have been more appropriate at math.stackexchange.com, since while it’s a good question, it’s not really reasearch-level. $\endgroup$
    – Peter LeFanu Lumsdaine
    Commented Dec 2, 2010 at 16:41
  • $\begingroup$ sorry, I didn't know about math.stackexchange.com; I found out about it a minute ago $\endgroup$
    – NoWhereMan
    Commented Dec 2, 2010 at 20:54

1 Answer 1

Reset to default
2
$\begingroup$

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.

Improve this answer
$\endgroup$
1
  • $\begingroup$ Your assumption is right. My question was terse because I'm very new to the subject, and it's still quite a lot confused in my head; I'm trying to understand by the help of something I think I'm more confident with (computability theory). Thank you! $\endgroup$
    – NoWhereMan
    Commented Dec 2, 2010 at 21:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .