home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / math / 17319 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.9 KB  |  39 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!think.com!enterpoop.mit.edu!galois!riesz!jbaez
  3. From: jbaez@riesz.mit.edu (John C. Baez)
  4. Subject: Re: Difference between "show" and "prove"
  5. Message-ID: <1992Dec20.205553.26951@galois.mit.edu>
  6. Keywords: proof  demonstration
  7. Sender: news@galois.mit.edu
  8. Nntp-Posting-Host: riesz
  9. Organization: MIT Department of Mathematics, Cambridge, MA
  10. References: <BzAIMI.Gt@news.cso.uiuc.edu> <1992Dec16.191442.12895@news.Hawaii.Edu> <1992Dec16.195452.29610@u.washington.edu>
  11. Date: Sun, 20 Dec 92 20:55:53 GMT
  12. Lines: 25
  13.  
  14. In article <1992Dec16.195452.29610@u.washington.edu> mcfarlan@corona.math.washington.edu (Thomas J. McFarlane) writes:
  15. >In article <1992Dec16.191442.12895@news.Hawaii.Edu> lady@uhunix.uhcc.Hawaii.Edu (Lee Lady) writes:
  16. >>
  17. >>Many years ago when I was a computer programmer, one of my fellow workers
  18. >>was complaining about a former professor and said, very emphatically,
  19. >>"He didn't even know the difference between a proof and a demonstration."
  20. >>Not wanting to reveal that I was equally ignorant, I never asked my
  21. >>fellow worker exactly what the distinction was.  
  22. >>
  23. >>Later on, after I became a graduate student in mathematics, I did ask
  24. >>several mathematicians and none of them thought there was a difference
  25. >>between the two terms.  But obviously somewhere, maybe in mathematical
  26. >>logic, some people have attached different meanings to these two words
  27. >>and I'm still curious about it.  
  28. >>
  29. >A distinction between demonstration and proof can be made as follows.
  30. >When one is working within an axiomatic system and derives formal
  31. >consequences of the axioms, this is called a demonstration.  
  32.  
  33. Not usually.  In all 3 logic books I happen to have at hand, it's called
  34. a proof.  While one is free to make up whatever distinctions one likes,
  35. don't expect anyone else to know about them.  Spencer-Brown is not
  36. representative of the practice of mathematicians and logicians, by the
  37. way, and is often regarded as a flake.
  38.  
  39.