Re: COMP: AI and mathematics: Proofs

From: Spike Jones (
Date: Fri Jul 21 2000 - 22:00:43 MDT 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