Interesting article in the NY Times (registration required) regarding the
validity of using computers to prove math theorems. Some interesting
insights into just how nebulous the concept of 'prooof' is, even amongst
classical (non-computer using) mathematicians.
http://www.nytimes.com/2004/04/06/science/06MATH.htmlrobert
Dr. Robert Holmes
PO Box 2862, Santa Fe, NM 87504
mobile: (505) 310-1735
web: www.holmesacosta.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://constantinople.hostgo.com/pipermail/friam_redfish.com/attachments/20040407/884d3a6b/attachment.htm