COMP: AI and mathematics: Proofs

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 <>----<>
      Attorney ::: Vice President, Extropy Institute ::: Wilderness Guide -or-
                                           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