home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18752 < prev    next >
Encoding:
Text File  |  1993-01-25  |  1.3 KB  |  32 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!paladin.american.edu!howland.reston.ans.net!bogus.sura.net!udel!sbcs.sunysb.edu!hanche
  3. From: hanche@ams.sunysb.edu (Harald Hanche-Olsen)
  4. Subject: Re: Why Algebra...Important
  5. In-Reply-To: ags@seaman.cc.purdue.edu's message of Mon, 25 Jan 1993 21: 39:12 GMT
  6. Message-ID: <HANCHE.93Jan25190124@ptolemy.ams.sunysb.edu>
  7. Sender: usenet@sbcs.sunysb.edu (Usenet poster)
  8. Nntp-Posting-Host: ptolemy.ams.sunysb.edu
  9. Organization: University at Stony Brook, NY
  10. References: <1993Jan25.164019.19356@Princeton.EDU> <C1FItD.AxF@mentor.cc.purdue.edu>
  11. Date: Tue, 26 Jan 1993 00:01:24 GMT
  12. Lines: 18
  13.  
  14. >>>>> In article <C1FItD.AxF@mentor.cc.purdue.edu>,
  15. >>>>> ags@seaman.cc.purdue.edu (Dave Seaman) writes:
  16.  
  17. Dave> In article <1993Jan25.164019.19356@Princeton.EDU>
  18. Dave> tao@mace.Princeton.EDU (Terry Tao) writes:
  19.  
  20. > Claim: \exists Cup = {(x, y, z) = d((x, y), Cup_0) = r_cup, z_0 < z
  21. > < z_0 + h_cup} \cup {(x, y, z_0): d((x, y), Cup_0) < r_cup}:d(Cup,
  22. > me) < \epsilon_0 \and \exists Coffee = \{ f(x, y): d((x, y), Cup_0)
  23. > < r_cup} s.t. Coffee \in \overbar {Cup} \and T_coffee > 90 F \and t
  24. > > t_0 => Hap_me(t) > Hap_me(t_0).
  25.  
  26. Dave> I had heard that a mathematician is someone who converts coffee into  
  27. Dave> theorems, but I had not yet seen a demonstration.
  28.  
  29. I thought the point here was to turn a theorem into coffee?
  30.  
  31. - Harald
  32.