From: Spike Jones (spike66@ibm.net)
Date: Fri Jul 21 2000 - 22:00:43 MDT
GBurch1@aol.com wrote:
> In a discussion in another forum, the question of whether computers have
> "found" valid mathematical proofs has come up.
Look up the four color map theorem on the web Greg. spike
This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 15:30:06 MST