Re: COMP: AI and mathematics: Proofs

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 2b29 : Mon Oct 02 2000 - 17:35:05 MDT