[cap-talk] Potting the web-calculus - peace?

[John Carlson]

I've done Lisp programming in college.  I couldn't really relate the two 
when I studied lambda-calculus.  Do you
have the equivalent lisp for constructing a boolean values (true & 
false) from functions?  I think that was the
part of lambda calculus that I didn't understand.    I understand and, 
or and not in hardware logic.  I understand
equals.  I'll take a look at lambda calculus again and see what parts I 
don't understand and try to post it.

I did look at the MIT course.  I understand the bit about cons cdr and 
car constructed from functions.

Personally, I am thinking that everyone is equating LISP to 
lambda-calculus, when lambda-calculus is even
more primitive.  I don't understand what the core of LISP is, except 
that it's been bootstrapped on top of something
else, which makes it something besides primitive.  So I think I will 
have to study how LISP is implemented
in hardware in order to understand lambda-calculus.

John

Jed at Webstart wrote:

> At 11:11 AM 12/31/2005, John Carlson wrote:
>
>>> ...
>>
>> Well, I unfortunately was never introduced to lambda calculus in 
>> college (I'm not sure why!).  I have tried reading
>> about it, but since I got schizophrenia, it's rather hard to read 
>> PDFs and printed PDFs.  I think it may be that I get
>> my best understanding from the spoken word as opposed to the printed 
>> word, and I have never heard someone explain
>> lambda calculus.
>
>
> You might try doing some LISP programming John, e.g.:
>
> http://clisp.cons.org/
> and
> http://sourceforge.net/project/showfiles.php?group_id=1355
>
> to help get the idea.
>
> --Jed http://www.webstart.com/jed/
> _______________________________________________
> cap-talk mailing list
> cap-talk at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/cap-talk
>