From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: William Elliot Newsgroups: gmane.emacs.help Subject: Re: Lambda calculus and it relation to LISP Date: Mon, 7 Oct 2002 00:14:24 -0700 Organization: Newsfeeds.com http://www.newsfeeds.com 80,000+ UNCENSORED Newsgroups. Sender: help-gnu-emacs-admin@gnu.org Message-ID: <20021007001218.I39438-100000@agora.rdrop.com> References: <9e8ebeb2.0210041920.2e480123@posting.google.com> <20021006050255.A63895-100000@agora.rdrop.com> <9e8ebeb2.0210062058.5c7ab267@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 1033975089 4505 127.0.0.1 (7 Oct 2002 07:18:09 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Mon, 7 Oct 2002 07:18:09 +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 17yS9Y-0001AO-00 for ; Mon, 07 Oct 2002 09:18:08 +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 17yS7c-00053h-00; Mon, 07 Oct 2002 03:16:08 -0400 Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic X-X-Sender: In-Reply-To: <9e8ebeb2.0210062058.5c7ab267@posting.google.com> Original-NNTP-Posting-Host: 199.26.172.34 Original-X-Trace: corp.newsgroups.com 1033973789 199.26.172.34 (7 Oct 2002 01:56:29 -0500) Original-Lines: 21 X-Comments: This message was posted through Newsfeeds.com X-Comments2: IMPORTANT: Newsfeeds.com does not condone, nor support, spam or any illegal or copyrighted postings. X-Comments3: IMPORTANT: Under NO circumstances will postings containing illegal or copyrighted material through this service be tolerated!! X-Report: Please report illegal or inappropriate use to X-Abuse-Info: Please be sure to forward a copy of ALL headers, INCLUDING the body (DO NOT SEND ATTACHMENTS) Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!logbridge.uoregon.edu!nntp-relay.ihug.net!ihug.co.nz!news-out.newsfeeds.com!l2!corp.newsgroups.com!agora.rdrop.com!mars Original-Xref: shelby.stanford.edu gnu.emacs.help:105773 comp.lang.lisp:95828 sci.math:550029 sci.logic:61640 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:2319 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2319 On 6 Oct 2002, gnuist wrote: > Here is a lambda function that I know for starters. > > ( (lambda(x y) (- x y)) 1 2) > What the lambda calculus expression for - ? > I can write more complicated defuns, single recursion, gcd, and all classic > stuff. But I am looking for a particularly instructive and clear example > of a double recursion and then probably a tricky one. What's the lambda calculus expression for = ? Is it designed to work effectively only for the lambda calculus expressions for 0,1,2 ... ? -----= Posted via Newsfeeds.Com, Uncensored Usenet News =----- http://www.newsfeeds.com - The #1 Newsgroup Service in the World! -----== Over 80,000 Newsgroups - 16 Different Servers! =-----