**Next message:**Wilson: "Re: Carnivore"**Previous message:**Robert J. Bradbury: "Re: Werner's syndrome may have nothing to do with normal aging"**Next in thread:**Max More: "Re: COMP: AI and mathematics: Proofs"**Reply:**Max More: "Re: COMP: AI and mathematics: Proofs"**Reply:**Wilson: "Re: COMP: AI and mathematics: Proofs"**Reply:**Lee Daniel Crocker: "Re: COMP: AI and mathematics: Proofs"**Maybe reply:**CYMM: "Re: COMP: AI and mathematics: Proofs"**Reply:**Spike Jones: "Re: COMP: AI and mathematics: Proofs"**Reply:**Damien Broderick: "Re: COMP: AI and mathematics: Proofs"**Reply:**Bryan Moss: "Re: AI and mathematics: Proofs"**Reply:**James Wetterau: "Re: COMP: AI and mathematics: Proofs"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

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 Burch <GBurch1@aol.com>----<gburch@lockeliddell.com>

Attorney ::: Vice President, Extropy Institute ::: Wilderness Guide

http://users.aol.com/gburch1 -or- http://members.aol.com/gburch1

ICQ # 61112550

"We never stop investigating. We are never satisfied that we know

enough to get by. Every question we answer leads on to another

question. This has become the greatest survival trick of our species."

-- Desmond Morris

**Next message:**Wilson: "Re: Carnivore"**Previous message:**Robert J. Bradbury: "Re: Werner's syndrome may have nothing to do with normal aging"**Next in thread:**Max More: "Re: COMP: AI and mathematics: Proofs"**Reply:**Max More: "Re: COMP: AI and mathematics: Proofs"**Reply:**Wilson: "Re: COMP: AI and mathematics: Proofs"**Reply:**Lee Daniel Crocker: "Re: COMP: AI and mathematics: Proofs"**Maybe reply:**CYMM: "Re: COMP: AI and mathematics: Proofs"**Reply:**Spike Jones: "Re: COMP: AI and mathematics: Proofs"**Reply:**Damien Broderick: "Re: COMP: AI and mathematics: Proofs"**Reply:**Bryan Moss: "Re: AI and mathematics: Proofs"**Reply:**James Wetterau: "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
*