home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18742 < prev    next >
Encoding:
Text File  |  1993-01-25  |  974 b   |  28 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!destroyer!gatech!purdue!mentor.cc.purdue.edu!news
  3. From: ags@seaman.cc.purdue.edu (Dave Seaman)
  4. Subject: Re: Why Algebra...Important
  5. Message-ID: <C1FItD.AxF@mentor.cc.purdue.edu>
  6. Sender: news@mentor.cc.purdue.edu (USENET News)
  7. Organization: Purdue University
  8. References: <1993Jan25.164019.19356@Princeton.EDU>
  9. Date: Mon, 25 Jan 1993 21:39:12 GMT
  10. Lines: 16
  11.  
  12. In article <1993Jan25.164019.19356@Princeton.EDU> tao@mace.Princeton.EDU  
  13. (Terry Tao) writes:
  14. > Claim: \exists Cup = {(x, y, z) = d((x, y), Cup_0) = r_cup, z_0 < z <  
  15. z_0 +
  16. > h_cup} \cup {(x, y, z_0): d((x, y), Cup_0) < r_cup}:d(Cup, me) <  
  17. \epsilon_0 \and
  18. > \exists Coffee = \{ f(x, y): d((x, y),  Cup_0) < r_cup} s.t. Coffee \in  
  19. \overbar
  20. > {Cup} \and T_coffee > 90 F \and t > t_0 => Hap_me(t) > Hap_me(t_0).
  21.  
  22. I had heard that a mathematician is someone who converts coffee into  
  23. theorems, but I had not yet seen a demonstration.
  24.  
  25. --
  26. Dave Seaman
  27. ags@seaman.cc.purdue.edu
  28.