home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math
- Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
- From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
- Subject: Re: Philosophy of Pi
- Message-ID: <1992Dec14.160552.12826@CSD-NewsHost.Stanford.EDU>
- Sender: news@CSD-NewsHost.Stanford.EDU
- Organization: Computer Science Department, Stanford University.
- References: <Bz7pG6.vI@undergrad.math.waterloo.edu> <1gi1bmINNsou@function.mps.ohio-state.edu> <1992Dec14.144954.11447@sifon.cc.mcgill.ca>
- Date: Mon, 14 Dec 1992 16:05:52 GMT
- Lines: 27
-
- In article <1992Dec14.144954.11447@sifon.cc.mcgill.ca> rags@triples.math.mcgill.ca (Robert A. G. Seely) writes:
- >In article <1gi1bmINNsou@function.mps.ohio-state.edu> edgar@function.mps.ohio-state.edu (Gerald Edgar) writes:
- >>>YESSSSS!!!!! exp(i*Pi) + 1 = 0
- >>>is perhaps the most beautiful identity in mathematics,
- >>
- >>I disagree. The beautiful identity is exp(ix) = cos x + i sin x.
- >>Unlike the previous one, it is even useful...
- >>--
- >> Gerald A. Edgar Internet: edgar@mps.ohio-state.edu
- >> Department of Mathematics Bitnet: EDGAR@OHSTPY
- >> The Ohio State University telephone: 614-292-0395 (Office)
- >> Columbus, OH 43210 -292-4975 (Math. Dept.) -292-1479 (Dept. Fax)
- >
- >
- >But this is just a matter of preferring the general to the particular
- >instance - many might prefer the instance as a beautiful representative of
- >the general equation, understanding that the instance also encompasses the
- >general by implication.
-
- Ah, but Robert, would Giotto's audience have been satisfied with his
- drawing just the 9 o'clock point of his famous freehand circle?
-
- "Good general theory does not search for the maximum generality, but
- for the right generality." (Mac Lane, CTWM, bottom of p.103.)
- Perhaps he should have said "maximum or minimum".
- --
- Vaughan Pratt There's safety in certain numbers.
-