Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 7 May 1993 04:02:18 +0100 Received: by antares.mcs.anl.gov id AA06677 (5.65c/IDA-1.4.4 for qed-outgoing); Thu, 6 May 1993 21:46:58 -0500 Received: from arp.anu.edu.au by antares.mcs.anl.gov with SMTP id AA06669 (5.65c/IDA-1.4.4 for ); Thu, 6 May 1993 21:46:51 -0500 Received: by arp.anu.edu.au id AA15558 (5.65c/IDA-1.4.2.9 for qed@mcs.anl.gov); Fri, 7 May 1993 12:46:45 +1000 Received: from Messages.7.15.N.CUILIB.3.45.SNAP.NOT.LINKED.arp.anu.edu.au.sun4.41 via MS.5.6.arp.anu.edu.au.sun4_41; Fri, 7 May 1993 12:46:44 +1000 (EST) Message-Id: Date: Fri, 7 May 1993 12:46:44 +1000 (EST) From: Zdzislaw Meglicki To: qed@mcs.anl.gov Subject: Re: another country Sender: qed-owner@mcs.anl.gov 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?