[cap-talk] Potting the web-calculus - peace?
john.carlson3 at sbcglobal.net
Tue Jan 3 22:09:56 EST 2006
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.
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.:
> to help get the idea.
> --Jed http://www.webstart.com/jed/
> cap-talk mailing list
> cap-talk at mail.eros-os.org
More information about the cap-talk