home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9458 < prev    next >
Encoding:
Internet Message Format  |  1992-07-23  |  1006 b 
  1. Path: sparky!uunet!cs.utexas.edu!sun-barr!ames!elroy.jpl.nasa.gov!swrinde!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!eagle!ariel.lerc.nasa.gov!edwill
  2. From: edwill@ariel.lerc.nasa.gov (Glenn L. Williams)
  3. Newsgroups: sci.math
  4. Subject: Information on new proof techniques
  5. Message-ID: <23JUL199213102777@ariel.lerc.nasa.gov>
  6. Date: 23 Jul 92 18:10:00 GMT
  7. Sender: news@eagle.lerc.nasa.gov
  8. Organization: NASA Lewis Research Center
  9. Lines: 10
  10. News-Software: VAX/VMS VNEWS 1.41
  11.  
  12. I recently read (about 6 weeks ago) of a new technique which
  13. tests a mathematical proof for validity.  I.e. it checks that
  14. the proof is correctly done, not that the theorem is proven.
  15. This was touted as using some new abstract reasoning method,
  16. perhaps on a computer, to check the "flow" and syntax in the
  17. proof. It was also touted as being good for checking ALL proofs,
  18. even the old or ancient ones, for validity.
  19.  
  20. Does anyone know of published papers on this method? If so,
  21. can the references be itemized?
  22.