home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 17042 < prev    next >
Encoding:
Internet Message Format  |  1992-12-16  |  1.1 KB
  1. Path: sparky!uunet!cis.ohio-state.edu!pacific.mps.ohio-state.edu!linac!uwm.edu!psuvax1!psuvm!b7d
  2. Organization: Penn State University
  3. Date: Wed, 16 Dec 1992 13:40:07 EST
  4. From: <B7D@psuvm.psu.edu>
  5. Message-ID: <92351.134007B7D@psuvm.psu.edu>
  6. Newsgroups: sci.math
  7. Subject: Re: '-' operation
  8. References: <92350.145501B7D@psuvm.psu.edu>
  9.  <1992Dec16.160754.6893@black.ox.ac.uk>
  10. Lines: 14
  11.  
  12. I like to thank all you gentlemen who have responded to my question
  13.  by either posting here or e-mailing to my account. I realized we may not be
  14.  able to 'define' operations such as '+', '-', '*', and '/', but we may give
  15.  sufficient conditions for them, just as we may not say what math is but say
  16.  what math does. Following the same reasoning for '-', I give sufficient
  17.  conditions for other operations of Real numbers so that this kind of questions
  18.  won't bother students of talent anymore in the future:-):
  19.                '*':    x@1 = x, x@(y@z) = x*y*z;
  20.                '/':    x@1 = x, x@(y@z) = x/y/z, y and z nozero;
  21.                '+':    x@0 = x, x@(y@z) = x+y+z.
  22. I believe these conditions are sufficient but not sure whether they are
  23.  necessary.
  24.  
  25.   Duane
  26.