COMP: AI and mathematics: Proofs

From: GBurch1@aol.com
Date: Fri Jul 21 2000 - 16:33:35 MDT


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



This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 15:30:06 MST