home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18629 < prev    next >
Encoding:
Internet Message Format  |  1993-01-21  |  2.2 KB
  1. Xref: sparky sci.math:18629 sci.math.symbolic:3493
  2. Newsgroups: sci.math,sci.math.symbolic
  3. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!SAIL.Stanford.EDU!rivin
  4. From: rivin@SAIL.Stanford.EDU (Igor Rivin)
  5. Subject: Re: Which CAS have BA's in math?
  6. Message-ID: <1993Jan22.033003.19619@CSD-NewsHost.Stanford.EDU>
  7. Sender: news@CSD-NewsHost.Stanford.EDU
  8. Organization: Computer Science Department,  Stanford University.
  9. References: <1jhjkfINN8m9@function.mps.ohio-state.edu> <1993Jan19.205434.10234@leland.Stanford.EDU> <scott.727648403@trimtab>
  10. Distribution: sci
  11. Date: Fri, 22 Jan 1993 03:30:03 GMT
  12. Lines: 41
  13.  
  14.  
  15. In article <scott.727648403@trimtab> bobk@decide.com writes:
  16. >[Posted for friend.]
  17. >
  18. >ilan@leland.Stanford.EDU (ilan vardi) writes:
  19. >
  20. >>In article <1jhjkfINN8m9@function.mps.ohio-state.edu> edgar@math.ohio-state.edu (Gerald Edgar) writes:
  21. >>>
  22. >>>I doubt there is a computer algebra system that can get a degree
  23. >>>in mathematics: they don't write proofs (yet).  However, I tried the
  24. >
  25. >>They write papers though. Shalosh B. Ekhad, Doron's Zeilberger's computer,
  26. >>has written a number of papers (more than I have, I think).
  27. >
  28. >Actually, one system written in Mathematica can do proofs (printed in
  29. >TeX of course).  This system created by a couple of professors from
  30. >Carnegie-Mellon can do the proof of the Wierstass continuous-nowhere
  31. >differentiable function. All of the theorems from Chapter 2 of
  32. >Ramanujan's collected works, properties of stereographic projections
  33. >and on and on. The professors are Ed Clark and Xudong Zhao and they
  34. >have an article in the current issue of the Mathematical Journal. I
  35. >recommend it highly. A BA in analysis is not as far away as some might
  36. >think.
  37. >
  38.  
  39. (a) Minor point:  Zhao is not a professor, being a graduate student of
  40. Professor Clark.
  41.  
  42. (b) Major point: Their work is very interesting, but if you did your
  43. exams with as much help as their system (or any theorem proving
  44. system, for that matter) gets, you would get kicked out of school
  45. pronto for plagiarism. On the other hand, maybe their system could
  46. become a US senator (viz. Ted Kennedy). Theorem proving systems now
  47. and for the forseeable future would be better described as proof
  48. verifying systems.
  49.  
  50.  
  51.  
  52.  
  53.  
  54.  
  55.