home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / math / 14604 < prev    next >
Encoding:
Text File  |  1992-11-08  |  1.8 KB  |  44 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!caen!sol.ctr.columbia.edu!news.cs.columbia.edu!kasdan
  3. From: kasdan@cs.columbia.edu (John Kasdan)
  4. Subject: Re: W.S. Anglin's comments on history of math
  5. Message-ID: <BxF0zC.E3C@cs.columbia.edu>
  6. Sender: news@cs.columbia.edu (The Daily News)
  7. Organization: Columbia University Department of Computer Science
  8. References: <djoyce.721078379@black.clarku.edu>
  9. Date: Sun, 8 Nov 1992 20:59:35 GMT
  10. Lines: 32
  11.  
  12. In article <djoyce.721078379@black.clarku.edu> djoyce@black.clarku.edu (Dave Joyce) writes:
  13. >In the issue of _The Mathematical Intelligencer_ that just came out there is a
  14. >seven page article in the opinion column by W. S. Anglin entitled "Mathematics
  15. >and History."
  16. >
  17. >Anglin complains that calculating devices, including algorithms for
  18. >calculation, don't receive enough attention in history of mathematics
  19. >books.  Some barely mention them.  I agree calculation is important
  20. >in mathematics' history, but the one place in his article I find weakest
  21. >is his arguments for the importance of calculations.  Of the four ways he
  22. >lists in which calculating devices have proved essential for progress in
  23. >pure mathematics only one (the involvment of computers in the proof the the
  24. >four color theorem) seems very strong.
  25. >
  26.  
  27. I haven't read the article, but the uses of computation in "real"
  28. mathematics is a topic that seems interesting.  On a major level, I
  29. believe the Birch Swinerton-Dyer conjecture was largely based on
  30. computations, both hand and mechanized.  At a much more modest level,
  31. Buchweitz' example of a complement of a semi-group which is not a
  32. Weirstrass gap sequence was found by a computer.  I would expect that
  33. some of the work in the classification of simple groups was done by
  34. computer, but I don't know.  Does anyone have any info on that?
  35.  
  36. >
  37. >
  38. >
  39. >-- 
  40. >David E. Joyce                Dept. Math. & Comp. Sci.
  41.  
  42. /JK
  43.  
  44.