From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: luke.olbrish@cc.gatech.edu (Luke A. Olbrish) Newsgroups: gmane.emacs.help Subject: Re: Lambda calculus and it relation to LISP Date: 05 Oct 2002 03:51:48 -0400 Organization: The Valley of the Dead Sender: help-gnu-emacs-admin@gnu.org Message-ID: <7vbs69b9wr.fsf@gehennom.net> References: <9e8ebeb2.0210041920.2e480123@posting.google.com> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1033804611 17526 127.0.0.1 (5 Oct 2002 07:56:51 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 5 Oct 2002 07:56:51 +0000 (UTC) Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 17xjnu-0004YY-00 for ; Sat, 05 Oct 2002 09:56:50 +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 17xjnF-0008A1-00; Sat, 05 Oct 2002 03:56:09 -0400 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!logbridge.uoregon.edu!snoopy.risq.qc.ca!newsflash.concordia.ca!pitt.edu!news-ext.gatech.edu!news-int.gatech.edu!not-for-mail Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic Original-Lines: 16 Original-NNTP-Posting-Host: r57h31.res.gatech.edu Original-X-Trace: news-int.gatech.edu 1033804314 14386 128.61.57.31 (5 Oct 2002 07:51:54 GMT) Original-X-Complaints-To: usenet@news-int.gatech.edu Original-NNTP-Posting-Date: Sat, 5 Oct 2002 07:51:54 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Original-Xref: shelby.stanford.edu gnu.emacs.help:105739 comp.lang.lisp:95611 sci.math:549522 sci.logic:61521 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: List-Post: List-Subscribe: , List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.emacs.help:2285 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2285 gnuist007@hotmail.com (gnuist) writes: > "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. ((lambda (x) x x) (lambda (x) x x)) -- Luke Olbrish