Re: another country

Zdzislaw Meglicki <Zdzislaw.Meglicki@arp.anu.edu.au>

Mail folder: QED
Next message: Larry Wos: "In response"
Previous message: Larry Wos: "another country"
Maybe in reply to: Larry Wos: "another country"

Message-id: <gfuQqIiKmlE25HIPVA@arp>
Date: Fri,  7 May 1993 12:46:44 +1000 (EST)
From: Zdzislaw Meglicki <Zdzislaw.Meglicki@arp.anu.edu.au>
To: qed@mcs.anl.gov
Subject: Re: another country
Sender: qed-owner
Precedence: bulk

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?