From mboxrd@z Thu Jan  1 00:00:00 1970
Path: main.gmane.org!not-for-mail
From: gnuist007@hotmail.com (gnuist)
Newsgroups: gmane.emacs.help
Subject: Lambda calculus and it relation to LISP
Date: 4 Oct 2002 20:20:49 -0700
Organization: http://groups.google.com/
Sender: help-gnu-emacs-admin@gnu.org
Message-ID: <9e8ebeb2.0210041920.2e480123@posting.google.com>
NNTP-Posting-Host: localhost.gmane.org
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: main.gmane.org 1033788444 2634 127.0.0.1 (5 Oct 2002 03:27:24 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Sat, 5 Oct 2002 03:27:24 +0000 (UTC)
Return-path: <help-gnu-emacs-admin@gnu.org>
Original-Received: from monty-python.gnu.org ([199.232.76.173])
	by main.gmane.org with esmtp (Exim 3.35 #1 (Debian))
	id 17xfb7-0000gH-00
	for <gnu-help-gnu-emacs@m.gmane.org>; Sat, 05 Oct 2002 05:27:21 +0200
Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org)
	by monty-python.gnu.org with esmtp (Exim 4.10)
	id 17xfa3-0006Jh-00; Fri, 04 Oct 2002 23:26:15 -0400
Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!postnews1.google.com!not-for-mail
Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic
Original-Lines: 26
Original-NNTP-Posting-Host: 209.179.42.77
Original-X-Trace: posting.google.com 1033788049 22873 127.0.0.1 (5 Oct 2002 03:20:49 GMT)
Original-X-Complaints-To: groups-abuse@google.com
Original-NNTP-Posting-Date: 5 Oct 2002 03:20:49 GMT
Original-Xref: shelby.stanford.edu gnu.emacs.help:105736 comp.lang.lisp:95595 sci.math:549491 sci.logic:61507
Original-To: help-gnu-emacs@gnu.org
Errors-To: help-gnu-emacs-admin@gnu.org
X-BeenThere: help-gnu-emacs@gnu.org
X-Mailman-Version: 2.0.11
Precedence: bulk
List-Help: <mailto:help-gnu-emacs-request@gnu.org?subject=help>
List-Post: <mailto:help-gnu-emacs@gnu.org>
List-Subscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=subscribe>
List-Id: Users list for the GNU Emacs text editor <help-gnu-emacs.gnu.org>
List-Unsubscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <http://mail.gnu.org/pipermail/help-gnu-emacs/>
Xref: main.gmane.org gmane.emacs.help:2281
X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2281

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 gnu.emacs.help.
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.