**Next message:**Max More: "Re: Benford on Joy and the future"**Previous message:**GBurch1@aol.com: "Re: CRYO/AGING: [was Re: CRYO: Illegality of Cryonics in BritishColumbia]"**In reply to:**GBurch1@aol.com: "COMP: AI and mathematics: Proofs"**Next in thread:**Robert J. Bradbury: "Re: COMP: AI and mathematics: Proofs"**Reply:**Robert J. Bradbury: "Re: COMP: AI and mathematics: Proofs"**Reply:**J. R. Molloy: "Re: COMP: AI and mathematics: Proofs"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

At 03:33 PM 7/21/00, you wrote:

*>In a discussion in another forum, the question of whether computers have
*

*>"found" valid mathematical proofs has come up. Being mathematically stunted,
*

*>I thought I'd do a hand-off of the question to this forum, since someone able
*

*>to comment intelligently on the question probably inhabits this forum. Any
*

*>leads or help?
*

Greg, if I understand your question, the answer is "yes". Computers have

not only found valid mathematical proofs, they have found *new*

proofs--one's never before thought up by humans. (I use this as a counter

to the argument that machines cannot and never will do anything creative.)

The one that I remember offhand was at the Argonne National Laboratory.

Max

**Next message:**Max More: "Re: Benford on Joy and the future"**Previous message:**GBurch1@aol.com: "Re: CRYO/AGING: [was Re: CRYO: Illegality of Cryonics in BritishColumbia]"**In reply to:**GBurch1@aol.com: "COMP: AI and mathematics: Proofs"**Next in thread:**Robert J. Bradbury: "Re: COMP: AI and mathematics: Proofs"**Reply:**Robert J. Bradbury: "Re: COMP: AI and mathematics: Proofs"**Reply:**J. R. Molloy: "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:04 MDT
*