From ... Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!btnet-peer0!btnet!dispose.news.demon.net!demon!colt.net!newsfeed.esat.net!nslave.kpnqwest.net!nloc.kpnqwest.net!nmaster.kpnqwest.net!nreader2.kpnqwest.net.POSTED!not-for-mail Newsgroups: comp.lang.lisp Subject: Re: Slashdot References: <9sf8s5$a64$1@news3.cadvision.com> <4nadxvg297.fsf@rtp.ericsson.se> Mail-Copies-To: never From: Erik Naggum Message-ID: <3214425142882164@naggum.net> Organization: Naggum Software, Oslo, Norway Lines: 15 User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Sat, 10 Nov 2001 23:52:24 GMT X-Complaints-To: newsmaster@Norway.EU.net X-Trace: nreader2.kpnqwest.net 1005436344 193.71.66.49 (Sun, 11 Nov 2001 00:52:24 MET) NNTP-Posting-Date: Sun, 11 Nov 2001 00:52:24 MET Xref: archiver1.google.com comp.lang.lisp:19560 * "Scott McKay" | There's a newish book called "Where Mathematics Comes From", by | Lakoff and Nunez, which I highly recommend. It describes the "tower | of metaphors" that lead to the equation (= (+ (^ $e (* $pi $i)) 1) 0), | which requires a pretty lengthy discussion of infinity and infinitesimals. | The story of these concepts is, honestly, really fascinating. Is that (zerop (1+ (exp (complex 0 pi)))) in Common Lisp? :) /// -- Norway is now run by a priest from the fundamentalist Christian People's Party, the fifth largest party representing one eighth of the electorate. -- Carrying a Swiss Army pocket knife in Oslo, Norway, is a criminal offense.