home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 17033 < prev    next >
Encoding:
Internet Message Format  |  1992-12-16  |  1.9 KB
  1. Path: sparky!uunet!olivea!spool.mu.edu!caen!saimiri.primate.wisc.edu!ames!news.hawaii.edu!uhunix.uhcc.Hawaii.Edu!lady
  2. From: lady@uhunix.uhcc.Hawaii.Edu (Lee Lady)
  3. Newsgroups: sci.math
  4. Subject: Re: Difference between "show" and "prove"
  5. Summary: Is a demonstration different from a proof?
  6. Keywords: proof  demonstration
  7. Message-ID: <1992Dec16.191442.12895@news.Hawaii.Edu>
  8. Date: 16 Dec 92 19:14:42 GMT
  9. References: <Bz7KyK.297@ulowell.ulowell.edu> <BzAIMI.Gt@news.cso.uiuc.edu>
  10. Sender: root@news.Hawaii.Edu (News Service)
  11. Followup-To: sci.math
  12. Organization: University of Hawaii (Mathematics Dept)
  13. Lines: 27
  14. Nntp-Posting-Host: uhunix.uhcc.hawaii.edu
  15.  
  16. In article <BzAIMI.Gt@news.cso.uiuc.edu> west@symcom.math.uiuc.edu 
  17.        (Douglas West) writes:
  18. >cdeloge@cs.ulowell.edu (Carolyn Deloge) writes:
  19. >
  20. >>Hi, I am a CS graduate student and I have a question for the math people.
  21. >>What is the difference between "show" and "prove"?
  22. >
  23. >Technically both mean the same thing, which one might also word as 
  24. >"demonstrate"
  25.  
  26. Many years ago when I was a computer programmer, one of my fellow workers
  27. was complaining about a former professor and said, very emphatically,
  28. "He didn't even know the difference between a proof and a demonstration."
  29. Not wanting to reveal that I was equally ignorant, I never asked my
  30. fellow worker exactly what the distinction was.  
  31.  
  32. Later on, after I became a graduate student in mathematics, I did ask
  33. several mathematicians and none of them thought there was a difference
  34. between the two terms.  But obviously somewhere, maybe in mathematical
  35. logic, some people have attached different meanings to these two words
  36. and I'm still curious about it.  
  37.  
  38. --
  39. It is a poor sort of skepticism which merely delights in challenging
  40. those claims which conflict with one's own belief system.  
  41.                                                           --Bogus quote 
  42. lady@uhunix.uhcc.hawaii.edu         lady@uhunix.bitnet
  43.