home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 16993 < prev    next >
Encoding:
Text File  |  1992-12-15  |  2.5 KB  |  65 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!europa.asd.contel.com!howland.reston.ans.net!usc!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!spool.mu.edu!agate!linus!linus.mitre.org!linus!wdh
  3. From: wdh@linus.mitre.org (Dale Hall)
  4. Subject: Re: Difference between "show" and "prove"
  5. Message-ID: <1992Dec15.230249.3242@linus.mitre.org>
  6. Followup-To: sci.math
  7. Summary: a frightening, yet comforting Revelation
  8. Keywords: theorem, Elvis
  9. Sender: Dale Hall
  10. Nntp-Posting-Host: linus.mitre.org
  11. Organization: Research Computer Facility, MITRE Corporation, Bedford, MA
  12. References: <Bz7KyK.297@ulowell.ulowell.edu> <Bz9GAt.D5y@mentor.cc.purdue.edu> <1992Dec14.203218.5588@u.washington.edu>
  13. Distribution: na
  14. Date: Tue, 15 Dec 1992 23:02:49 GMT
  15. Lines: 48
  16.  
  17. In article <1992Dec14.203218.5588@u.washington.edu>
  18.     mcfarlan@corona.math.washington.edu (Thomas J. McFarlane) writes: 
  19. >In article <Bz9GAt.D5y@mentor.cc.purdue.edu>
  20.     hrubin@pop.stat.purdue.edu (Herman Rubin) writes: 
  21. >>In article <Bz7KyK.297@ulowell.ulowell.edu> cdeloge@cs.ulowell.edu
  22.     (Carolyn Deloge) writes: 
  23. >
  24. >>>What is the difference between "show" and "prove"?
  25. >
  26. >>In mathematics, there is no difference.
  27. >
  28. >Moreover, "theorem" etymologically means "something to behold."
  29. >So one should preferably "show" a theorem.
  30. >
  31.  
  32.     I thought this etymology was delightful, and, as with most
  33.     things delightful, I sought it out in the dictionary.  What I
  34.     found was, to say the least, distressing (pay special
  35.     attention to definition 4!):
  36.  
  37.     [extract from the Webster's Ninth New Collegiate Dictionary] 
  38.  
  39.     THEOREM \'the-e-rem, 'thi(-e)r-em\ n [LL theorema, fr. Gk.
  40.     theorema, fr. theorein to look at, fr. theoros spectator, fr.
  41.     thea act of seeing -- more at THEATER](1551) 1: a formula,
  42.     proposition, or statement in mathematics or logic deduced or
  43.     to be deduced from other formulas or propositions  2: an idea
  44.     accepted or proposed as a demonstrable truth often as a part
  45.     of a general theory : PROPOSITION <the ~ that the best defense
  46.     is offense>  3: STENCIL  4: a painting produced esp. on velvet
  47.     by the use of stencils for each color -- theorematic
  48.     \the-e-re-'mat-ic, thi(-e)r-e-\ adj.
  49.  
  50.     Eep.
  51.  
  52.     I can only imagine endless Elvis theorems, or perhaps maybe a
  53.     bullfighter or some buxom raven-haired beauty theorem.  It's
  54.     enough to make you not want to admit to having done anything
  55.     like a theorem, never mind how you've achieved it (i.e., by
  56.     proving OR showing).
  57.  
  58.     I'm afraid to look up LEMMA now, for fear that it'll include
  59.     cheap art glued to a plaque of wood and lacquered heavily.
  60.     Footprints in the sand, indeed!  Or, the poker-playing dogs. 
  61.  
  62.                         Dale.
  63.  
  64.     
  65.