home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18556 < prev    next >
Encoding:
Text File  |  1993-01-21  |  1.6 KB  |  43 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!cs.utexas.edu!sun-barr!ames!agate!doc.ic.ac.uk!warwick!nott-cs!lut.ac.uk!
  3. From: M.Titahmboh@lut.ac.uk (Mana TitahMboh)
  4. Subject: Re: Difference between "show" and "prove"
  5. Message-ID: <1993Jan20.213355.24338@lut.ac.uk>
  6. Sender: M.Titahmboh@lut.ac.uk (Mana TitahMboh)
  7. Nntp-Posting-Host: hpc.lut.ac.uk
  8. Organization: Loughborough University
  9. References:  <Bz7KyK.297@ulowell.ulowell.edu>
  10. Date: Wed, 20 Jan 93 21:33:55 GMT
  11. Lines: 30
  12.  
  13. In article <Bz7KyK.297@ulowell.ulowell.edu>, cdeloge@cs.ulowell.edu (Carolyn
  14. Deloge) writes:
  15. |> Hi, I am a CS graduate student and I have a question for the math people.
  16. |> 
  17. |> What is the difference between "show" and "prove"?
  18. |> 
  19. |> I had a homework problem that asked to "show" the solution.  I answered by
  20. |> giving an example and some reasoning.  The teaching assistant marked it 
  21. |> incorrect, saying that I needed to "prove" it inductively.
  22. |> 
  23. |> Can someone give me his/her definitions on these two words?  I would really
  24. |> appreciate it.  Thanks.
  25. |> 
  26. |> CD
  27.  
  28. Sounds like "show that 'pigs can fly' for all n such that n is in the set of
  29. positive integers".  Though this does not say "prove", it is not sufficient to 
  30. "show" it for a few integers. The reason for this is that "pigs could fly " for
  31. a lot positive integers, instances of which you would use by your reasoning, but
  32. fail for a few "integers" as well. In this case you certainly could not say that
  33. the original ascertion was true.
  34. The important bit here is the "for all integers". 
  35.  
  36. Hope this helps. 
  37.  
  38. |> 
  39. |> P.S. Yes I did look in the dictionary, but I want to hear it from the math
  40. |> experts.
  41.  
  42. Mana
  43.