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 2.1.5 : Fri Nov 01 2002 - 15:30:06 MST