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>----<firstname.lastname@example.org>
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
This archive was generated by hypermail 2b29 : Mon Oct 02 2000 - 17:35:04 MDT