home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / arch / 8887 < prev    next >
Encoding:
Internet Message Format  |  1992-08-13  |  1.7 KB
  1. Xref: sparky comp.arch:8887 alt.folklore.computers:12509 comp.benchmarks:1300
  2. Path: sparky!uunet!caen!uflorida!novavax!mitch
  3. From: mitch@novavax.UUCP (Mitch Silverman)
  4. Newsgroups: comp.arch,alt.folklore.computers,comp.benchmarks
  5. Subject: Re: the four-color theorem (was: Re: dinosaur horsepower)
  6. Message-ID: <4033@novavax.UUCP>
  7. Date: 12 Aug 92 22:42:41 GMT
  8. References: <Bs3oGt.6vp@helios.physics.utoronto.ca> <1992Jul30.053240.20199@yrloc.ipsa.reuter.COM> <mcdonald.190@aries.scs.uiuc.edu> <1992Aug11.224431.17076@bert.eecs.uic.edu> <1992Aug12.150356.25725@schaefer.math.wisc.edu>
  9. Reply-To: mitch@novavax.nova.edu (Mitch Silverman)
  10. Followup-To: alt.folklore.computers
  11. Organization: Nova University, Fort Lauderdale, Florida
  12. Lines: 22
  13.  
  14. In article <1992Aug12.150356.25725@schaefer.math.wisc.edu> wilson@math.wisc.edu (Bob Wilson) writes:
  15.  
  16. >What the proof is really belongs in some other group, but since it
  17. >is popular to talk these days about proofs which are only
  18. >probabalistically "true" it seemed appropriate to show why this
  19. >is not one of them. This is possibly relevant to this group since
  20. >many of the places such proofs ARE being used is in connection with
  21. >properties of computing systems.
  22.  
  23. Well, I disagree, at least as far as comp.benchmarks and alt.folklore.computers.
  24. I for one would like to see a bit more about the proof (though your
  25. explanation above is perfectly lucid), such description being an excellent
  26. example of computer folklore.
  27.  
  28. And as for comp.benchmarks--think of what a good PC benchmark a four-color
  29. theorem prover might make--in five or ten years.  (If that long.)
  30.  
  31. Mitchell L. Silverman
  32. Student, New College of the University of South Florida
  33. mitch@cfraix.cfr.usf.edu
  34. mitch@novavax.nova.edu
  35.  
  36.