From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Fred Gilham Newsgroups: gmane.emacs.help Subject: Re: Lambda calculus and it relation to LISP Date: 05 Oct 2002 07:46:59 -0700 Sender: help-gnu-emacs-admin@gnu.org Message-ID: References: <9e8ebeb2.0210041920.2e480123@posting.google.com> NNTP-Posting-Host: localhost.gmane.org X-Trace: main.gmane.org 1033829509 23739 127.0.0.1 (5 Oct 2002 14:51:49 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 5 Oct 2002 14:51:49 +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 17xqHU-0006Al-00 for ; Sat, 05 Oct 2002 16:51:48 +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 17xqHB-0000q8-00; Sat, 05 Oct 2002 10:51:29 -0400 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!snapdragon.csl.sri.COM!not-for-mail Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic Original-Followup-To: comp.lang.lisp Original-Lines: 30 Original-NNTP-Posting-Host: snapdragon.csl.sri.com (130.107.19.20) Original-X-Trace: fu-berlin.de 1033829226 16056498 130.107.19.20 (16 [114262]) X-Newsreader: Gnus v5.7/Emacs 20.7 Original-Xref: shelby.stanford.edu gnu.emacs.help:105748 comp.lang.lisp:95649 sci.math:549579 sci.logic:61546 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:2294 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2294 > "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. >From a Lisp point of view you should read the early Scheme material. There is a page I just found that has a lot of good stuff on it that will help. http://library.readscheme.org My impression is that the ideas are all fairly old (in modern terms) and if you are interested in the ideas themselves you'll do better to read the older material. > This is an interdisciplinary topic and cross-posted. Interdisciplinary is fine but... gnu.emacs.help??? -- Fred Gilham gilham@csl.sri.com || His word is a creative word, and when he speaks the good exists as good. God is neither arbitrary nor tyrannical. He is love, and when he expresses his will it is a will of love. Hence the good given by God is good for us.-- Jacques Ellul