From owner-qed Thu Dec  8 02:41:11 1994
Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id CAA04019 for qed-out; Thu, 8 Dec 1994 02:38:39 -0600
Received: from bos1a.delphi.com (SYSTEM@bos1a.delphi.com [192.80.63.1]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id CAA04014 for <qed@mcs.anl.gov>; Thu, 8 Dec 1994 02:38:33 -0600
Received: from delphi.com by delphi.com (PMDF V4.3-9 #7804)
 id <01HKDXCV5EUO93BPGP@delphi.com>; Thu, 08 Dec 1994 03:38:19 -0500 (EST)
Date: Thu, 08 Dec 1994 03:38:19 -0500 (EST)
From: Lyle Burkhead <LYBRHED@delphi.com>
Subject: disparaging remarks
To: qed@mcs.anl.gov
Message-id: <01HKDXCV5EUQ93BPGP@delphi.com>
X-VMS-To: INTERNET"qed@mcs.anl.gov"
MIME-version: 1.0
Content-type: TEXT/PLAIN; CHARSET=US-ASCII
Content-transfer-encoding: 7BIT
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


Current and past issues of MR contain many references to cases where the 
human mind, unaided by computers, has settled open mathematical questions.  
Math libraries, such as the one at UT, contain thousands of books full of 
true theorems, all established by human mathematicians.  Quite remarkable.  

I hope that those who make disparaging remarks about the ability of the 
human mind to establish mathematical results get pointed in that direction.

Lyle