home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / math / 17356 < prev    next >
Encoding:
Internet Message Format  |  1992-12-23  |  1.2 KB
  1. Xref: sparky sci.math:17356 comp.edu:2243 misc.education:5518
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sdd.hp.com!wupost!usc!usc!not-for-mail
  3. From: haddadi@sipi.usc.edu (Navid Haddadi)
  4. Newsgroups: sci.math,comp.edu,misc.education
  5. Subject: Re: Integration  Was: Re: Student attitudes
  6. Date: 23 Dec 1992 04:51:10 -0800
  7. Organization: University of Southern California, Los Angeles, CA
  8. Lines: 12
  9. Sender: haddadi@sipi.usc.edu
  10. Message-ID: <1h9nbuINN4pi@sipi.usc.edu>
  11. References: <Bz3MMq.5At@mentor.cc.purdue.edu> <PCG.92Dec14175129@aberdb.aber.ac.uk> <1992Dec18.182743.15553@galois.mit.edu>
  12. NNTP-Posting-Host: sipi.usc.edu
  13.  
  14. In article <1992Dec18.182743.15553@galois.mit.edu> jbaez@riesz.mit.edu (John C. Baez) writes:
  15. >> Integration is a purely formal exercise in which a formula is
  16. >> transformed into another formula, using particularly odd rules.
  17. >
  18. >Actually, this sounds like a nonmathematician's definition of
  19. >"mathematics"!  :-)
  20.  
  21. Actually, how does a mathematician define math? If we take math to be
  22. an exercise in logic, then rules of logic that we use to make trivial
  23. an otherwise nontrivial matter (i.e. give a proof down to AC or ZL) are
  24. only a set of transformations operating on some language.
  25. Navid
  26.