Help with Abelson & Sussman problem?

Article View: net.lang.lisp

Article #709

#709

From: jds Joseph D. Sloan
Date: Fri, 17 Oct 1986 21:06

15 lines
1195 bytes

	
	I'm looking for help with a problem in Abelson & Sussman.
Exercise 2.5 calls for representing the integers as functions,
i.e., Church numerals.  The stated problem is fairly straight 
forward considering the hint.  My question or dilemma is what 
comes next? Given the functions, how do you manipulate them as 
numbers?  For example, how do you test for equality of two 
functions (integers)?  Am I just being dense?  Should this 
be obvious? Any help or pointers would be appreciated.

Joe Sloan, duke!jds
Box 3090, DUMC
Durham, NC 27710
(919) 684-3754

Technical Details

Message-ID: <329@ndmce.uucp>

Path:

arc1-ca.pugleaf.net!utzoo!watmath!clyde!cuae2!ltuxa!we53!sw013b!dj3b1!killer!ndmce!pollux!infotel!ut-ngp!ut-sally!seismo!columbia!rutgers!sri-spam!sri-unix!hplabs!pyramid!prls!philabs!mcnc!duke!jds

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!cuae2!ltuxa!we53!sw013b!dj3b1!killer!ndmce!pollux!infotel!ut-ngp!ut-sally!seismo!columbia!rutgers!sri-spam!sri-unix!hplabs!pyramid!prls!philabs!mcnc!duke!jds
From: jds@duke.UUCP@ndmce.uucp (Joseph D. Sloan)
Newsgroups: net.lang.lisp
Subject: Help with Abelson & Sussman problem?
Message-ID: <329@ndmce.uucp>
Date: Fri, 17-Oct-86 17:06:43 EDT
Article-I.D.: ndmce.329
Posted: Fri Oct 17 17:06:43 1986
Date-Received: Tue, 21-Oct-86 05:26:01 EDT
Sender: news@ndmce.uucp
Organization: Duke University CS Dept.; Durham, NC
Lines: 15