Re: COMP: AI and mathematics: Proofs

From: Wilson (wilson@supremetyrant.com)
Date: Fri Jul 21 2000 - 17:16:17 MDT


One of the articles linked to by http://www.aleph.se/Trans 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".

--Wilson.

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 <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