[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Lambda calculus and it relation to LISP

From: gnuist
Subject: Lambda calculus and it relation to LISP
Date: 4 Oct 2002 20:20:49 -0700

I read the following quote in a book on emacs and similar
things in a book on lisp.

"The lambda calculus is a mathematical formalism 
having to do with the way functions instantiate
their arguments. To some extent it is the theoretical
basis for Lisp and plenty of other computer languages."

I am interested in a little concrete elaboration
of this statement by any mathematicians, logicians
or practitioners/users of lisp and lisp in emacs.

This is an interdisciplinary topic and cross-posted.
Please beware of this and be undaunted in intellectual 
work just in case some rude individual jumps in and threatens
the discussion on this thread. This comment is in view
of a sad incident by a similar character on a valid 
interdisciplinary thread on comp.lang.lisp and
Previously this individual had also posted unbecoming
comments to Professor Fateman of UC Berkeley who is
actually a very nice and helpful individual in my experience
about two years ago from a phone conversation with me.

I think that it would be exciting and intellectually 
satisfying to know an answer to this question for many
of us in the math/logic/lisp/emacs community.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]