[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