**Next message:**Spike Jones: "Re: The games are all crap; let's make a decent one."**Previous message:**Spike Jones: "Re: Tau Neutrino Found"**In reply to:**GBurch1@aol.com: "COMP: AI and mathematics: Proofs"**Next in thread:**Spike Jones: "Re: COMP: AI and mathematics: Proofs"**Reply:**Spike Jones: "Re: COMP: AI and mathematics: Proofs"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

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

**Next message:**Spike Jones: "Re: The games are all crap; let's make a decent one."**Previous message:**Spike Jones: "Re: Tau Neutrino Found"**In reply to:**GBurch1@aol.com: "COMP: AI and mathematics: Proofs"**Next in thread:**Spike Jones: "Re: COMP: AI and mathematics: Proofs"**Reply:**Spike Jones: "Re: COMP: AI and mathematics: Proofs"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

*
This archive was generated by hypermail 2b29
: Mon Oct 02 2000 - 17:35:05 MDT
*