Re: another countryZdzislaw Meglicki <Zdzislaw.Meglicki@arp.anu.edu.au>
Date: Fri, 7 May 1993 12:46:44 +1000 (EST)
From: Zdzislaw Meglicki <Zdzislaw.Meglicki@arp.anu.edu.au>
Subject: Re: another country
In 9305061956.AA10771@altair.mcs.anl.gov Larry Wos writes:
> Perhaps behind the negative New York article (July 14 1991) is some
> despair at capturing the mathematician's mind in a computer program.
> Clearly, the mathematicians they quoted were unaware of the successes in
> answering open questions, where a key role was played by an automated
> reasoning program.
This and perhaps also some other articles in New York Times have been
mentioned on occasions in this mailing group. Can someone summarise what
it was all about? Is this article available via ftp to people from
outside of the US?