Re: COMP: AI and mathematics: Proofs

From: Wilson (
Date: Fri Jul 21 2000 - 17:16:17 MDT

One of the articles linked to by mentioned this..
I read it just today.. Mentioned that computers first solved mathematical
proofs in the 1970s?
Shouldn't be too hard to find. Just follow links from the computing page
and find text for "proof".


At 06:33 PM 7/21/00 -0400, 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 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