[thelist] Lambda calculus
Dean Mah
dmah at members.evolt.org
Mon Jan 20 20:28:01 CST 2003
Isn't something like:
({lambda}x|x*x+1)(({lambda}x|x*x+1)2)
({lambda}x|x*x+1)(2*2+1)
({lambda}x|x*x+1)5
5*5+1
26
It's been awhile.
Dean
On Tue, Jan 21, 2003 at 01:26:06AM +0200, Lauri Vain wrote:
> Hello there,
>
> I have a small question regarding lambda calculus, for which I would
> need an answer in 4-10 hours, if somebody can help me out.
>
> Can anybody help me out with a lambda calculus equasion problem -- I
> don't quite remember how one did it? It had something to do with
> recursion, but I can't totally "mastermind" the problem (how deep do the
> recursions go and what did one have to give as arguments?).
>
> The equasion is the following (I replaced lambda signs with {lambda} in
> this e-mail):
>
> ({lambda} x. x*x+1) (({lambda} x. x*x+1) 2)
>
> An answer to this would be nice, but a step-by-step trace with a couple
> of explanatory sentences would be *great*. I need to *understand*
> equasions as simple as the one above for now... I can pick up the ball
> from there on myself.
>
> Thank you very much,
> Lauri
More information about the thelist
mailing list